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/
|CPP 2016||Author of Formalization of a Newton series representation of polynomials within the CPP-track|
|Show activities from other conferences|
View general profile