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
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
- Information and Communication Technologies Fundamental and Applied Sciences
Courses
- 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
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Cycle : Doctoral
Grade : Ph. D.
Research projects Expand all Collapse all
Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2018 - 2026
Fondements logiques pour la meta-programmation avec typage sur Projet de recherche au Canada / 2021 - 2024
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2020 - 2021
TYPER : A LISP APPROACH TO DEPENDENT TYPES Projet de recherche au Canada / 2012 - 2019
Additional Information
Browse this profile on: