Stephane Demri

Directeur de recherche, professeur attaché

Laboratoire Méthodes Formelles
Country flagFrance

Research Interests

Explore related searches

Professors in France

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Dr. Stephane Demri is a Directeur de recherche and professeur attaché at the Laboratoire Méthodes Formelles in France. His research focuses on modal logics, strategic reasoning, and separation logic, as evidenced by his recent publications. Notable articles include "On Composing Finite Forests with Modal Logics" and "The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic." He is dedicated to advancing the understanding of formal methods in computer science.

Articles (4)

Year:

2023

Year:

2021

Year:

2021

Year:

2021

Collaborators (1)

Francesco Belardinelli

Senior Lecturer

Imperial College London

UNITED KINGDOM
View details
ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.