Teaching
Course materials, schedules, and resources for classes taught.
This page displays a collection of courses with detailed schedules, materials, and resources. You can organize your courses by years, terms, or topics.
Upcoming Events
2024
COMS 6998: Generative Models for Code
Program Synthesis, Code LLMs, Neurosymbolic AI
2023
COMS 4115: Programming Languages & Translators
Programming language design, compilers, and translators
CSEE 6863: Formal Verification
Formal methods for hardware and software verification