Name:Stephane Demri

Affiliation:CNRS, LSV, ENS Paris-Saclay

Research interests:resource logics, separation logics, verification of infinite-state systems, temporal logics, analysis of systems with data.