Etienne Lozes

Registered user since Sun 15 Jan 2017

Name:Etienne Lozes

I am professor at the University of Nice Sophia Antipolis, France, since 2017. Before that, I was Maitre de Conférence at LSV, ENS Cachan, Paris-Saclay, France and visited research at RWTH Aachen and the University of Kassel Germany. I did my phD at LIP, ENS Lyon, on spatial logics and concurrency theory. Later, I got interested in various kinds of models of computations used in automated verification : pointer systems, counter systems, FIFO systems, and more generally discrete infinite state systems. A bit more specifically, I am interested in choreographies and session types, higher-order model-checking, and separation logic.

Affiliation:Université de Nice Sophia-Antipolis, France
Research interests:Verification, Concurrency, Separation Logic, Infinite State Systems


‹Programming› 2018 Student Grants Committee Chair in Student Grants Committee
Student Grants Committee Chair in Organizing Committee
POPL 2017 Author of On the Relationship Between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic within the POPL-track