I'm mainly interested by theoretical computer science, especially proof assistants and computational complexity. I also like mathematics!
I'm currently involved in a research project at IRISA, with the HYCOMES team.
You can have a look at my curriculum vitæ for more information on my curriculum.