Nouveau docteur

Félicitations à Dimitris Vekris, qui vient de passer avec succès sa soutenance de thèse, sur le sujet suivant : Vérification de spécifications EB3 à l’aide de techniques de model-checking. Bienvenue dans la famille des docteurs en informatique !

 

À propos Frederic GERVAIS
Enseignant-chercheur en informatique

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion /  Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion /  Changer )

Connexion à %s

%d blogueurs aiment cette page :