Stéphane Demri (Preferred)
Stéphane Demri
Principal Researcher, CS, LMF, CNRS, ENS Paris-Saclay
Joined
July 2019
Names
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
Expertise
Logics for Computer Science
1990 – Present
Publications
Co-Authors
- Alain Finkel
- Alessio Mansutti
- Alexander Rabinovich
- Amit Kumar Dhar
- Arnaud Sangnier
- Bartosz Bednarczyk
- Beata Konikowska
- Brian Logan
- Carlos Areces
- Christoph Weidenbach
- Christophe Morvan
- Clark W. Barrett
- Daniel Méry
- David Nowak
- Deepak D'Souza
- Deepak Kapur
- Denis Lugiez
- Didier Galmiche
- Diego Figueira
- Dominique Larchey-Wendling
- Dov M. Gabbay
- Ewa Orlowska
- Facundo Carreiro
- Francesco Belardinelli
- François Laroussinie