Je suis maitre de conférences à l'Université de Nantes. J'enseigne au département d'informatique de l'IUT de Nantes et j'exerce mon activité de recherche dans l'équipe systèmes temps réel de l'IRCCyN.

I am assistant professor at the University of Nantes. I teach in the computer science department of the IUT of Nantes. I do my research duty in the Real-Time Systems group at IRCCyN.

Nouvelles/News

Sujet de thèse/Phd topic

Avec Didier Lime nous proposons un sujet de thèse sur la décomposition de graphes pour le model checking de sytèmes répartis. Un aperçu du sujet est disponible ici (en anglais).

Together with Didier Lime we are looking for a Phd candidate. The work will be on graph decomposition techniques for model checking distributed systems. The topic is available here.

Pour me joindre/How to reach me

Mél/Mail:loig.jezequel@univ-nantes.fr
Tél/Tel:
Adresse/Address:IUT de Nantes
3, rue du Maréchal Joffre - BP 34103
44041 Nantes cedex 1
France
Mél/Mail:loig.jezequel@irccyn.ec-nantes.fr
Tél/Tel:+33 (0) 2 40 37 69 71
Adresse/Address:IRCCyN
1, rue de la Noë - BP 92101
44321 Nantes cedex 3
France