Michael Blondin
Professeur adjoint
Coordonnées
Courriel : Michael.Blondin@USherbrooke.ca
Téléphone : 819 821-8000, poste 66491
Télécopieur : 819 821-8200
Local : D4-1024-1
Formation
- M. Sc. Informatique, Université de Montréal (2012)
- Ph. D. Informatique, ENS Paris-Saclay et Université de Montréal (cotutelle) (2016)
- Postdoctorat, Université technique de Munich (2016 – 2018)
Thèmes de recherche
- Vérification formelle
- Informatique théorique
- Model checking
- Systèmes concurrents
- Théorie des automates
Recherches actuelles
- Étude des fondements de la vérification formelle
- Model checking de systèmes concurrents et distribués
- Complexité calculatoire et décidabilité de problèmes de vérification
- Conception d'algorithmes et d'outils de vérification formelle
Publications
Publications de Pr Michael Blondin