Scholar
Thomas Ehrhard
Google Scholar ID: s8u0_FAAAAAJ
CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Citations & Impact
Citations
1,610
H-index
21
i10-index
36
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Published numerous papers including 'A categorical semantics of constructions', 'Hypercoherences: a strongly stable model of linear logic', and more.
Research Experience
- Conducts research at IRIF and Université Paris Cité.
Background
- Senior researcher at CNRS. Interested in logic, particularly Proof Theory and its connections with Computer Science through the Curry-Howard Correspondence.
Co-authors