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:


This page was last updated at 2016-05-02 15:52:27 +0200
This site is compiled with nanoc. Built from code written by Cyril Cohen.