Passer au contenu

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

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

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 pures et sciences appliquées Sciences de la santé Sciences de la vie
  • Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie
  • Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie
  • Maîtrise en informatique – Technologies de l'information (TIC) Sciences pures et sciences appliquées

Cours donnés

  • IFT1015 Programmation 1
  • 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

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

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

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

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 :