Current/Forthcoming Courses

• CPSC 410 - Advanced Software Engineering (2020/2021 Winter Term 1)
• CPSC 539S Program Verifiers and Program Verification (2020/2021 Winter Term 2)

Previously @ UBC Computer Science

• CPSC 410 - Advanced Software Engineering (2020 Summer Term 1)

Previously @ ETH Zurich, Switzerland

• Program Verification (Spring Semesters 2017, 2018, 2019)
• Formal Methods and Functional Programming (Spring Semester 2013)

Tutorials etc.

• Prusti - Deductive Verification for Rust (FTfJP, July 2020)
• Viper for Verifying This (VerifyThis 2018, April 2018)
• Deductive Verification Tools (Dagstuhl Seminar, May 2016)