Frédéric Boulanger
CentraleSupélec LMF, UMR CNRS 9021
Département informatique Laboratoire Méthodes Formelles
Bât Breguet, 3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, 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@universite-paris-saclay.fr

Je suis professeur au département informatique de CentraleSupélec et au Laboratoire Méthodes Formelles (LMF). J'enseigne les notions fondamentales de l'informatique en tronc commun. En troisième année, j'enseigne les principes de fonctionnement des ordinateurs, l'ingénierie dirigée par les modèles et la sémantique des langages de modélisation.

Je suis également responsable de la mention « Science du logiciel » en troisième année du cursus ingénieur CentraleSupélec.

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