Yann Duplouy

Je suis 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 :

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

Vous pouvez trouver mon CV ici.

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

Vous pouvez par ailleurs me suivre sur Twitter oû je posterais des choses autour de ma thèse et des sujets liés aux véhicules autonomes.