Armaël Guéneau

Welcome!

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.