I am currently a PhD student at Inria, in the Gallium
team. I am working under the supervision of Arthur
Charguéraud and François
Pottier. Our goal is to formalise reasoning
about asymptotic complexity of programs, using the
CFML Coq library.
Desk: C332, Building C, 3rd floor
Address: 2 Rue Simone Iff CS 42112 75589 Paris Cedex 12 FRANCE