Etienne Lozes

Registered user since Sun 15 Jan 2017

Name:Etienne Lozes
Bio:

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.

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

Contributions