Michael Blondin

Je suis professeur agrégé au Département d'informatique de l'Université de Sherbrooke et membre de son Groupe de recherche en informatique fondamentale (GRIF). Ma recherche se situe autour de l'intersection de l'informatique théorique et des méthodes formelles. En particulier, j'étudie les fondements de la vérification formelle dans le but de permettre un développement plus fiable et rigoureux des systèmes informatiques. Mes intérêts gravitent autour de la vérification algorithmique, de la théorie des automates, des systèmes concurrents et distribués, de la théorie de la complexité et de la logique.

Avant de me joindre à l'Université de Sherbrooke, j'ai obtenu un doctorat en cotutelle de l'ENS Paris-Saclay et de l'Université de Montréal, et j'ai également occupé un poste d'enseignant-chercheur postdoctoral à l'Université technique de Munich.

Publications

Livres

Revues (évaluées par les pairs)

Contributions invitées

Actes de conférences internationales (évalués par les pairs)

Thèses et mémoires

Outils

  • FastForward: un outil efficace pour vérifier l'(in)accessibilité dans les réseaux de Petri.

    FastForward est un outil qui permet de (semi-)décider efficacement les problèmes d'accessibilité et de couverture des réseaux de Petri. Il s'appuie sur des sur-approximations d'accessibilité comme oracles de calcul de distance dans des algorithmes de parcours de graphes infinis comme A* et greedy-best search. FastForward est notamment en mesure de prouver l'accessibilité à l'aide de contre-exemples minimaux. De plus, il supporte les transitions pondérées. Pour plus de détails, voir l'article TACAS 2021.

  • Peregrine: un outil pour l'analyse formelle des protocoles de populations.

    Peregrine est un outil pour l'analyse et la vérification paramétrée des protocoles de populations, un modèle de calcul distribué dans lequel des agents anonymes et mobiles interagissent de façon stochastique afin d'accomplir une tâche commune. Les fonctionnalités de Peregrine incluent la simulation manuelle pas-à-pas; l'échantillonnage automatique; la génération de statistiques sur le temps de convergence; la détection d'exécutions erronées via simulation; et la vérification formelle de correction. Les quatre premières fonctionnalités sont supportées pour tous les protocoles, et la vérification est supportée pour les protocoles silencieux, une grande sous-classe de protocoles de populations. Pour plus de détails, voir les articles CAV 2018 et PODC 2017.

  • QCover: un outil efficace pour la vérification des réseaux de Petri continus et discrets.

    QCover est une implémentation d'une procédure qui permet de décider le problème de couverture pour les réseaux de Petri. Cette procédure utilise l'accessibilité dans les réseaux de Petri continus comme critère d'élagage dans le cadre d'un algorithme d'exploration arrière. Le cœur de l'approche repose sur un traduction logique de l'accessibilité continue dans le solveur SMT Z3. QCover peut également être utilisé pour décider l'accessibilité et la couverture dans les réseaux de Petri continus. Pour plus de détails, voir les articles TOCL 2017 et TACAS 2016.

Présentations

Équipe de recherche

Si vous êtes intéressé·e à travailler sous ma supervision, n'hésitez pas à me contacter par courriel.

Étudiant·e·s

Jan. 2022 –
Présent
Noé Canva
Étudiant de maîtrise (M.Sc.)
Jan. 2022 –
Mars 2024
Alex Sansfaçon-Buchanan
Étudiant de maîtrise (M.Sc.)
Sep. 2021 –
Jan. 2024
François Ladouceur
Étudiant de maîtrise (M.Sc.)
Jan. 2020 –
Juin 2023
Philip Offtermatt
Doctorant (Ph.D.)
(cosupervisé avec Filip Mazowiecki à l'Université de Varsovie)
Été 2021 Noé Canva
Stagiaire de 1er cycle
Automne 2020 Alex Sansfaçon-Buchanan
Stagiaire de 1er cycle
Fév. 2020 –
Juil. 2020
Juliette Fournis d'Albiat
Stagiaire de maîtrise (M1) (de l'ENS Paris-Saclay)
Sep. 2018 –
Nov. 2018
Stefan Jaax
Stagiaire doctoral (de l'Université technique de Munich)

Invité·e·s

Oct. 2021 Filip Mazowiecki
Chercheur, Max Planck Institute for Software Systems (Saarbrücken)
Mai 2019 Filip Mazowiecki
Postdoctorant, Université de Bordeaux
Oct. 2019,
Oct. – Nov. 2018
Alain Finkel
Professeur, ENS Paris-Saclay

Curriculum vitæ (version courte)

Postes

Juin 2023 –
Présent
Professeur agrégé (permanent)
Département d'informatique
Université de Sherbrooke, Canada
Sep. 2018 –
Mai 2023
Professeur adjoint
Département d'informatique
Université de Sherbrooke, Canada
Sep. 2016 –
Juil. 2018
Enseignant-chercheur postdoctoral
Chair for foundations of software reliability and theoretical computer science
Université technique de Munich, Allemagne

Éducation

Avr. 2013 –
Juin 2016
Doctorat (Ph.D.) en informatique (cotutelle)
ENS Cachan – Université Paris-Saclay, France
Jan. 2012 –
Juin 2016
Doctorat (Ph.D.) en informatique (cotutelle)
Université de Montréal, Canada
Jan. 2010 –
Jan. 2012
Maîtrise (M.Sc.) en informatique
Université de Montréal, Canada
Sep. 2007 –
Déc. 2009
Baccalauréat (B.Sc.) en informatique, cheminement honor
Université de Montréal, Canada
Sep. 2004 –
Juin 2007
Technique (DEC) en informatique de gestion
Collège Lionel-Groulx, Canada

Financement et prix

Mai 2022 Professeur invité, Université de Mons, Belgique  (2 500€)
FNRS (invité par Mickael Randour)
Avr. 2021 –
Mars 2023
Établissement de la relève professorale  (60 000$)
FRQNT
Avr. 2019 –
Mars 2025
Subvention à la découverte  (150 500$)
CRSNG
Mai 2019 –
Juil. 2019
Financement de courtes missions de recherche: Québec – Bavière  (6 500$)
FRQ
Sep. 2018 –
Mars 2019
Subvention de démarrage  (17 500$)
FRQNT
Mai 2017 –
Juil. 2018
Bourse de recherche postdoctorale  (43 750$)
FRQNT
Lauréat 2015 Prix d’excellence aux auxiliaires d’enseignement  (1 000$)
Université de Montréal
Jan. 2015 –
Juin 2016
Bourse de mobilité Frontenac  (8 514$)
FRQNT, MAEDI et MRIF
Mai 2013 –
Déc. 2014
Bourse de doctorat de recherche  (33 333$)
FRQNT
Oct. 2010 –
Déc. 2011
Bourse de maîtrise de recherche  (25 000$)
FRQNT
Mai 2009 –
Août 2009
Bourse de recherche de premier cycle  (5 675$)
CRSNG
Sep. 2007 –
Déc. 2009
Bourse d'excellence à l’admission  (6 000$)
DIRO, Université de Montréal

Enseignement

Sep. 2018 –
Présent
Professeur
Université de Sherbrooke
Sep. 2016 –
Juil. 2018
Auxiliaire d'enseignement
Université technique de Munich
Sep. 2008 –
Déc. 2015
Auxiliaire d'enseignement
Université de Montréal
Jan. 2011 –
Mars 2011
Chargé de cours
Université de Montréal

Services à la profession

Comités externes
Évaluation    d'articles

Contact