Michalis Famelis
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt office 2343
Courriels
famelis@iro.umontreal.ca (Travail)
Web : LinkedIn
Web : Compte Twitter
Web : Google Scholar
Web : Autre site web
Research recruitment
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.
Education Programs
- Humanities Fundamental and Applied Sciences Environment and Sustainable Development
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Arts and Music Literature and Languages Fundamental and Applied Sciences Social Sciences
- Humanities Social Sciences
- Fundamental and Applied Sciences Health Sciences Life Sciences
- Fundamental and Applied Sciences Health Sciences Life Sciences
- University Preparatory Programs
- Information and Communication Technologies Fundamental and Applied Sciences
Courses
- IFT1025 Programmation 2
- IFT6755 Analyse du logiciel
Areas of Expertise
- Software analysis
- Software design
- Empirical software engineering
- Model-driven engineering
- Software Product Line Engineering
- Formal methods
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.
Student supervision Expand all Collapse all
Articulating design-time uncertainty with DRUIDE
Thèses et mémoires dirigés
/
2021
-
2021
Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
Thèses et mémoires dirigés
/
2020
-
2020
Programming tools for intelligent systems
Thèses et mémoires dirigés
/
2020
-
2020
Towards using fluctuations in internal quality metrics to find design intents
Thèses et mémoires dirigés
/
2020
-
2020
Modelling and Reasoning with Software Product Lines with Design Choices
Thèses et mémoires dirigés
/
2019
-
2019
Research projects Expand all Collapse all
A model-driven software development platform for Climate-Sensitive Infectious Disease Modelling Projet de recherche au Canada / 2023 - 2028
Lead researcher :
Marios Fokaefs
Co-researchers :
Michalis Famelis
Funding sources:
Wellcome Trust
Grant programs:
Lightweight Formal Support for Software Design Projet de recherche au Canada / 2017 - 2025
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
Conception d’analytique avancée à la Banque Nationale (BNC) Projet de recherche au Canada / 2020 - 2022
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
Supplément COVID-19 CRSNG_Lightweight Formal Support for Software Design Projet de recherche au Canada / 2020 - 2021
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
Publications Expand all Collapse all
- Les publications de Michalis Famelis, sont disponibles ici :https://michalis.famelis.info/publications/
News
- Des parasites génétiques en action dans le développement du système immunitaire?
- Une rentrée tout sourire à l’UdeM!
- La Société royale du Canada compte neuf nouveaux membres de l'UdeM dans ses rangs
- Les élections américaines 2024: nos experts
- Victor Ferreira: passer le relais
- L’énigme des invasions mongoles au Japon
- Décès liés à la drogue: le Québec est-il entré dans une nouvelle ère?
- Comment optimiser ses apprentissages?
- Louise Béliveau et Michel Carrier nommés officiers émérites
- Alexandre David. D'une place à une autre
- Quoi de neuf à l’UdeM cette semaine?
- Aux abords des chantiers: prudence!
- Appel de candidatures: résidence de recherche-création en intelligence artificielle
- Pour éviter les soucis de TI…
- Comment concevoir et animer un cours en mode hybride?
- La rentrée du recteur Daniel Jutras
- Six lauréats de la bourse Loran choisissent l’Université de Montréal
- Enseigner la culture et la citoyenneté québécoises au secondaire
- Christophe Tanguay-Sabourin et Guillaume Flé, lauréats d’un prix Relève étoile – août 2024
- Quel avenir pour la recherche universitaire?
- Programme de médecine vétérinaire à Rimouski: pour mieux répondre à la demande en région
- Deux étudiantes accueillies dans la cohorte pionnière en médecine vétérinaire à Rimouski
- Hélène Lardé: à la découverte du Bas-Saint-Laurent
- Chantiers sur le campus de la montagne: ce qui vous attend à la rentrée
- Diabète de type 2: lumière sur les mécanismes cellulaires de la résistance à l'insuline
- Josette Noël, une secrétaire de faculté d’expérience
- Retour en images sur les collations des grades 2024
- Myriam Verge Delisle, grande amoureuse des animaux
- John Chan reçoit une médaille d’excellence en recherche
- Kamila Szczur, déterminée dans l’adversité
- Jérôme Leclerc-Loiselle: user de créativité dans les soins infirmiers de fin de vie
- Comité de développement médical: un projet étudiant qui favorise les apprentissages
- Savannah Hamaoui, bachelière en enseignement du français au secondaire
- Jean-Michel Cousineau: un mentor pour ses doctorantes et doctorants
- Clara Thériault: quand ambition et engagement se conjuguent!
- Marie-Julie Béliveau, directrice de doctorat en série
- Alexandra Zidenberg: plonger dans les profondeurs de la psyché humaine
- Le Temple de la renommée médicale canadienne récompense Maxine Joly-Chevrier
- L’UdeM décerne un doctorat honorifique à trois éminentes personnalités
- Ce que disent nos empreintes numériques sur nos comportements
- Argilos: trois décennies de fouilles et de découvertes archéologiques… et ça continue!
- Mieux comprendre le mouvement pour remporter une grande victoire
- Sylvie Nadeau reçoit le Prix de carrière de la SCB
- Clôture par la Campagne campus d’une année de générosité exceptionnelle: 6,6 M$ amassés
- Flexibilité au travail: bonne ou pas pour retenir les employés?
- Comment écrire une partition pour de la musique électronique?
- Un premier programme canadien de formation «Une seule santé» sur les zoonoses émergentes
- Un colloque international explore les relations entre les religions et la COVID-19
- Les passions d’Anaïs
- L’écologie au cœur des projets d’aménagement
- Cancers pédiatriques: de bonnes habitudes de vie comme baume
- Le sport: un atout pour la réussite scolaire
- Un leadership tout sauf nanométrique pour Delphine Bouilly
- Suivre la piste des Iroquoiens en Outaouais
- Étudier l’incidence des rituels funéraires en présentiel et en virtuel sur le deuil
- Prolongation du financement pour l’Observatoire du Mont-Mégantic de l’UdeM
- Une approche permet l’identification d’un marqueur potentiel pour les cancers ovariens
- Inspirer les jeunes des communautés noires
- Des étudiants de l’UdeM à la recherche des traces du passé des Mayas, au Guatemala
- Contrer la désinformation au moyen de l’intelligence artificielle
Browse this profile on: