Generate a tailored SOP for Dr. Michalis Famelis. Improve your application with a focused, well-structured draft.
Michalis Famelis is an assistant professor in the Department of Computer Science and Operations Research at the Université de Montréal, where he conducts research on formal methods in software engineering. He is the lead researcher of the GEODES Software Engineering Research Group, focusing on developing formal practical techniques for software engineering. His work integrates disciplines such as formal verification, model-based engineering, and empirical methods to create innovative techniques that utilize domain-specific abstractions supported by rigorous automation. Famelis is actively involved in various research projects, including model-driven software development and the analysis of software design, and he encourages motivated students to contact him for collaboration on research ideas. He supervises theses and is engaged in the mentoring of graduate students at both the master's and doctoral levels, guiding them through complex topics in software engineering.
Université de Montréal • Montréal, QC, Canada
Teaching and conducting research in software engineering, focusing on formal methods and model-driven engineering.
Department of Pharmacology and Physiology - Research intensive with options in Neuropharmacology and Pharmacogenomics.