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
• Fall ‘25 CS5770 Topic in Neurosymbolic Programming