# Iddo Tzameret

Professor

Department of Computer Science

Royal Holloway, University of London

Bedford Bld., Room 2-09 (first floor)

Email: Iddo.Tzameret@rhul.ac.uk

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, specialising on understanding the limits of efficient computation, both as a natural and a mathematical phenomenon, including 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 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 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*