teaching

The more you teach, the better you learn.

Recent and Upcoming Courses:

• Fall ‘24: CS5733 Program Synthesis
• Spring ‘25 CS6410 Software Verification
• Spring ‘25 CS1023 Software Development Fundamentals