A picture of me

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.

Affiliation

Contact

Research context and interests

My principal interest of research is in adding mathematical knowledge to the Coq proof assistant.

Here is my (slightly outdated) CV in english or in french.


This page was last updated at 2015-09-07 13:20:21 +0200
This site is compiled with nanoc and hosted by Cr@ns

Warning: fopen(index.log): failed to open stream: Permission denied in /home/cohen/www/index.php on line 88

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/index.php on line 89

Warning: Use of undefined constant REMOTE_HOST - assumed 'REMOTE_HOST' (this will throw an Error in a future version of PHP) in /home/cohen/www/index.php on line 90

Notice: Undefined index: REMOTE_HOST in /home/cohen/www/index.php on line 90

Warning: Use of undefined constant REMOTE_ADDR - assumed 'REMOTE_ADDR' (this will throw an Error in a future version of PHP) in /home/cohen/www/index.php on line 90

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/index.php on line 90

Warning: fclose() expects parameter 1 to be resource, bool given in /home/cohen/www/index.php on line 91