Passer au contenu

/ Department of Computer Science and Operations Research

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)

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