You are here



Michel R. Dagenais, Ph.D.
Professor and director
École Polytechnique (DORSAL Lab)
  • Professor at Ecole Polytechnique Computer and Software Engineering Department, active in the area of system analysis tools for the past 15 years.
  • Collaborated with researchers at many of the largest industrial research centers at AT&T Bell Labs, Bell Northern Research, Sun, DEC, IBM, Ericsson and Google.
  • The Linux Trace Toolkit, developed under the supervision of Michel Dagenais at Ecole Polytechnique, is used throughout the world and gained the cooperation of a large number of industrial contributors over the years. His group has made several original contributions to the Linux kernel related to tracing and to multi-processor performance.
  • Part of the Canadian Consortium for Software Engineering Research (CSER), he was a co-recipient of the 2000 NSERC Leo Derikx Synergy Award, for "an innovative model of long-lasting university-industry interaction in a pre-competitive realm that has benefited the general well-being of an industry". The Bell Canada Ecole Polytechnique CSER project (Michel Dagenais 50% with Ettore Merlo 50%) had a total budget of over 1M CAD for the three year period 1999-2001.
Abdelwahab Hamou-Lhadj, Ph.D.
Concordia University
  • Assistant Professor in the Department of Electrical and Computer Engineering (ECE) at Concordia University
  • Working in the area of dynamic analysis of software systems with an emphasis on program comprehension for many years.
  • At Concordia, he leads a research group that investigates techniques and tools to help software engineers understand the behavioural aspects of large and complex software systems through the study of their execution traces.
  • His research contributions resulted in many published articles that have been cited extensively in the literature. He is also the leader of an international workshop on the topic co-located with the prestigious Working Conference on Reverse Engineering (WCRE).
Béchir Ktari, Ph.D.
Laval University
  • Associate professor at Laval University in the Department of Computer Science and Software Engineering, active in the area of computer security and program analysis.
  • Since 2003, he has conducted many research activities related to various aspects of software engineering including program specification and verification, logics, programming languages and network security.
  • Established many joint projects with different partners in important Canadian establishments such as Defense R&D Canada at Valcartier, and the Communications Research Centre (CRC) at Ottawa.
  • He is also affiliated with the Languages, Semantics and Formal Methods (LSFM) research group at Laval University which is an important structure containing 8 professors and more than 30 students working on different subjects related to security and formal methods.
  • His research outputs that are directly relevant to this proposal include the use of algebraic approaches for program analysis, intrusion detection tools and a 3-valued modal logic for program verification.
Timothy C. Lethbridge, Ph.D.
University of Ottawa
  • Professor of Software Engineering and Computer Science at the University of Ottawa.
  • Since 1994 he has conducted research into various aspects of software engineering including modelling, tools, program comprehension, usability, metrics, professionalism and education.
  • Collaborated with companies such as Mitel, QNX, Nortel and, most recently, IBM.
  • His work most directly relevant to this proposal includes research into the exploration of dynamic information, trace summarization and metamodelling for traces. He is author of a software engineering textbook used around the world.
  • He is in charge of the Software Engineering program at the University of Ottawa and receives reduced teaching load to compensate.
Robert Roy, Ph.D.
École Polytechnique (DORSAL Lab)
  • Professor at Ecole Polytechnique in the Computer and Software Engineering Department
  • Specialized in high performance computing. He has collaborated to the development of the software toolchain DRAGON/DONJON, used world-wide to solve nuclear engineering problems.
  • Interested in a wide range of parallel applications, his group has also been involved in the development of various tools (e.g. P-OORT, MPI2XML, AdelieLinux).


Dominique Toupin, M.A.Sc.

Mario Couture
Defence R & D Canada

Robert Charpentier
Defence R & D Canada


Yannick Brosseau, ing., M.Sc.A.
Research Associate

Matthew Khouzam, M.Eng.
Research Associate

Ph.D. Students

Masoume Jabbarifar, Polytechnique
Alireza Shameli-Sendi, Polytechnique
Douglas Santos, Polytechnique
Hicham Khadiri, Polytechnique

M.A.Sc. Students

Michael Sills-Lavoie, Polytechnique
Alexandre Montplaisir, Polytechnique
Rafik Fahem, Polytechnique
Julien Desfossez, Polytechnique
David Goulet, Polytechnique
Waseem Fadel, Concordia University
Hashem Mohamed-Waly, Laval University
Hamoud Aljamaan, University of Ottawa


Jacques Arnoux, Polytechnique, winter 2010-...
Alexis Hallé, Polytechnique, summer 2010
Oussama El-Mfadli, Polytechnique summer 2010

Previous Students

Benjamin Poirier, M.A.Sc., Polytechnique
Mathieu Desnoyers, Ph.D., Polytechnique
Gabriel Matni, M.A.Sc., Polytechnique
Pierre-Marc Fournier, M.A.Sc., Polytechnique
Michael Sills-Lavoie, intern summer 2009, Polytechnique
Simon Marchi, intern summer 2009, Polytechnique
Philippe Proulx, intern summer 2009, Polytechnique