Michalis FamelisView profile
Assistant Professor
Michalis Famelis is an Assistant Professor at the Department of Computer Science and Operations Research , affiliated with the Faculty of Arts and Sciences at Université de Montréal . He leads research in the GEODES Software Engineering Research Group , focusing on formal yet practical methods for software development. His work integrates formal verification, model-driven engineering, and empirical methods to address challenges in software design and uncertainty management. Educated at the University of Toronto (PhD 2016, MSc 2010) and the National Technical University of Athens (DiplEng 2008), he completed a postdoctoral fellowship at the University of British Columbia . He teaches courses such as IFT1025 Programming 2 and IFT6755 Software Analysis . His research projects include a Wellcome Trust-funded platform for climate-sensitive disease modeling and CRSNG grants for formal software design support. He has supervised 6 master’s students, focusing on topics like design uncertainty, API usage verification, and software product lines. Notable collaborations involve Climate-Sensitive Infectious Disease Modelling and Formal Support for Software Design . His work emphasizes improving developer workflows through tool development and empirical studies.










