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
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
Enseignement
Cours siglés (session en cours uniquement)
- IFT-2035 – Concepts des langages de programmation
- IFT-6172 – Sémantique des langages de programmation
Programmes
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 117540 – Mineure en informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 120510 – Baccalauréat en physique et informatique
- 120510 – Baccalauréat en physique et informatique
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
- 196710 – Programme d'accueil en sciences
- 217510 – Maîtrise en informatique
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.