CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Cyril Cohen

Registered user since Mon 16 Jan 2017

Name:Cyril Cohen

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.


CPP 2016 Formalization of a Newton series representation of polynomials
Show activities from other conferences

POPL 2016-profile
View general profile