Je suis professeur agrégé au Département d’informatique et de recherche opérationnelle à l’Université de Montréal, où je travaille dans GEODES, le groupe de recherche en génie logiciel (en savoir plus).

Je travaille à créer des techniques et des méthodes formelles tout en étant pratiques pour l’ingénierie du logiciel. Pour ce faire, je m’inspire de disciplines telles que la vérification formelle, l’ingénierie dirigée par les modèles et les méthodes empiriques. Je étudie le contexte du développement du logiciel et je crée de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.

I am an associate professor at the Department of Computer Science and Operations Research of the Université de Montréal, working in the GEODES Software Engineering Research Group (see more).

I work to create formal but practical techniques and methods for engineering software. To do this, I draw from disciplines such as formal verification, model-based engineering, and empirical methods. I study the context of software development and create novel techniques that use domain-specific abstractions that are supported by rigorous automation.

Futurs étudiants: veuillez lire cette page avant de me contacter!
Prospective students: please read this page before contacting me!