Bonjour! Hi!

Je suis professeur régulier à l’Université du Québec à Montréal et développeur Debian. J’ai obtenu mon doctorat en informatique en 2021 à l’Université Carnegie Mellon sous la direction de Steve Brookes et Frank Pfenning. Par la suite, j’étais un chercheur postdoctoral CRSNG à l’Université McGill sous la direction de Brigitte Pientka.

L’objectif de ma recherche est de développer des outils et des techniques qui permettent de spécifier, implémenter et raisonner au sujet des systèmes concurrents. Présentement, je travaille sur la conception des langages de programmation concurrente fondés sur une base logique.

Je suis à la recherche d’étudiant·e·s!

Je recrute des étudiant·e·s au doctorat et à la maîtrise, ainsi que des étudiant·e·s de premier cycle qui aimeraient s’initier à la recherche. Si mes sujets de recherche vous intéressent ou vous voulez en savoir plus, contactez-moi.