Quentin Canu

Hello, my name is Quentin Canu.

I have a PhD about the formalization of efficient polyhedral computations in Rocq. My advisors are Xavier Allamigeon, Georges Gonthier and Pierre-Yves Strub. You can find my manuscript here.

I teach at Lycée Marianne.