Dr. Stefan Monnier

Biography

Stefan Monnier is an Associate Professor in the Department of Computer Science and Operational Research at the University of Montreal. His research focuses on strongly typed programming languages and advanced type systems that facilitate secure low-level code and automatic memory management. Monnier's interests include designing type systems that allow programmers to communicate their intentions clearly to compilers through type annotations. He is an active member of several research units, including the Laboratoire de Traitement Parallèle and the McGill’s Computation Logic Group. In addition to his research, he supervises graduate students working on various projects related to type systems and programming languages. Monnier has led initiatives funded by major research grants, focusing on the development of an exocompiler program that utilizes dependent types. He is committed to advancing the field of functional programming and memory management and has contributed significantly to the understanding of proof assistants and related disciplines. Monnier's work is recognized for pushing the boundaries of what is currently possible in programming languages and their applications to secure software development.

Research Interests

Experience