Alexandre Chapoutot
Enseignant-Chercheur, ENSTA ParisTech
Doctorant en informatique, je m'intéresse à la validation de programmes grâce aux méthodes formelles. Et en particulier, aux techniques d'analyse statique par interprétation abstraite qui permettent de mettre aux points des outils de validation automatique. J'applique ces techniques sur des modèles Simulink. J'essaie en particulier, de valider les comportements numériques de ces modèles. Par exemple, les erreurs de calculs liées à l'arithmétique flottante.
18 contactsEnseignant en informatique
Chercheur en vérification formelle appliquée aux systèmes hybrides Matlab/Simulink
2008 - 2010Attaché temporaire d'enseignement et de recherche.
2005 - 2008Enseignant dans les matières:
- initiation à la programmation (en C)
- programmation orienté objet (Java)
- encadrement de projets informatiques
Ces matières sont réparties sur les 3 années de formation de l'école.
2005 - 2008Laboratoire MeASI (CEA - X - CNRS)
Sujet de la thèse : "Simulation abstraite : une analyse statique de modèles Simulink"
Objectfis: Appliquer les techniques d'analyse statique par interprétation abstraite sur des spécifications de haut niveau écrites en Simulink. L'objectif est d'évaluer la précision numérique des simulations des modèles Simulink représentant des systèmes embarqués de contrôle.
2005 - 2005Stage de fin d'études: "Analyse statique de programmes numériques."
Mise en oeuvre d'une librairie d'arithmétiques flottantes (intervalles, stochastique, différentation automatique,...)
