Iddo Tzameret

Senior Lecturer (≈UK Associate Professor)
Department of Computer Science
Royal Holloway, University of London

Egham Hill, Egham, TW20 0EX
McCrea Building, Room 105 (ground floor)
Office: [+44] 0178-444-3694

My research lies broadly in the theory of computing wherein I'm interested in all aspects of the foundations of computer science: from algorithms and complexity to provability and semantics. The overarching goal of my research is to advance our understanding of computational intractability, both as a mathematical and a natural phenomenon. Specifically, I work in computational complexity, with an emphasis on satisfiability, proof complexity, applications of logic in computer science, the interplay between algebra and computation, 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).


2014-2017: PI for The National Natural Science Foundation of China Grant (61373002). New Approaches to the Limits of Efficient Propositional Reasoning