CS 6814

Last Updated

  • Schedule of Classes - June 16, 2025 11:41AM EDT
  • Course Catalog - September 10, 2024 9:48AM EDT
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 6814
Probabilistic Proofs

Course information provided by the 2024-2025 Catalog. Courses of Study 2024-2025 is scheduled to publish mid-June.

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.


Last 4 Terms Offered (None)

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.

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Seven Week - Second. 

  • 1.5 Credits Stdnt Opt

  • 21609 CS 6814   LEC 002

  •  

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/