Skip to main content
Princeton Mobile homeCourses home

Advanced Topics in Computer Science: Verification and Synthesis

COS 598A

Info tab content
This seminar explores research advances in automated reasoning with applications in formal verification and synthesis. We study recent papers from a variety of application domains - networks, distributed systems, systems-on-chip, machine learning. Students are expected to lead class discussions and do a class project of their choice.
Instructors tab content
Sections tab content

Section S01