I am a PhD student with the Theory of Computation group at UC Berkeley, where I am advised by Shafi Goldwasser and Avishay Tal. Before, I completed my MSc at the Weizmann Institute of Science, advised by Oded Goldreich.

I’m generally interested in theoretical computer science, and in particular computational complexity. I’ve been working on probabilistically checkable proofs and their connections with other areas of complexity theory. I’m also interested in societal aspects of theoretical computer science.

My pronouns are *he/him*.

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 …

- A Mini-Course on Probabilisitcally Checkable Proofs

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

- CS294-92 Analysis of Boolean Functions

Spring 2020 at UC Berkeley. - 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.