About

Since October 2018, I am a chargé de recherche at Inria Rennes-Bretagne-Atlantique, in the Gallinette team. Contrarily to what the name of the Inria center implies, the team is actually situated in Nantes and is part of the LS2N.

Here is quick summary of my past wanderings.

• 2017 – 2018: Post-doc researcher at the the Max Planck Institute for Software Systems (Saarbrücken, Germany), in the Foundations of Programming group led by Derek Dreyer
• 2016 – 2017: Post-doc researcher at the University of Ljubljana (Slovenia), in the EFFMATH project led by Andrej Bauer.
• 2015 – 2016: Post-doc researcher at INRIA Atlantique (Nantes, France) in the ASCOLA team, in the CoqHoTT project led by Nicolas Tabareau.
• 2011 – 2015: PhD student at Paris Diderot University (Paris, France) in the πr² team, supervized by Hugo Herbelin and Alexis Saurin.
• 2008 – 2011: Normalien at ENS Lyon in Computer Science.