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/
POPL 2016 Activities
View general profile