*Probabilistically checkable proofs (PCPs)* can be verified based only on a constant amount of random queries, such that any correct …

I research theoretical computer science at the Weizmann Institute of Science, where I am very fortunate to have Professor Oded Goldreich as my advisor.

I’m generally interested in theoretical computer science, and in particular computational complexity. Recently, I’ve been working on probabilistically checkable proofs and their connection with property testing.

*Probabilistically checkable proofs (PCPs)* can be verified based only on a constant amount of random queries, such that any correct …

Probabilistically checkable proofs (PCPs) can be verified based only on a constant amount of random queries, such that any correct …

Probabilistically checkable proofs (PCPs) can be verified based only on a constant amount of random queries, such that any correct …

About research other than my own

*Slides and notes aren’t always identitcal to what was taught in class, and may be too elaborate/terse or contain my own original errors. If you encounter the latter, please let me know. Thank you!*

Taught:

- A Mini-Course on Probabilisitcally Checkable Proofs

*2018 Amos de-Shalit Summer School*at the Weizmann Institute of Science.

TA’ed:

- Introduction to Property Testing

Fall 2018 at the Weizmann Institute of Science. - Student led reading of
*Computational Complexity*

Fall 2018 at the Weizmann Institute of Science.