Pierre-Alain BOURDIL

En résumé

Entreprises

• IRT Saint Exupéry - Post-doctorant

  Toulouse 2015 - maintenant Vérification formelle pour les systèmes distribués temps réel

• LAAS-CNRS - Doctorant

  2011 - 2015 Sujet de thèse : contributions à la vérification formelle par model-checking
  Soutenue le 3 décembre 2015
  
  Publications : http://www.laas.fr/pulman/pulman-isens/web/app.php/publiPerso/1000016644
  

Formations

Pas de formation renseignée

Réseau

• Aurélien MOURCELY

• Caro MARTINS

• Florence PUGEAULT

• Jean-Christophe ARNU

• Jérémie DESPEAUX

• Jérôme AVERTY

• Michael LAFFARGUE

• Sophie MARAIS

• Vincent BOURDIL