teaching
The more you teach, the better you learn.
-- Richard P. Feynman
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