Welcome
I am a PhD student in the Inria's πr² team in Paris with Yann Régis-Gianas and Hugo Herbelin. I am working on the proof language of Coq, to make it usable as an effectful and efficient programming language: read more.
I was a student at the École normale supérieure de Paris. Here is my CV. My interests domains are programming languages theory and proof checkers.
If two people agree on everything, one of them is unnecessary.
Winston Churchill
If I had asked people what they wanted, they would have said faster horses.
Henry Ford
About
web [at] clarus [dot] me
Phone
+33.6.82.05.43.55 (France)