Etienne Lozes
OfficeI3S, third floor, office 311
PostLaboratoire d’Informatique, Signaux et Systèmes de Sophia-Antipolis
I3S - UMR7271 - UNS CNRS
2000, route des lucioles
Les Algorithmes - bât. Euclide B
06900 Sophia Antipolis - France

Who I am

I am professor of computer science at Université Cote d’Azur. I am a member of the SCALE team at the I3S lab.

I am broadly interested in logic, program verification, and concurrency theory, and particularly these last years in separation logic, automata with buffering, and higher-order model-checking.

I am looking for interns, phD students, and postdocs interested in these topics. Send me an email if you are interested.

Short bio

I graduated at LIP, ENS Lyon and at CITI, Universidade Nova de Lisboa. My PhD advisors were Daniel Hirschkoff and Luis Caires. I was assistant professor at LSV, ENS Cachan (now ENS Paris-Saclay), from 2004 to 2017, with a long sabbatical from 2009 to 2014. From 2009 to 2011 I was a visiting researcher at RWTH Aachen in the group of Joost-Pieter Katoen. From 2011 to 2014, I was an “advanced postdoc” in the group of Martin Lange at the university of Kassel.


I teach at Université Cote d’Azur. See my teaching page (in french) for more details about recent teaching.

Research Activities

See my list of publication on dblp.

Some talks


ESOP 2021 (PC), FORTE 2019 (PC), TACL 2019 (organisation commitee), ADSL 2018 (PC), Journées nationales GT Verif 2018 (PC), 2018 (organisation commitee), TIME 2016 (PC), TIME 2015 (PC), ICTAC 2015 (PC), PLACES 2014 (PC)


PhD students

PhD Juries