Stefan Monnier

Professeur agrégé

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

André-Aisenstadt local 2341

stefan.monnier@umontreal.ca

514 343-6111 #30437

monnier@iro.umontreal.ca (Travail)

Travail 1 : 514 343-6111 #47617

Web : CV en anglais

Web : Autre site web

Affiliations

Membre – LTP — Laboratoire de Traitement Parallèle

Programmes d’enseignement

Baccalauréat en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
Majeure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
Mineure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
Maîtrise en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)

Cours donnés

IFT2035 Concepts des langages de programmation
IFT6172 Sémantique des langages de programmation

Expertises

Recherche sur la théorie et l'implantation des langages de programmation, principalement dans le but d'augmenter la fiabilité et la sécurité des programmes.

Encadrement Tout déplier Tout replier

Quotient Types in Typer Thèses et mémoires dirigés / 2024 - 2024

Diplômé(e) : Tan, James Juan Whei
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Amélioration des messages d'erreurs Typer par algorithme génétique Thèses et mémoires dirigés / 2023 - 2023

Diplômé(e) : Fall, Ismaïla
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Gestion manuelle et sécuritaire de la mémoire en Typer Thèses et mémoires dirigés / 2023 - 2023

Diplômé(e) : Génier, Simon
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Computation over partial information : a principled approach to accurate partial evaluation Thèses et mémoires dirigés / 2022 - 2022

Diplômé(e) : Sabourin, Ian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Développement d’un serveur LSP pour Typer Thèses et mémoires dirigés / 2022 - 2022

Diplômé(e) : Soilihi, Ben Soilihi Boina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

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

Diplômé(e) : Barszcz, Jean-Alexandre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Implémentation d'un langage fonctionnel orienté vers la méta programmation Thèses et mémoires dirigés / 2017 - 2017

Diplômé(e) : Delaunay, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Abitbol : un langage sur mesure pour la métaprogrammation Thèses et mémoires dirigés / 2016 - 2016

Diplômé(e) : Archambault-Bouffard, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

A Compiler for the dependently typed language Beluga Thèses et mémoires dirigés / 2012 - 2012

Diplômé(e) : Ferreira Ruiz, Francisco
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Simulateur compilé d’une description multi-langage des systèmes hétérogènes Thèses et mémoires dirigés / 2011 - 2011

Diplômé(e) : Dubois, Mathieu
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

A Type-Preserving Compiler from System F to Typed Assembly Language Thèses et mémoires dirigés / 2010 - 2010

Diplômé(e) : Guillemette, Louis-Julien
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Inférence statique et par contraintes des relations de composition dans des programmes Java Thèses et mémoires dirigés / 2009 - 2009

Diplômé(e) : Habti, Norddin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Conception d'un langage de programmation pour applications distribuées Thèses et mémoires dirigés / 2006 - 2006

Diplômé(e) : Germain, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Projets de recherche Tout déplier Tout replier

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

Chercheur principal : Stefan Monnier

Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)

Programmes de subvention : 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

Chercheur principal : Brigitte Pientka

Co-chercheurs : Stefan Monnier

Sources de financement : FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)

Programmes de subvention : 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

Chercheur principal : Stefan Monnier

Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)

Programmes de subvention : PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19