I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a postdoctoral researcher in the Ascola team at INRIA Nantes.
My research interests include:
- Semantics of programming languages
- Logic and type theory, in particular Homotopy Type Theory
- Formal proofs and formalised mathematics, in particular Univalent Foundations
- Functional programming
- Category theory in programming
Ecole des Mines de Nantes
4, rue Alfred Kastler
44307 Nantes cedex 3
This page was last updated at 2016-06-29 15:24:01 +0200
This site is compiled with nanoc. Built from code written by Cyril Cohen.