Étienne Lozes

Si vous êtes un étudiant et que vous cherchez des informations sur les cours, allez voir sur ma page d'enseignement.

Contact information

mail login@i3s.unice.fr where login is elozes.
phone (+33)(0)
skype etiloz
office I3S, third floor, office 311

Who I am

I am professor of computer science at Université de Nice Sophia Antipolis. 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. 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.

Research activities


Recent talks


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


PhD Students


Author: Etienne Lozes

Created: 2019-01-08 Tue 13:34