Stéphane Demri

Pronouns: he/him

Principal Researcher, CS, LMF, CNRS, ENS Paris-Saclay

  • Joined July 2019

Names

Stéphane Demri (Preferred)

Emails

****@lsv.fr (Confirmed)
,
****@lmf.cnrs.fr (Confirmed)

Personal Links

Career & Education History

Principal Researcher
CS, LMF, CNRS, ENS Paris-Saclay (lmf.cnrs.fr)
Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

Logics for Computer Science
1990 – Present