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.

PhD thesis

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

Practical Information