I am a Ph.D. student at Université Paris Diderot and Inria, in the Cambium team. I started my Ph.D. in 2019, under the supervision of Xavier Leroy, on writing a verified and efficient convertibility test for Coq.

About me

My résumé is available here (ici en français).

You can contact me by sending an email to (λxyzw. w.y@z.x) fr courant inria nathanael (hint)nathanael@yzd.courant wges@inria.tld asd@gfs.fr. You can also contact me on IRC, where I am known as nore on Freenode1 and as Inductive_nat on ulminfo.

My software projects can be found on GitHub, GitLab, Framagit and Inria GitLab.

  1. I usually set user mode +R, so you will need to identify on Freenode if you want to send me a private message.↩︎