Stefan Monnier
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt office 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
Affiliations
- Membre – LTP — Laboratoire de Traitement Parallèle
Education Programs
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences Health Sciences Life Sciences
- Fundamental and Applied Sciences Health Sciences Life Sciences
- University Preparatory Programs
- Fundamental and Applied Sciences Information and Communication Technologies
Courses
- IFT2035 Concepts des langages de programmation
- IFT2035 Concepts des langages de programmation
- IFT6172 Sémantique des langages de programmation
Areas of Expertise
- Proof assistants
- Compiling
- Memory management
- Functional programming
- Type system
- Dependent type
- Computer security
- Functional programming language
I'm interested in pushing the limits of strongly typed programming languages so as to be able to use in circumstances where they are currently inapplicable. For example, designing advanced type systems that make it possible to write secure low-level code such as automatic memory management. More generally I'm interested in type systems that enable the programmer to explain to the compiler, via type annotations, why his program is correct.
Student supervision Expand all Collapse all
Amélioration des messages d'erreurs Typer par algorithme génétique
Thèses et mémoires dirigés
/
2023
-
2023
Gestion manuelle et sécuritaire de la mémoire en Typer
Thèses et mémoires dirigés
/
2023
-
2023
Computation over partial information : a principled approach to accurate partial evaluation
Thèses et mémoires dirigés
/
2022
-
2022
Développement d’un serveur LSP pour Typer
Thèses et mémoires dirigés
/
2022
-
2022
Graduate : Soilihi, Ben Soilihi Boina
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : 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
Implémentation d'un langage fonctionnel orienté vers la méta programmation
Thèses et mémoires dirigés
/
2017
-
2017
Abitbol : un langage sur mesure pour la métaprogrammation
Thèses et mémoires dirigés
/
2016
-
2016
Graduate : Archambault-Bouffard, Vincent
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
A Compiler for the dependently typed language Beluga
Thèses et mémoires dirigés
/
2012
-
2012
Graduate : Ferreira Ruiz, Francisco
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : 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
A Type-Preserving Compiler from System F to Typed Assembly Language
Thèses et mémoires dirigés
/
2010
-
2010
Graduate : Guillemette, Louis-Julien
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : 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
Conception d'un langage de programmation pour applications distribuées
Thèses et mémoires dirigés
/
2006
-
2006
Research projects Expand all Collapse all
Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2018 - 2026
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
Fondements logiques pour la meta-programmation avec typage sur Projet de recherche au Canada / 2021 - 2024
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)
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2020 - 2021
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
TYPER : A LISP APPROACH TO DEPENDENT TYPES Projet de recherche au Canada / 2012 - 2019
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
Additional Information
Browse this profile on: