Michalis Famelis
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, local 2343
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
Recrutement en 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.
Enseignement
Cours siglés (session en cours uniquement)
Programmes
- 115510 – Baccalauréat en géographie environnementale
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 117540 – Mineure en informatique
- 119010 – Baccalauréat en mathématiques
- 119020 – Majeure en mathématiques
- 119110 – Baccalauréat en mathématiques et informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 120510 – Baccalauréat en physique et informatique
- 120510 – Baccalauréat en physique et informatique
- 122012 – Baccalauréat en neuroscience cognitive
- 124161 – Microprogramme de 1er cycle en analyse des mégadonnées en sciences humaines et sociales
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
- 196710 – Programme d'accueil en sciences
- 217510 – Maîtrise en informatique
Encadrement
Thèses et mémoires dirigés (dépôt institutionnel Papyrus)
Articulating design-time uncertainty with DRUIDE
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Programming tools for intelligent systems
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Towards using fluctuations in internal quality metrics to find design intents
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modelling and Reasoning with Software Product Lines with Design Choices
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets
Projets de recherche
A model-driven software development platform for Climate-Sensitive Infectious Disease Modelling
Lightweight Formal Support for Software Design
Conception d’analytique avancée à la Banque Nationale (BNC)
Supplément COVID-19 CRSNG_Lightweight Formal Support for Software Design
Rayonnement
Publications et communications
Publications
- Les publications de Michalis Famelis, sont disponibles ici :https://michalis.famelis.info/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.