I used to be a PhD Student under the supervision of Assia Mahboubi at École Polytechnique (Palaiseau, France). I studied Mathematics and Computer Sciences in ENS Cachan (Cachan, France), and I’m a qualified teacher (agrégé) in Mathematics.
- Department of Computer Science and Engineering, University of Gothenburg, Sweden.
- Work phone: +46 (0) 31 772 5454
Research context and interests
My principal interest of research is in adding mathematical knowledge to the Coq proof assistant.