Armaël Guéneau


portrait I was a PhD student at Inria from 2016-2019 in the Gallium team, working with Arthur Charguéraud and François Pottier. The topic of my PhD thesis is the formalization of asymptotic complexity properties of programs, using the CFML Coq library.

I am currently working as a post-doc at Aarhus University, in the Logic and Semantics group led by Lars Birkedal.

PhD thesis

Mechanized Verification of the Correctness and Asymptotic Complexity of Programs [manuscript] [slides]

Practical Information