I am a research associate in computer science at the University of Cambridge. I am in the team of Jamie Vicary , part of the CLASH research group. I work mostly on weak omega-categories and mechanised tools to explore their properties based on dependent type theory. I have a PhD from LIX, Ecole Polytechnique under the direction of Samuel Mimram and Eric Finster on a similar topic. I also did a postdoc in the development team of Frama-C at CEA List where I work with Julien Signoles on runtime verification of
My research interests lie in the intersection between computer science and mathematics. I am particularly interested in the semantics of these languages, and the connection it establishes between programming and reasonning via the Curry-Howard correspondence.
I am particularly interested in all the languages whose semantics can be cleanly defined, and enjoy rich algebraic properties, like the functional languages, as I find those encourage good practice and high maintainability. I also like that these languages interact well with proof-assistants (I particularly use Agda and Coq).