Nouveau docteur

10 décembre 2014 Laisser un commentaire

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 !

 

Filed under Faits divers, Nouvelles, Opinion

À propos Frederic GERVAIS
Enseignant-chercheur en informatique

Votre commentaire

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

Gravatar
Logo WordPress.com

Vous commentez à l’aide de votre compte WordPress.com. ( 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 )

Annuler

Connexion à %s

%d blogueurs aiment cette page :