Antoine Beugnard

Ancien élève de l’ENST-Bretagne (1986), il a reçu son titre de Docteur 3ème Cycle en Informatique à l’université de Rennes 1 en 1993. Puis il a passé son habilitation à diriger des recherches en 2005 et est professeur à Telecom Bretagne, maintenant IMT Atlantique, depuis décembre 2007.

Ayant travaillé auparavant chez Michael Jackson France, il a participé à la création d’un environnement de développement pour la méthode JSD (Jackson System Development) en Smalltalk.

Après s’être intéressé à la sémantique de liaison dynamique des langages objets, à la spécification par contrat et à la notion d’abstraction de communication, ses centres de recherche actuels sont la modélisation (son sens, ses notations, ses propriétés comme la composition, etc) et la vérification statique de noms en contexte de langages hétérogènes.