Department of Mathematical Logic, Algebra and Theoretical Computer Science Mathematical Institute of the Academy of Sciences, Prague

I'm a Postdoctoral Fellow in the AS CR at Prague, hosted by Jan Krájíček and Pavel Pudlák.
My research interests center around computational complexity and logic, with an emphasis on proof complexity.
I've completed my Ph.D studies in Tel Aviv University, and my advisors were Nachum Dershowitz and Ran Raz.

• Publications
• Notes & Talks
• Thesis
• Research Summary
• My links

Contact

Mathematical Institute
Academy of sciences of the Czech Republic
Žitná 25,  67 Praha 1, Czech Republic
Phone: [+420] 222 090 768
Email: tzameret@math.cas.cz