Passer au contenu

/ La recherche

Je donne

Rechercher

Sciences naturelles et génie; Sciences appliquées

Stefan Monnier

Langages de programmation

Professeur agrégé

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

André-Aisenstadt, local 2341

514 343-6111 #30437

stefan.monnier@umontreal.ca

Autre numéro : 514 343-6111 #47617 (Travail 1)
Autre courriel : monnier@iro.umontreal.ca (Travail)

Portrait

Expertise de recherche

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.

Pour en savoir plus…

Affiliations et responsabilités

Affiliations de recherche

  • Membre du McGill's Computation and Logic (Complogic) Group

Enseignement et encadrement

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2023

Amélioration des messages d'erreurs Typer par algorithme génétique

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

Gestion manuelle et sécuritaire de la mémoire en Typer

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

Computation over partial information : a principled approach to accurate partial evaluation

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

Développement d’un serveur LSP pour Typer

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

Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation

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

Implémentation d'un langage fonctionnel orienté vers la méta programmation

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

Abitbol : un langage sur mesure pour la métaprogrammation

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

A Compiler for the dependently typed language Beluga

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

Simulateur compilé d’une description multi-langage des systèmes hétérogènes

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

A Type-Preserving Compiler from System F to Typed Assembly Language

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

Inférence statique et par contraintes des relations de composition dans des programmes Java

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

Conception d'un langage de programmation pour applications distribuées

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

Projets

Projets de recherche

2018 - 2025

Typer: An exocompiler to program with dependent types

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

Fondements logiques pour la meta-programmation avec typage sur

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)
2020 - 2021

Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types

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
2012 - 2019

TYPER : A LISP APPROACH TO DEPENDENT TYPES

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

Rayonnement

Publications et communications

Disciplines

  • Informatique

Champ d’expertise

  • Assistants de preuve
  • Compilation
  • Gestion de la mémoire
  • Programmation fonctionnelle
  • Système de types
  • Types dépendants
  • Sécurité informatique
  • Langages de programmation fonctionnels

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT