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 – Environnement et développement durable Sciences humaines Sciences pures et sciences appliquées
- 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 – Technologies de l'information (TIC) Sciences pures et sciences appliquées
- 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 pures et sciences appliquées Sciences sociales Arts et musique Lettres et langues
- 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 de la vie Sciences pures et sciences appliquées Sciences de la santé
- Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
- 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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
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
Lightweight Formal Support for Software Design Projet de recherche au Canada / 2017 - 2025
Conception d’analytique avancée à la Banque Nationale (BNC) Projet de recherche au Canada / 2020 - 2022
Supplément COVID-19 CRSNG_Lightweight Formal Support for Software Design Projet de recherche au Canada / 2020 - 2021
Publications Tout déplier Tout replier
- Les publications de Michalis Famelis, sont disponibles ici :https://michalis.famelis.info/publications/
Consultez cette fiche sur :