This page contains links to websites for courses I’ve taught in the past. I maintain these links so that both students and the public can learn from my course materials. However, I don’t update course websites after the term ends, so some older materials may be out of date.
All courses from Fall 2021 onward are held at St. Francis Xavier University. The course in Winter 2019 was held at Queen’s University. The course in Spring 2017 was held at the University of Waterloo.
2023–2024
- CSCI 356: Theory of Computing (Fall 2023)
- CSCI 541: Theory of Computing (Fall 2023)
- CSCI 355: Algorithm Design and Analysis (Winter 2024)
- CSCI 544: Computational Logic (Winter 2024)
2022–2023
- CSCI 356: Theory of Computing (Fall 2022)
- CSCI 541: Theory of Computing (Fall 2022)
- CSCI 550: Approximation Algorithms (Fall 2022)
- CSCI 355: Algorithm Design and Analysis (Winter 2023)
- CSCI 435: Algorithms and Complexity (Winter 2023)
- CSCI 544: Computational Logic (Winter 2023)
2021–2022
- CSCI 356: Theory of Computing (Fall 2021)
- CSCI 541: Theory of Computing (Fall 2021)
- CSCI 550: Approximation Algorithms (Fall 2021)
- CSCI 355: Algorithm Design and Analysis (Winter 2022)
- CSCI 544: Computational Logic (Winter 2022)
- CSCI 554: Matrix Computation (Winter 2022)
2018–2019
- CISC 203: Discrete Mathematics for Computing II (Winter 2019)
2016–2017
- CS 240: Data Structures and Data Management (Spring 2017)