Frédéric Boulanger
CentraleSupélec LRI
Département informatique Équipe MODHEL
3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
F-91192 Gif-sur-Yvette cedex, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Téléphone : +33 [0]1 69 85 14 84
Télécopie : +33[0]1 69 85 14 99
frederic.boulanger@centralesupelec.fr frederic.boulanger@lri.fr

Je suis professeur au département informatique de CentraleSupélec et au Laboratoire de Recherche en Informatique (LRI) dans l'équipe MODHEL. J'enseigne les notions fondamentales de l'informatique et participe à l'enseignement de l'architecture des ordinateurs en tronc commun. En troisième année option « Systèmes informatiques », j'enseigne la modélisation des systèmes et la sémantique des langages de modélisation.

Mon domaine de recherche, est la modélisation et la vérification du comportement des systèmes hétérogènes, pour lesquels plusieurs méthodes de modélisation sont utilisées conjointement. Notre plateforme de modélisation hétérogène exécutable est ModHelX. Cette plateforme s'appuie sur le modèle de temps TESL pour l'adaptation sémantique entre modèles hétérogènes.

Ces travaux s'inscrivent dans le cadre plus large de la globalisation des langages de modélisation, telle que définie par l'initiative Gemoc


Avec d'autres chercheurs de Paris-Saclay, nous avons créé le groupe de travail TheSys.