CS 6814
Last Updated
- Schedule of Classes - December 12, 2024 7:40PM EST
- Course Catalog - December 12, 2024 7:07PM EST
Classes
CS 6814
Course Description
Course information provided by the Courses of Study 2024-2025.
This course offers a graduate-level introduction to the theory of probabilistic proof systems. The area has deep connections to many aspects of theoretical computer science, including complexity theory and hardness of approximation, coding theory, cryptography and quantum computing. Topics covered will include the PCP theorem, interactive proofs, zero knowledge, succinct arguments, and quantum proof systems.
When Offered Fall.
Outcomes
- Describe the types of probabilistic proof system and their application in different areas of theoretical computer science.
- Rigorously prove core properties of proof systems.
- Design proof systems suitable for specific problems.
Seven Week - Second.
-
Credits and Grading Basis
1.5 Credits Stdnt Opt(Letter or S/U grades)
-
Class Number & Section Details
-
Meeting Pattern
- TR Bill and Melinda Gates Hll G13
- Oct 16 - Dec 9, 2024
Instructors
Spooner, N
-
Additional Information
Instruction Mode: In Person
For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/
Share
Or send this URL: