Menu

Pierre-Alain BOURDIL

Toulouse

En résumé

Pierre-alain n'a pas encore ajouté de résumé à son profil.

Vous pouvez lui suggérer d'en écrire un en lui envoyant un message. Pour cela ajoutez d'abord Pierre-alain à vos contacts.

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

Une expérience absente ?

Vous avez travaillé avec Pierre-alain dans une entreprise qui n'apparaît pas dans son parcours ?

N'hésitez pas à lui suggérer d'ajouter cette expérience en lui envoyant un message. Pour cela ajoutez d'abord Pierre-alain à vos contacts.

Formations

Réseau

Annuaire des membres :