Thomas Ehrhard
Scholar

Thomas Ehrhard

Google Scholar ID: s8u0_FAAAAAJ
CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Proof TheorySemantics of Programming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,610
 
H-index
21
 
i10-index
36
 
Publications
20
 
Co-authors
0
 
Contact
Emailehrhard@irif.frCVOpen ↗
Publications
3 items
Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
2026
Cited
0
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
2026
Cited
0
Variable Elimination as Rewriting in a Linear Lambda Calculus
2025
Cited
0
Resume
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.