Bonjour! Hi!

Ma tête

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.

Si vous vous intéressés aux travaux sur les langages de programmation et la logique à Montréal, voyez le groupe Langages et Logique Montréal et le Séminaire de l’Est du Canada sur la logique et la programmation.

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.