Passer au contenu

/ Département d'informatique et de recherche opérationnelle

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 local 2341

stefan.monnier@umontreal.ca

514 343-6111 #30437

Courriels

monnier@iro.umontreal.ca (Travail)

Travail 1 : 514 343-6111 #47617

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

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

Projets de recherche Tout déplier Tout replier

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

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

TYPER : A LISP APPROACH TO DEPENDENT TYPES Projet de recherche au Canada / 2012 - 2019

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

Informations supplémentaires

Consultez cette fiche sur :