
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
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
Unités de recherche
Membre
- Membre du McGill's Computation and Logic (Complogic) Group
Enseignement et encadrement
Enseignement
Cours siglés (session en cours uniquement)
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
Encadrement
Thèses et mémoires dirigés (dépôt institutionnel Papyrus)
Quotient Types in Typer
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Amélioration des messages d'erreurs Typer par algorithme génétique
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion manuelle et sécuritaire de la mémoire en Typer
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d’un serveur LSP pour Typer
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implémentation d'un langage fonctionnel orienté vers la méta programmation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Abitbol : un langage sur mesure pour la métaprogrammation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
A Compiler for the dependently typed language Beluga
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
Cycle : Doctorat
Diplôme obtenu : Ph. D.
A Type-Preserving Compiler from System F to Typed Assembly Language
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Inférence statique et par contraintes des relations de composition dans des programmes Java
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Conception d'un langage de programmation pour applications distribuées
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets
Projets de recherche
Typer: An exocompiler to program with dependent types
Fondements logiques pour la meta-programmation avec typage sur
Supplément COVID-19 CRSNG_Typer: An exocompiler to program with dependent types
TYPER : A LISP APPROACH TO DEPENDENT TYPES
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.