coq (30) cyril cohen (1) ssreflect (1) formalization of mathematics (1) constructive mathematics (1) real algebraic numbers (1) quantifier elimination (1) coqeal (1)
I have a PhD in computer sciences, and I am currently a permanent researcher (CR1) at Inria Sophia Antipolis in the team MARELLE .
I did a postdoc in the Department of Computer Science and Engineering of University of Gothenburg and Chalmers in Sweden.
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.