Stefan Monnier
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt local 2341
Courriels
monnier@iro.umontreal.ca (Travail)
Travail 1 : 514 343-6111 #47617
Web : CV en anglais
Web : Autre site web
Web : Autre site web
Programmes d’enseignement
- Baccalauréat en informatique – Technologies de l'information (TIC) Sciences pures et sciences appliquées
- 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 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 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
- IFT2035 Concepts des langages de programmation
- IFT6172 Sémantique des langages de programmation
Expertises
- Assistants de preuve
- Compilation
- Gestion de la mémoire
- Programmation fonctionnelle
- Système de types
- Types dépendants
- Sécurité informatique
- Langages de programmation fonctionnels
Recherche sur la théorie et l'implantation des langages de programmation, principalement dans le but d'augmenter la fiabilité et la sécurité des programmes.
Encadrement Tout déplier Tout replier
Amélioration des messages d'erreurs Typer par algorithme génétique
Thèses et mémoires dirigés
/
2023
-
2023
Diplômé(e) : Fall, Ismaïla
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion manuelle et sécuritaire de la mémoire en Typer
Thèses et mémoires dirigés
/
2023
-
2023
Diplômé(e) : Génier, Simon
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation
Thèses et mémoires dirigés
/
2022
-
2022
Diplômé(e) : Sabourin, Ian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d’un serveur LSP pour Typer
Thèses et mémoires dirigés
/
2022
-
2022
Diplômé(e) : Soilihi, Ben Soilihi Boina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
Thèses et mémoires dirigés
/
2021
-
2021
Diplômé(e) : Barszcz, Jean-Alexandre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implémentation d'un langage fonctionnel orienté vers la méta programmation
Thèses et mémoires dirigés
/
2017
-
2017
Diplômé(e) : Delaunay, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Abitbol : un langage sur mesure pour la métaprogrammation
Thèses et mémoires dirigés
/
2016
-
2016
Diplômé(e) : Archambault-Bouffard, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
A Compiler for the dependently typed language Beluga
Thèses et mémoires dirigés
/
2012
-
2012
Diplômé(e) : Ferreira Ruiz, Francisco
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
Thèses et mémoires dirigés
/
2011
-
2011
Diplômé(e) : Dubois, Mathieu
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
A Type-Preserving Compiler from System F to Typed Assembly Language
Thèses et mémoires dirigés
/
2010
-
2010
Diplômé(e) : Guillemette, Louis-Julien
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Inférence statique et par contraintes des relations de composition dans des programmes Java
Thèses et mémoires dirigés
/
2009
-
2009
Diplômé(e) : Habti, Norddin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Conception d'un langage de programmation pour applications distribuées
Thèses et mémoires dirigés
/
2006
-
2006
Diplômé(e) : Germain, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets de recherche Tout déplier Tout replier
Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2018 - 2025
Chercheur principal :
Stefan Monnier
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
Fondements logiques pour la meta-programmation avec typage sur Projet de recherche au Canada / 2021 - 2024
Chercheur principal :
Brigitte Pientka
Co-chercheurs :
Stefan Monnier
Sources de financement :
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Programmes de subvention :
PV113724-(PR) Projets de recherche en équipe (et possibilité d'équipement la première année)
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2020 - 2021
Chercheur principal :
Stefan Monnier
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
TYPER : A LISP APPROACH TO DEPENDENT TYPES Projet de recherche au Canada / 2012 - 2019
Chercheur principal :
Stefan Monnier
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
Informations supplémentaires
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 :