# Iddo Tzameret

Professor

Department of Computer Science

Royal Holloway, University of London

Head of the Algorithms and Complexity Group

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

Email: Iddo.Tzameret@gmail.com

Office: [+44] 0178-444-3694

#### News: This spring I'll be joining Imperial College London as a Chair in computational complexity.

I'm actively recruiting postdocs and PhD students for my group at Imperial. If you're interested *please email me*. See ad *here*.

I'm actively recruiting postdocs and PhD students for my group at Imperial. If you're interested

__. See ad__

*please email me***.**

*here*#### I'm happy to announce that starting 2021 I will be supported by a five-year ERC (European Research Council) Consolidator Grant.

**My research** lies broadly in the theory of computing, algorithms and complexity. I'm interested in understanding the limits of efficient computation, both as a natural and a mathematical phenomenon. This includes computational and proof complexity, satisfiability, algebraic, logical and combinatorial approaches in complexity, and the theory of SAT-solving.
Find out more about my research in my
publication page and
a survey.

**Short Bio**: Since Nov 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

2021-2026: **PI** for European Research Council ERC Consolidator Grant*: Efficient Proofs and Computation: a Unified Algebraic Approach (EPRICOT)*.

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