Passer au contenu

/ Department of Computer Science and Operations Research

Je donne

Rechercher

Stefan Monnier

Vcard

Professeur agrégé

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

André-Aisenstadt office 2341

stefan.monnier@umontreal.ca

514 343-6111 #30437

Courriels

monnier@iro.umontreal.ca (Travail)

Travail 1 : 514 343-6111 #47617

Education Programs

  • Fundamental and Applied Sciences Information and Communication Technologies
  • Information and Communication Technologies Fundamental and Applied Sciences
  • Fundamental and Applied Sciences Information and Communication Technologies
  • Fundamental and Applied Sciences
  • Fundamental and Applied Sciences
  • Fundamental and Applied Sciences
  • Fundamental and Applied Sciences
  • Health Sciences Life Sciences Fundamental and Applied Sciences

Courses

  • IFT2035 Concepts des langages de programmation

Areas of 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.

Student supervision Expand all Collapse all

Implémentation d'un langage fonctionnel orienté vers la méta programmation Thèses et mémoires dirigés / 2017 - 2017
Graduate : Delaunay, Pierre
Cycle : Master's
Grade : M. Sc.
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.
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.
Simulateur compilé d’une description multi-langage des systèmes hétérogènes Thèses et mémoires dirigés / 2011 - 2011
Graduate : Dubois, Mathieu
Cycle : Doctoral
Grade : Ph. D.
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.
Inférence statique et par contraintes des relations de composition dans des programmes Java Thèses et mémoires dirigés / 2009 - 2009
Graduate : Habti, Norddin
Cycle : Master's
Grade : M. Sc.
Conception d'un langage de programmation pour applications distribuées Thèses et mémoires dirigés / 2006 - 2006
Graduate : Germain, Guillaume
Cycle : Master's
Grade : M. Sc.

Research projects Expand all Collapse all

Typer: An exocompiler to program with dependent types Projet de recherche au Canada / 2018 - 2024

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

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: