I am an assistant 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.

Houari Sahraoui is a Professor in the GEODES Software Engineering Lab within the Department of Computer Science and Operations Research at the Université de Montréal. He also serves as Vice-Dean of the Faculty of Arts and Sciences. He received his Ph.D. in Computer Science from Pierre and Marie Curie University (LIP6) in 1995, specializing in Artificial Intelligence.

His research focuses on AI for Software Engineering, including software automation, model-driven engineering, digital twins, and the use of generative AI for code and modeling tasks. He has authored more than 200 publications in leading conferences and journals and has received numerous distinctions, including Best Paper Awards, ACM SIGSOFT Distinguished Paper Awards, and the IEEE TCSE 10-Year Most Influential Paper Award.

He has held several leadership positions within the software engineering community, including serving as General Chair of ASE, MODELS, and VISSOFT, Program Chair of MODELS and VISSOFT, and member of numerous IEEE and ACM conference program committees. He has also served as Associate Editor for several scientific journals, including Software and Systems Modeling, and is a founding member of CS-Can | Info-Can, the Canadian computer science society. He is a Fellow of Automated Software Engineering and the recipient of the CS-Can | Info-Can Lifetime Achievement Award in Computer Science.