===== Laetitia Laversa =====
I am currently an ATER (temporary teaching and research position) at [[https://www.irif.fr|IRIF]], Université Paris Cité, in [[https://www.irif.fr/equipes/automates/index|Automata and applications team]]. 
I did a Ph.D. in Computer Science on verification of distributed systems in Université Côte d'Azur, under the supervision of [[https://webusers.i3s.unice.fr/~elozes/|Étienne Lozes]] and [[https://webusers.i3s.unice.fr/~cdigiusto/web/|Cinzia Di Giusto]] (defended in 2021).
==== Research ==== 
I'm interested in verification of systems using automata modeling. For more information, visit [[https://l-laversa.github.io/|my personal page]]. 
==== Contact ==== 
| email | <laversa@irif.fr> |
| Office | 3044 |
| Address | IRIF \\ Université Paris Cité \\ Bâtiment Sophie Germain \\ 8 Place Aurélie Nemours \\ 75205 Paris Cedex 13|