Je suis professeur adjoint au Département d’informatique et de recherche opérationnelle à l’Université de Montréal, où je travaille pour 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. J'é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.

Mes intérêts de recherche portent entre autres sur l’automatisation dans le génie logiciel. Je m’intéresse en particulier à l’apprentissage des transformations de modèles à partir d’exemples en utilisant des approches évolutionnistes. Je travaille également sur la rétro-ingénierie (compréhension) et la réingénierie (refactoring, migration vers les logiciels à base de composants, etc.) des logiciels par l’analyse statique et dynamique. Mes préoccupations incluent également la visualisation des grands ensembles de données multidimensionnelles pour la compréhension et la maintenance du logiciel.

Mes principaus intérêts de recherche suivent deux axes.

Le premier axe est la conception en génie logiciel, suivant le paradigme d'ingénieurie dirigée par les modèles. En particulier, je m'intéresse à la conception de langages de modélisation dédiés au domaine, les transformations de modèles et la génération de code automatique. Mes intérêts s'inscrivent également dans la modélisation collaborative en temps réel et suivant des systèmes de contrôle de révision. Je travaille aussi sur la génération d'environnements de modélisation entièrement personalisable afin d'améliorer l'expérience utilisateur.

Le second axe est la simulation, souvent la simulation à événements discrets et la co-simulation. Mes travaux s'incrivent dans la conception de jumeaux numériques appliqués dans diverses domaines, tel que l'agriculture, l'automobile et la domotique.

Un autre intérêt de recherche transversal est sur les revues systématiques de la littérature d'un point de vue méthodologique et logiciel.