Courses

• 2024-25 Semester 1: COL 876: Special Topics in Formal Methods
• 2024-25 Semester 2: COL 750: Foundations of Automatic Verification