
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
Profile
Research expertise
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.
For more information…
Affiliations and responsabilities
Research affiliations
Research units
Membre
- Membre du McGill's Computation and Logic (Complogic) Group
Teaching and supervision
Teaching
Courses taught (current session only)
Programs
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 117540 – Mineure en informatique
- 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
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
Amélioration des messages d'erreurs Typer par algorithme génétique
Cycle : Master's
Grade : M. Sc.
Gestion manuelle et sécuritaire de la mémoire en Typer
Cycle : Master's
Grade : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation
Cycle : Master's
Grade : M. Sc.
Développement d’un serveur LSP pour Typer
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
Cycle : Master's
Grade : M. Sc.
Implémentation d'un langage fonctionnel orienté vers la méta programmation
Cycle : Master's
Grade : M. Sc.
Abitbol : un langage sur mesure pour la métaprogrammation
Cycle : Master's
Grade : M. Sc.
A Compiler for the dependently typed language Beluga
Cycle : Master's
Grade : M. Sc.
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
Cycle : Doctoral
Grade : Ph. D.
A Type-Preserving Compiler from System F to Typed Assembly Language
Cycle : Doctoral
Grade : Ph. D.
Inférence statique et par contraintes des relations de composition dans des programmes Java
Cycle : Master's
Grade : M. Sc.
Conception d'un langage de programmation pour applications distribuées
Cycle : Master's
Grade : M. Sc.
Projects
Research projects
Typer: An exocompiler to program with dependent types
Fondements logiques pour la meta-programmation avec typage sur
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types
TYPER : A LISP APPROACH TO DEPENDENT TYPES
Disciplines
- Computer Science
Areas of expertise
- Proof assistants
- Compiling
- Memory management
- Functional programming
- Type system
- Dependent type
- Computer security
- Functional programming language