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.
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
web [at] clarus [dot] me