Research

• Software Correctness and Safety Research Laboratory
• The Logic and Foundations of Computing Group
• Two-Level Hybrid in Coq
• Publication List

Professional

• Treasurer, ACM Special Interest Group on Logic and Computation (SIGLOG)
• Journal of Automated Reasoning: Member of Editorial Board
• Journal of Applied Logic: Area Editor for Tactical Theorem Proving and Proof Planning, Elsevier
• IfCoLog Journal of Logics and their Applictions: Member of Editorial Board
• PeerJ Computer Science: Academic Editor: in Theory & Formal Methods and Programming Languages

Current Year Courses

• CSI 4900 Projets de recherche/Honours Project, Fall 2019 and Winter 2020
• CSI 3120 Programming Language Concepts, Fall 2019
• CSI 3520 Concepts des langages de programmation, Automne 2019
• CSI 3104 Introduction to Formal Languages, Winter 2020

Other Recent Courses

• CSI 5137 Software Foundations, Fall 2018
• CSI 5110 Principles of Formal Software Development, Fall 2016
• CSI 4125 Theory of Programming Languages, Winter 2008
• CSI 3504 Introduction aux langages formels, Hiver 2017
• SEG 2105 Introduction to Software Engineering, Winter 2010
• CSI 2120 Programming Paradigms, Winter 2011
• CSI 2520 Paradigmes de programmation, Hiver 2012
• ITI 1120 Introduction to Computing I, Winter 2008