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.
Affiliation: Université de Nice Sophia-Antipolis, France
Personal website: http://i3s.unice.fr/~elozes
Research interests: Verification, Concurrency, Separation Logic, Infinite State Systems
‹Programming› 2018 Activities