Recent Courses

CS:2230 Computer Science II: Data Structures Spring 2025, Spring 2023

CS:4350 Logic in Computer Science Spring 2022, Spring 2021

CS:4980 Introduction to Automated Reasoning Spring 2024

CS:4980 Foundations of Embedded Systems Spring 2026, Spring 2020

CS:5810 Formal Methods in Software Engineering Fall 2025, Fall 2023