About me

Since 2024, I am assistant professor at University of Rennes. I teach in Saint-Malo's University Institute of Technology (IUT in French). I'm part of DEVINE research team, in IRISA.

My main research topic are formal methods and verification, more specifically applied to the verification of communicating systems. I did a PhD in computer science in Université Côte d'Azur, under the supervision of Étienne Lozes and Cinzia Di Giusto. A list of my publications is available here.

Contact

Email:
loic(dot)germerie-guizouarn(at)univ-rennes(dot)fr
Phone:
+33 2 99 84 22 76
Office address:
Office C211 (orange)
Campus Universitaire de Beaulieu
35 042 Rennes CEDEX
France