Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Navigation secondaire

Soutenance de thèse : Automates à contraintes semilinéaires

Soutenance de thèse de doctorat de Michaël Cadilhac, Département d'informatique et de recherche opérationnelle, Faculté des arts et des sciences, Université de Montréal.

Jury

Président-supporteur : Louis Salvail
Directeur de recherche : Pierre McKenzie
Codirecteur : Alain Finkel
Membre du jury : Sylvie Hamel 
Examinateur externe : David A. Barrington (Université du Massachusetts)
Représentant  du doyen de la FAS : Octavian Cornea (Université de Montréal)

Emplacement : Université de Montréal - Pavillon André-Aisenstadt