Clarus

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

Blog

coq-blog

GitHub

clarus

CV

Download

Email

web [at] clarus [dot] me

Phone

+33.6.82.05.43.55 (France)

Address

Paris