Antoine BEUGNARD


Enseignant-chercheur
Dépt. Informatique

Téléphone : 02 29 00 14 23
Télécopie : 02 29 00 12 82
Courriel : antoine.beugnard@imt-atlantique.fr
IMT Atlantique
Vue aérienne

Courte biographie

Je suis un ancien élève de l'ENST-Bretagne (1986). J'ai reçu mon titre de Docteur 3ème Cycle en Informatique à l'université de Rennes 1 en 1993. J'ai passé mon habilitation à diriger des recherches en 2005 et suis professeur à Telecom Bretagne, maintenant IMT Atlantique, depuis décembre 2007.

J'ai travaillé auparavant chez Michael Jackson France, où j'ai participé à la création d'un environnement de développement pour la méthode JSD (Jackson System Development) en Smalltalk.

Après m'être intéressé à la sémantique de liaison dynamique des langages objets, à la spécification par contrat et à la notion d'abstraction de communication, mes 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.

Short biography

I have obtained my PhD in computer science at Université de Rennes 1 in 1993 and I am professor in the computer science department of Telecom Bretagne, now IMT Atlantique, since december 2007.

I have previously worked for Michael Jackson France, where I developed in Smalltalk an environment for the JSD method (Jackson System Development).

After being interested in the semantics of the late binding in object oriented languages, contract oriented specifications and communication abstractions, my recent fields of interest are modelling (its meaning, its notations, its features such as composability, etc) and static analysis of names in the context of heterogeneous languages.

Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00