Yann Duplouy

Je suis actuellement ingénieur en ingéniérie logicielle au sein du département informatique de l'École Normale Supérieure Paris-Saclay et du Laboratoire Méthodes Formelles.

Dans le cadre de ce contrat à durée déterminée, je travaille actuellement sur:

la maintenance des applications web administratives du département informatique, ainsi que la préparation d'une version à jour des procédés de développement;
le maintien de l'infrastructure de la salle machine du département informatique (en espérant pouvoir m'occuper d'une migration et refonte à terme);
une application web permettant de tester, via un navigateur web, un module Python de création de séquences ARN compatibles avec un procédé de test similaire au RT-PCR.

J'ai aussi travaillé sur:

le portage de l'ancien site du département vers la nouvelle structure choisie pour l'hébergement des sites web du département informatique et du Laboratoire Méthodes Formelles, ce qui a nécessité en particulier la création d'une extension (ou recipe) pour PmWiki .

J'encadre aussi (en 2022-23) la mise à niveau système, qui inclut une sorte de refonte du TP d'introduction à la salle machine du département informatique de l'année 2021-22.

Avant cela, j'ai été chercheur post-doctoral dans l'équipe VeriDis au Loria. Je travaille sur la vérification statistique de programmes distribués au sein de l'IPL HAC SPECIS, travaillant sur le logiciel SimGrid, sous la direction de Stephen Merz et Marie Duflot-Kremer.

Dans le cadre de ce post-doc, j'ai rédigé les documents suivants:

une présentation (sous forme de slides) de mon sujet et de la progression actuelle à la journée des postdocs du thème Méthodes Formelles du Loria;
un article publié dans le cadre de la 10^th International Conference on Simulation and Modeling Methodologies, Technologies and Applications concernant une tentative d'application de méthodes de model-checking statistiques à des programmes distribués simulés avec l'aide des librairies SimGrid dans des environnements dont les spécifications peuvent changer de manière probabilistes.

Avant cela, j'ai été doctorant à l'IRT SystemX et au Laboratoire de Spécification et de Vérification (ENS Cachan), sur le sujet Application des méthodes formelles à la maîtrise du développement des systèmes embarqués sur le véhicule autonome, et sous la direction de Serge Haddad et de Béatrice Bérard.

Dans le cadre de cette thèse, j'ai rédigé les documents suivants :

le manuscrit intitulé Applying Formal Methods to Autonomous Vehicle Control; le support de la soutenance est lui aussi disponible;
un poster pour l'école de printemps « Systèmes hybrides » du Labex DigiCosme;
un livrable ANR (15 février 2017), dans le cadre du projet SVA, présentant l'ensemble des notions mathématiques nécessaires pour comprendre le fonctionnement de l'outil de vérification stochastique Cosmos ainsi qu'une partie de l'état de l'art sur la vérification de comportements de véhicules autonomes;
un article, dans le cadre du congrès «Simulation Numérique» de la Société des Ingénieurs de l'Automobile, présentant une application des méthodes formelles stochastiques à la vérification de contrôleurs de véhicules autonomes;
un article, une présentation et un poster dans le cadre de l'École Temps Réel 2017 présentant une première étape de formalisation de Simulink.
un article publié dans le cadre de la 39^th International Conference on Applications and Theory of Petri Nets and Concurrency concernant une amélioration du logiciel de model-checking statistique de modèles stochastiques Cosmos pour lui intégrer des modèles temps réels (un sous-ensemble de Simulink). Une version plus technique de l'article, présentant une formalisation du procédé, est disponible sur HAL.

J'étais, avant cela, étudiant au Master Parisien de Recherche en Informatique, en tant que normalien à l'ENS Cachan.

Au cours de ma scolarité à l'ENS Cachan, j'ai effectué trois stages :

un stage court (6 semaines) à Grenoble, autour de l'optimisation d'un algorithme de désambiguïsation lexicale, entre juin et juillet 2012, encadré par Didier Schwab et Jérôme Goulian. Vous pouvez trouver le rapport de stage ici.
un stage long (4,5 mois), autour de la théorie des types de Martin-Löf (avec des machines de Krivine abstraites) entre avril et août 2013, encadré par Peter Dybjer. Vous pouvez trouver le rapport de stage, en anglais, ici.
un stage long (4,5 mois), sur le thème Types et interprétations pour les programmes de complexité polynomiale, encadré par Patrick Baillot. Le rapport de stage est disponible en suivant ce lien.