| Phone |
+33(0)4.89.15.44.00 / +33(0)6.46.81.05.07 |
| Skype |
etiloz |
| Zoom |
https://univ-cotedazur.zoom.us/j/8324657148 |
| Office |
I3S Euclide A/B, third floor, office 311 |
| Post |
Laboratoire 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 head of the SCALE team at the I3S lab. I am also in charge of apprenticeship for master students (detailed description in french) of EUR DS4H.
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.
Teaching
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
- Verification of FIFO systems by under-approximation (journées GDR GPL, GT CLAP/HIFI, june 2021)
- An introduction to descriptive complexity (february 2018, colloquium Dieudonne, Nice, France)
- On symbolic heaps modulo permission theories (december 2017, FSTTCS conference, Kanpur, India)
- Synchronizability of communicating finite state machines is not decidable (july 2017, ICALP conference, Warsaw, Poland)
- On two notions of higher-order model-checking (november 2016, Geocal seminar, Paris, France)
Events
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)
Projects
PhD students
- Loic Germerie (2020 - 2023, co-advised with Cinzia Di Giusto) Futures, separation logic, and half-duplex communications.
- Laetitia Laversa (2018 - 2021, co-advised with Cinzia Di Giusto) now Post Doc at Paris Nord. Synchronizability of FIFO systems.
- Alessio Mansutti (2017 - 2020, co-advised with Stéphane Demri) now assistant professor at IMDEA Madrid. Reasoning with Separation logics: complexity, expressive power, proof systems.
- Milka Hutagalung (2011-2013, 2014-2017, co-advised with Martin Lange) Buffered simulation for Büchi automata.
- Manuel Vargas Guzman (co-advised with Martin Lange) Model-checking process equivalences
- Jules Villard (2007-2011) now Tech Lead at Facebook London. Heaps and hops: separation logic and communication contracts.
- Remi Brochenin (2006-2010, 2012-2013, co-advised with Stéphane Demri) Separation Logic: expressiveness, complexity, temporal extension.
- Arnaud Sangnier (2005-2008, co-advised with Alain Finkel) now maître de conférence at Paris Cité. Vérification de systèmes avec compteurs et pointeurs.
PhD Juries
- Pierre Leca, president.
- Damien Rouhling, president.
- Cristina Serban, reviewer.
