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.