معرفی
Stefan Monnier is an Associate Professor in the Department of Computer Science and Operations Research at the University of Montreal's Faculty of Arts and Science. His office is located in room 2341 of the André-Aisenstadt building. He is an active researcher in programming language theory with numerous publications and ongoing research projects.
Dr. Monnier's primary research interests focus on pushing the limits of strongly typed programming languages to make them applicable in circumstances where they're currently inapplicable. He's particularly interested in designing advanced type systems that enable secure low-level code development, including automatic memory management. His work explores how programmers can explain program correctness to compilers through type annotations. He's the creator of the Typer language, which combines elements of ML, Scheme, and Coq.
His recent publications (2021-2025) show a consistent focus on dependent types, type theory, and programming language implementation. The research trends indicate a growing interest in practical applications of advanced type systems, with several papers addressing memory management challenges through type-theoretic approaches. His work bridges theoretical foundations with practical implementation concerns.
Dr. Monnier has supervised numerous graduate students, including 14 Master's students and 2 PhD students over the past two decades. His research is supported by multiple grants from NSERC and FRQNT, including the ongoing "Typer: An exocompiler to program with dependent types" project (2018-2026) and previous iterations dating back to 2012.
- Typer: An exocompiler to program with dependent types (2018-2026, NSERC)
- Fondements logiques pour la meta-programmation (2021-2024, FRQNT)
- Supplément COVID-19 CRSNG_Typer (2020-2021, NSERC)
- TYPER: A LISP APPROACH TO DEPENDENT TYPES (2012-2019, NSERC)
He is a member of the LTP (Laboratoire de Traitement Parallèle) and collaborates with the Logic and Computation group at McGill University. His work has significant connections to the Emacs community, where he previously served as a maintainer and contributed several packages now bundled with Emacs.
