CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project investigates Probabilistically Checkable Proofs (PCPs) and their local-to-global properties, aiming to simplify and enhance PCP constructions. It leverages high-dimensional expansion theory to improve understanding and develop new error-correcting codes and local-to-global encodings.
This proposal aims to delve further into the study of Probabilistically Checkable Proofs (PCPs), a cornerstone of modern theoretical computer science, that exhibits some of the most powerful local to global behavior.
Any NP proof can be written in a format that is locally testable, meaning that local pieces of the proof imply very rich global structure.
This theory is strongly tied to hardness of approximation and has significant applications in cryptography. A major goal is to develop simpler a…
WEIZMANN INSTITUTE OF SCIENCE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
