Michalis Famelis
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt local 2343
Courriels
famelis@iro.umontreal.ca (Travail)
Web : LinkedIn
Web : Compte Twitter
Web : Google Scholar
Web : Autre site web
Recrutement recherche
Pour les futurs étudiants
Je suis toujours à la recherche de personnes motivées à collaborer aux niveaux des cycles supérieurs. Avant de me contacter, consultez mes intérêts de recherche et projets actuels, ainsi que mes travaux antérieurs. Je suis également ouvert aux nouvelles idées de recherche bien pensées et je serais heureux de les discuter, à condition de m’envoyer des informations précises.
- Au DIRO, les admissions MSc sont administrées centralement. Cliquez ici pour savoir comment faire une demande d’admission.
- Si vous voulez travailler avec moi au niveau PhD, envoyez-moi votre CV, vos publications (si vous en avez) et un message bref expliquant pourquoi vous souhaitez travailler avec moi spécifiquement. Cliquez ici pour avoir plus d’information sur le programme. Surtout, portez une attention particulière à l’examen général de prédoc.
Assurez-vous de prendre votre propre demande au sérieux. Je ne réponds à aucune demande qui se lit comme un copier-coller de texte générique.
Pour me montrer que vous avez pris le temps de lire cette page, insérez le string “[Luthadel]” (sans les guillemets) dans le sujet de votre message.
Programmes d’enseignement
- Baccalauréat en géographie environnementale – Sciences humaines Sciences pures et sciences appliquées Environnement et développement durable
- Baccalauréat en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Majeure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Mineure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Baccalauréat en mathématiques – Sciences pures et sciences appliquées
- Majeure en mathématiques – Sciences pures et sciences appliquées
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Baccalauréat en neuroscience cognitive – Sciences sociales Arts et musique Lettres et langues Sciences pures et sciences appliquées
- Microprogramme de 1er cycle en analyse des mégadonnées en sciences humaines et sociales – Sciences humaines Sciences sociales
- Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie
- Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie
- Programme d'accueil en sciences – Préparation aux études universitaires
- Maîtrise en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
Cours donnés
- IFT1025 Programmation 2
- IFT6755 Analyse du logiciel
Expertises
- Analyse de logiciels
- Conception de logiciels
- Génie logiciel empirique
- Ingénierie dirigée par les modèles
- Lignes des produits logiciels
- Méthodes formelles
Je suis professeur adjoint au Département d’informatique et de recherche opérationnelle à l’Université de Montréal, où je travaille pour GEODES, le groupe de recherche en génie logiciel (en savoir plus).
Je travaille à créer des techniques et des méthodes formelles tout en étant pratiques pour l’ingénierie du logiciel. Pour ce faire, je m’inspire de disciplines telles que la vérification formelle, l’ingénierie dirigée par les modèles et les méthodes empiriques. J'étudie le contexte du développement du logiciel et je crée de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.
Encadrement Tout déplier Tout replier
Articulating design-time uncertainty with DRUIDE
Thèses et mémoires dirigés
/
2021
-
2021
Diplômé(e) : Dhaouadi, Mouna
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
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
Diplômé(e) : Raelijohn, Erick F.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Programming tools for intelligent systems
Thèses et mémoires dirigés
/
2020
-
2020
Diplômé(e) : Considine, Breandan
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Towards using fluctuations in internal quality metrics to find design intents
Thèses et mémoires dirigés
/
2020
-
2020
Diplômé(e) : Schweizer, Thomas
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modelling and Reasoning with Software Product Lines with Design Choices
Thèses et mémoires dirigés
/
2019
-
2019
Diplômé(e) : Kaur, Navpreet
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets de recherche Tout déplier Tout replier
A model-driven software development platform for Climate-Sensitive Infectious Disease Modelling Projet de recherche au Canada / 2023 - 2028
Chercheur principal :
Marios Fokaefs
Co-chercheurs :
Michalis Famelis
Sources de financement :
Wellcome Trust
Programmes de subvention :
Lightweight Formal Support for Software Design Projet de recherche au Canada / 2017 - 2025
Chercheur principal :
Michalis Famelis
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
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
Chercheur principal :
Michalis Famelis
Sources de financement :
MITACS Inc.
,
MITACS Inc.
Programmes de subvention :
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
Chercheur principal :
Michalis Famelis
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
Publications Tout déplier Tout replier
- Les publications de Michalis Famelis, sont disponibles ici :https://michalis.famelis.info/publications/
Nouvelles
- 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
Consultez cette fiche sur :