Introduction

Montréal is the largest city in the Canadian province of Québec and the second-largest city in Canada. It is the second-largest primarily French-speaking city in the world, after Paris. The official language of Montreal is French, as defined by the city's charter, yet most of its citizen are bilingual and it is always possible to study, work, and enjoy Montréal in English.

Concordia University, École Polytechnique de Montréal, McGill University, Université de Montréal, and Université du Québec à Montréal are the five international-renowned universities implanted in Montréal. These universities welcome every year more than 50,000 students from more than 150 countries.

International experts and renowned professors carry out research in software engineering in the five universities. They teach and perform research on various subjects from search-base software engineering to empirical studies in software engineering to algorithms for lattices and partial orders.

If you are interested by pursuing graduate studies in software engineering, feel free to contact the professor(s) working in your area of interests!

Professors

Full Professor Giuliano Antoniol SOCCER Lab. Search-based software engineering Software evolution and maintenance Reverse engineering, static code analysis Empirical software studies Software quality assurance

Associate Professor Hanifa Boucheneb CE and SE Department Petri nets Verification and validation Model checking Continuous/Discrete systems Security

Associate Professor Michel Desmarais CE and SE Department Student and user modeling User-centered software engineering Human-Computer Interaction Artificial Intelligence Probabilistic modeling Recommender interfaces

Associate Professor Yann-Gaël Guéhéneuc Ptidej Team Design defects Design patterns Evolution Patterns Feature identification Program comprehension

Full Professor Ettore Merlo CE and SE Department Reverse engineering Secutity analyses

Associate Professor John Mullins CRAC Lab. Calculi for concurrent systems Applications of logic to concurrency Modal and temporal logics with fixed points Models and calculi for security Applications to verification of security

Full Professor Pierre N. Robillard SE Lab. Empirical study in software engineering Software process & software quality Simulation of complex micro-biological system

Seminars