Passer au contenu

/ La recherche

Je donne

Rechercher

Sciences naturelles et génie

Michalis Famelis

Professeur agrégé

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

André-Aisenstadt, local 2343

514 343-6111 #25835

michalis.famelis@umontreal.ca

Autre courriel : famelis@iro.umontreal.ca (Travail)

Portrait

Expertise de recherche

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.

Affiliations et responsabilités

Enseignement et encadrement Ce professeur recrute

Recrutement en recherche Ce professeur recrute

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.

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2021

Articulating design-time uncertainty with DRUIDE

Diplômé(e) : Dhaouadi, Mouna
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2020

Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil

Diplômé(e) : Raelijohn, Erick F.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2020

Programming tools for intelligent systems

Diplômé(e) : Considine, Breandan
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2020

Towards using fluctuations in internal quality metrics to find design intents

Diplômé(e) : Schweizer, Thomas
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2019

Modelling and Reasoning with Software Product Lines with Design Choices

Diplômé(e) : Kaur, Navpreet
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Projets

Projets de recherche

2023 - 2028

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

Chercheur principal : Marios Fokaefs
Co-chercheurs : Michalis Famelis
Sources de financement : Wellcome Trust
Programmes de subvention :
2017 - 2025

Lightweight Formal Support for Software Design

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
2020 - 2022

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

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
2020 - 2021

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

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

Rayonnement

Publications et communications

Publications

Disciplines

  • Génie informatique et génie logiciel
  • Informatique

Champ d’expertise

  • 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

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