Iddo Tzameret
Senior Lecturer
(≈UK Associate Professor)
Department of Computer Science
Royal Holloway, University of London
McCrea Building, Room 105 (ground floor)
Email: Iddo.Tzameret@rhul.ac.uk
Office: [+44] 0178-444-3694

Between Jan to May 2019 I'm on sabbatical spending most of my time at Oxford University, visiting the
computational complexity group of
Rahul Santhanam.
My research lies broadly in the theory of computing wherein I'm interested in all aspects of the foundations of computer science. The focus of my research is on understanding computational intractability as a natural and mathematical phenomenon, with an emphasis on computational complexity, satisfiability, proof complexity, algebraic and logical approaches in complexity and the theory of SAT-solving.
Find out more about my research in my
publication page, a recent
survey (together with T. Pitassi), and my CV.
Short Bio: Since Fall 2014 I'm a faculty member in the department of computer science at
Royal Holloway, University of London. Before coming to Royal Holloway, I've been an assistant professor at Tsinghua University (Beijing) and a research fellow at the academy of sciences (Prague). I completed my PhD from Tel Aviv University in 2008 under the supervision of Ran Raz (Weizmann Institute) and Nachum Dershowitz
(Tel Aviv University).
Funding
2014-2017: PI for The National Natural Science Foundation of China Grant (61373002). New Approaches to the Limits of Efficient Propositional Reasoning