/* */

Iddo Tzameret

Department of Computer Science
Royal Holloway, University of London
Algorithms and Complexity Group

Egham Hill, Egham, TW20 0EX
Bedford Bld., Room 2-09 (first floor)
Email: Iddo.Tzameret@gmail.com
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. My focus is on algorithms and complexity, understanding the limits of efficient computation, both as a natural and a mathematical phenomenon. This includes computational complexity, satisfiability, proof complexity, algebraic, logical and combinatorial approaches in complexity, as well as the theory of SAT-solving.
Find out more about my research in my publication page, a survey (together with T. Pitassi), and my CV.

I'm head of the Algorithms and Complexity Group

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 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



This website is using cookies. That's Fine More info.