A picture of me

About me

I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a postdoctoral researcher in the CoqHoTT team at INRIA Nantes.

My research interests include:

Contact


This page was last updated at 2016-06-01 17:18:35 +0200
This site is compiled with nanoc. Built from code written by Cyril Cohen.