I'm a research scientist working at the French national institute for research in digital science and technology (Inria).
More information can be found on my official website.
- Programming languages:
- Formal proof systems
- Interesting things I've written:
- Maetning: a first-order intuitionistic (dis)prover
- Profound: subformula linking for classical linear logic
- Profint: subformula linking for intuitionistic logics
- Sympli: an inverse method based automated theorem prover for intuitionistic linear logic (archived)