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.

My research interests include, among others, automated software engineering. I am particularly interested in model transformations learning from examples using evolutionary approaches. I also work on reverse engineering (comprehension) and reengineering (refactoring, migration to component-based software, etc.) of software using static and dynamic analysis. My concerns also include visualization of large sets of multidimensional data for software comprehension and maintenance.