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.

Contact