PARIS
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.
Mes compétences :
Simulink
