Cyril Cohen (Preferred)
Cyril Cohen
Researcher, INRIA
Joined
October 2025
Names
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
Expertise
Formalized math
2009 – Present
Type theory
2009 – Present
Publications
No publications