Cyril Cohen

Researcher, INRIA

  • Joined October 2025

Names

Cyril Cohen (Preferred)

Emails

****@inria.fr (Confirmed)

Personal Links

Career & Education History

Researcher
INRIA (inria.fr)
2014 – Present
 
Postdoc
Göteborg University (gu.se)
2012 – 2014
 
PhD student
INRIA (inria.fr)
2009 – 2012
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formalized math
2009 – Present
 
Type theory
2009 – Present