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

I'm a Postdoctoral Fellow at the Academy of Sciences in 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
and to some extent algebraic 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,  CZ - 115 67 Praha 1, Czech Republic
Phone: [+420] 222 090 768
Email: tzameret@math.cas.cz