I am currently a post-doc at the LIENS, working in the PARKAS team. Previously, I did my PhD at Proofs, Programs and Systems laboratory, advised by Roberto Amadio.
I'm particularly interested in:
- functional programming languages (like OCaml, Haskell, …)
- Software verification and certification (using Why, Frama-C, Coq, …)
- π-calculus and its synchronous variants (such as the S-π-calculus) or asynchronous
- logic and typing systems