‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
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

Personal website: http://i3s.unice.fr/~elozes

Research interests: Verification, Concurrency, Separation Logic, Infinite State Systems

‹Programming› 2018 Activities

Using general profile