Courses

• 2024-25 Semester 1: COL 876: Special Topics in Formal Methods
• 2024-25 Semester 2: COL 750: Foundations of Automatic Verification
• 2025-25 Semester 1: COL1000 it is. Webpage is hosted on Moodle. Please refer to COL 1000: Lab and Lecture Sections