perso/antoine_beugnard

I am a former student of ENST-Bretagne (1986). I received my PhD in Computer Science from the University of Rennes 1 in 1993. I obtained my accreditation to supervise research (HDR) in 2005 and have been a professor at Telecom Bretagne, now IMT Atlantique, since December 2007.

I previously worked at Michael Jackson France, where I helped create a development environment for the JSD (Jackson System Development) method in Smalltalk.

After taking an interest in the dynamic binding semantics of object-oriented languages, contract specification, and the notion of communication abstraction, my current research focuses on modeling (its meaning, notations, properties such as composition, etc.) and static verification of names in the context of heterogeneous languages.

One of the principles that guides my research is taking into account the construction process in understanding the production of artifacts (models, codes, etc.).

Since 2017, I have been applying my research to the Industry of the Future, and more specifically to digital twins. I am a member of the “Digital Twin” working group of the Industry of the Future Alliance.

My publications

Français

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.

L’un des principes qui guide ma recherche est la prise en compte du processus de construction dans la compréhension des productions d’artefacts (modèles, codes, etc).

Depuis 2017, j’applique mes recherche au domaine de l’Industrie du Futur et plus spécifiquement au jumeau numérique. Je participe au groupe de travail “Jumeau Numérique” de l’Alliance Industrie du Futur.

Mes publications