Toggle navigation
Home
Research
Teaching
Students
Publications
Service
Artifacts
Teaching
Winter 2023:
CSC2547HS: Automated Reasoning with Machine Learning
Fall 2021, 2022: COMP-597 Automated Reasoning with Machine Learning
Winter 2021, 2022: COMP-302 Programming Languages & Paradigms