PARIS
RETROUVEZ GRATUITEMENT Le résultat du bac à ParisLe résultat du brevet à Paris Le résultat du BTS à 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
