|
Institute for Theoretical Computer Science
|
Announcement: I'm looking for motivated graduate students interested in complexity. If you are interested,
please contact me via email and we can schedule a meeting. I have several concrete projects leading to PhD,
in proof complexity, satisfiability, logic and algebraic complexity.
I'm an Assistant Professor at the Institute for Theoretical Computer Science (ITCS),
headed by Prof. Andrew Yao.
My research interests revolve around computational complexity, proof complexity, algebraic complexity and logic.
Before coming to ITCS I've been a Postdoctoral fellow at the Academy of Sciences in Prague, hosted by
Jan
Krájíček and Pavel Pudlák.
I've completed my Ph.D studies in Tel Aviv University, and my advisors were
Nachum Dershowitz and Ran Raz.