Write a Blog >>
Cyril Cohen

Registered user since Mon 16 Jan 2017

Name: Cyril Cohen

Bio: I have a PhD in computer sciences, and I am currently a permanent researcher (CR2) 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.

Personal website: http://perso.crans.org/cohen/

Contributions

CPP 2016Author of Formalization of a Newton series representation of polynomials within the CPP-track
Show activities from other conferences

POPL 2016-profile
View general profile