Welcome
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.
I usually set user mode
+R
, so you will need to identify on Freenode if you want to send me a private message.↩︎