Current position
- 2021—present: Assistant professor in Programming Languages at TU Delft, Netherlands
- 2017—present: Birmingham Fellow (assistant professor) at University of Birmingham, UK
Previous positions
- 2021-3 – 2021-08: Researcher in Formal Verification at Hensoldt Cyber
- 2016/17: Postdoctoral researcher at INRIA, Nantes, France
- 2015/16: Postdoctoral researcher at the Institute for Advanced Study, Princeton, USA
- 2013—2015: Postdoctoral research fellow at LabEx CIMI, University Paul Sabatier, Toulouse,
- 2012/13: Postdoctoral researcher at the Institute for Advanced Study, Princeton, USA
- Participant in the special year on Univalent Foundations
Research visits
- 2014-04/07: Thematic trimester Semantics of proofs and certified mathematics at Institut Henri Poincaré, Paris, France
- Financed partially through a grant by ANR Carmin
- 2010-01/12: Research visit at Università degli Studi di Firenze, Florence, Italy
- Financed through a scholarship by Conseil Général des Alpes—Maritimes
Host: Prof. Marco Maggesi
- Financed through a scholarship by Conseil Général des Alpes—Maritimes
Education
- 2013: Qualification Maître de Conférences:
- Section 25 (Mathématiques): No. 13225241523
- Section 27 (Informatique): No. 13227241523
- 2008—12: PhD programme in Mathematics, Université Nice Sophia Antipolis, France
- Supervisor: André Hirschowitz
- Topic: Initiality for Typed Syntax and Semantics
- 2007/08: Master in Mathematics, Université Nice Sophia Antipolis, France
- 2004—07: Studies of Mathematics and Computer Science, Universität Bayreuth, Germany
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.