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
  • 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
  • Life Sciences Fundamental and Applied Sciences Health Sciences
  • Life Sciences Fundamental and Applied Sciences Health Sciences
  • University Preparatory Programs
  • Fundamental and Applied Sciences Information and Communication Technologies

Courses

  • IFT2035 Concepts des langages de programmation
  • IFT6172 Sémantique 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

Amélioration des messages d'erreurs Typer par algorithme génétique Thèses et mémoires dirigés / 2023 - 2023
Graduate : Fall, Ismaïla
Cycle : Master's
Grade : M. Sc.
Gestion manuelle et sécuritaire de la mémoire en Typer Thèses et mémoires dirigés / 2023 - 2023
Graduate : Génier, Simon
Cycle : Master's
Grade : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation Thèses et mémoires dirigés / 2022 - 2022
Graduate : Sabourin, Ian
Cycle : Master's
Grade : M. Sc.
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.
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
Graduate : Barszcz, Jean-Alexandre
Cycle : Master's
Grade : M. Sc.
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 - 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: