‹Programming› 2018 (series) / Etienne Lozes
![Etienne Lozes](https://2018.programmingconference.org/getProfileImage/etiennelozes/23f082f2-5879-4f28-ac69-df6be4937ce2/small.jpg?1717512425000)
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
Personal website: http://i3s.unice.fr/~elozes
Research interests:Verification, Concurrency, Separation Logic, Infinite State Systems
Contributions
‹Programming› 2018-profile
View general profile
View general profile