Sciences naturelles et génie; Sciences appliquées
Stefan Monnier
Langages de programmation
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, room 2341
Secondary number:
514 343-6111 #47617
(Travail 1)
Secondary email:
monnier@iro.umontreal.ca
(Travail)
Profile
Research expertise
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.
For more information…
Affiliations and responsabilities
Research affiliations
Research units
Membre
- Membre du McGill's Computation and Logic (Complogic) Group
Teaching and supervision
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
2025
Vérification automatisée de programmes impératifs dans un langage à typage dépendant
Diplômé(e) : Bernard, Maxim
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2024
Quotient Types in Typer
Diplômé(e) : Tan, James Juan Whei
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023
Amélioration des messages d'erreurs Typer par algorithme génétique
Diplômé(e) : Fall, Ismaïla
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023
Gestion manuelle et sécuritaire de la mémoire en Typer
Diplômé(e) : Génier, Simon
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2022
Computation over partial information : a principled approach to accurate partial evaluation
Diplômé(e) : Sabourin, Ian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2022
Développement d’un serveur LSP pour Typer
Diplômé(e) : Soilihi, Ben Soilihi Boina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2021
Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
Diplômé(e) : Barszcz, Jean-Alexandre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2017
Implémentation d'un langage fonctionnel orienté vers la méta programmation
Diplômé(e) : Delaunay, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2016
Abitbol : un langage sur mesure pour la métaprogrammation
Diplômé(e) : Archambault-Bouffard, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2012
A Compiler for the dependently typed language Beluga
Diplômé(e) : Ferreira Ruiz, Francisco
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
Diplômé(e) : Dubois, Mathieu
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2010
A Type-Preserving Compiler from System F to Typed Assembly Language
Diplômé(e) : Guillemette, Louis-Julien
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2009
Inférence statique et par contraintes des relations de composition dans des programmes Java
Diplômé(e) : Habti, Norddin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006
Conception d'un langage de programmation pour applications distribuées
Diplômé(e) : Germain, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projects
Research projects
2018
- 2026
Typer: An exocompiler to program with dependent types
Lead researcher :
Stefan Monnier
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2021
- 2024
Fondements logiques pour la meta-programmation avec typage sur
Lead researcher :
Brigitte Pientka
Co-researchers :
Stefan Monnier
Funding sources:
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Grant programs:
PV113724-(PR) Projets de recherche en équipe (et possibilité d'équipement la première année)
2020
- 2021
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types
Lead researcher :
Stefan Monnier
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
2012
- 2019
TYPER : A LISP APPROACH TO DEPENDENT TYPES
Lead researcher :
Stefan Monnier
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
Outreach
Publications and presentations
Disciplines
- Informatique
Areas of expertise
- 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
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
Formulaires, procédures et systèmes
Occasions de financement avec PIVOT
