Soutenance de thèse : Automates à contraintes semilinéaires
![](/public/FAS/diro/Images/Nouvelles/51425387b42441363302344.jpg)
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