Nouveau docteur !

Toutes mes félicitations à Thomas Fayolle qui vient de passer avec succès sa soutenance de thèse, sur le sujet « Combinaison de méthodes formelles pour la spécification de systèmes ferroviaires ».

Bienvenue dans la famille des docteurs en informatique !