Princeton University
Computer Science Department

COS 598A: Advanced Topics in Computer Science
Verification and Synthesis

Aarti Gupta

Spring 2024

Course Description

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, machine learning, and large language models.

Students are expected to lead in-class discussions and write an end-of-term paper (with extended literature survey and analysis) on a related topic.

General Information

Location: Mon and Wed, 3:00--4:20 PM ET, CS Building 302

Professor: Aarti Gupta (aartig), CS Building 220, 258-8017.

Office Hours: by appointment.

Graduate Coordinator: Nicki Gotsis (ngotsis), CS Building 213, 258-5387.

Resources

Reading List and Schedule

Available on the Canvas course website

Announcements and Discussions
Course announcements, discussions, and questions are available on the Ed Discussion forum.

Grading