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.

Houari Sahraoui est professeur au laboratoire de génie logiciel GEODES du Département d’informatique et de recherche opérationnelle de l’Université de Montréal. Il occupe également les fonctions de vice-doyen à la Faculté des arts et des sciences. Il a obtenu son doctorat en informatique à l’Université Pierre-et-Marie-Curie (LIP6) en 1995, avec une spécialisation en intelligence artificielle.

Ses travaux de recherche portent sur l’IA appliquée au génie logiciel, notamment l’automatisation du développement logiciel, l’ingénierie dirigée par les modèles, les jumeaux numériques et l’utilisation de l’IA générative pour les tâches de programmation et de modélisation. Il est l’auteur de plus de 200 publications dans les meilleures conférences et revues du domaine et a reçu plusieurs distinctions, dont des prix du meilleur article, des ACM SIGSOFT Distinguished Paper Awards et le prix IEEE TCSE 10-Year Most Influential Paper Award.

Il a occupé plusieurs postes de leadership au sein de la communauté du génie logiciel, notamment comme président général des conférences ASE, MODELS et VISSOFT, président du comité de programme de MODELS et VISSOFT, ainsi que membre de nombreux comités de programme de conférences phares de l’IEEE et de l’ACM. Il a également été rédacteur associé pour plusieurs revues scientifiques, dont Software and Systems Modeling de Springer, et est membre fondateur de CS-Can | Info-Can, la société canadienne d’informatique. Il est Fellow de l’Automated Software Engineering et récipiendaire du Lifetime Achievement Award in Computer Science de CS-Can | Info-Can.

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.