Arthur Charguéraud
Research
Metatheory
Capabilities
Verification
Fixed points
Parallelism
Publications
by project
by venue
by date
Talks
by project
by venue
by date
Software
LN
CFML
TLC
Teaching
France-IOI
Coq proofs
Home
–
Contact
I am currently a post-doc at the
Max Planck Institute for Software Systems
,
working in the group of
Umut Acar
.
Previously, I did my PhD at
INRIA
, in Rocquencourt, advised by
François Pottier
.