Passer au contenu

/ La recherche

Je donne

Rechercher

Natural Sciences and Engineering

Michalis Famelis

Professeur agrégé

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

André-Aisenstadt, room 2343

514 343-6111 #25835

michalis.famelis@umontreal.ca

Secondary email: famelis@iro.umontreal.ca (Travail)

Profile

Research expertise

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.

Affiliations and responsabilities

Teaching and supervision Currently recruiting

Recruitment in research Currently recruiting

For prospective students

I am always looking for motivated people to work with. Before contacting me, please see my research interests and current projects, as well as my previous work. I also welcome well thought-out research ideas and would be very happy to discuss, provided you send me specifics.

  • In DIRO, MSc admissions are administered centrally. Click here to find out how to apply.
  • If you want to work with me at the PhD level, please send me your CV, any publications, and a brief note explaining why you want to work with me specifically. Click here to find out more information. Especially, look at the Predoc general exam.

In any case, make sure to take your own inquiry seriously. I do not respond to any inquiry that reads like a copy-paste boilerplate.

UdeM is a francophone institution but graduate studies can also be done in English. Regardless, if you work with me, I will strongly encourage you to try to improve your French, e.g., via the Centre d’aide en français.

To show me you have actually taken the time to read this page, include the string “[Luthadel]” (without the quotation marks) at the subject line of your email.

Student supervision

Theses and dissertation supervision (Papyrus Institutional Repository)

2021

Articulating design-time uncertainty with DRUIDE

Graduate : Dhaouadi, Mouna
Cycle : Master's
Grade : M. Sc.
2020

Programming tools for intelligent systems

Graduate : Considine, Breandan
Cycle : Master's
Grade : M. Sc.
2020

Towards using fluctuations in internal quality metrics to find design intents

Graduate : Schweizer, Thomas
Cycle : Master's
Grade : M. Sc.
2019

Modelling and Reasoning with Software Product Lines with Design Choices

Graduate : Kaur, Navpreet
Cycle : Master's
Grade : M. Sc.

Projects

Research projects

2023 - 2028

A model-driven software development platform for Climate-Sensitive Infectious Disease Modelling

Lead researcher : Marios Fokaefs
Co-researchers : Michalis Famelis
Funding sources: Wellcome Trust
Grant programs:
2017 - 2025

Lightweight Formal Support for Software Design

Lead researcher : Michalis Famelis
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2020 - 2022

Conception d’analytique avancée à la Banque Nationale (BNC)

Lead researcher : Michalis Famelis
Funding sources: MITACS Inc. , MITACS Inc.
Grant programs: PVXXXXXX-Stage Accélération Québec - MITACS , PVXXXXXX-Stage Accélération Québec - MITACS
2020 - 2021

Supplément COVID-19 CRSNG_Lightweight Formal Support for Software Design

Lead researcher : Michalis Famelis
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19

Outreach

Publications and presentations

Publications

Disciplines

  • Computer Engineering and Software Engineering
  • Computer Science

Areas of expertise

  • Software analysis
  • Software design
  • Empirical software engineering
  • Model-driven engineering
  • Software Product Line Engineering
  • Formal methods

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT