Teaching
Collection of Courses Taught & Assisted
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