Iddo Tzameret

Chair in Computational Complexity
Department of Computing
Imperial College London

Huxley Building, 559
South Kensington Campus
London, SW7 2AZ
(For internal College matters only:

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


My research is 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 exploring the limits of efficient computation and inference, 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- and constraint-solving. Find out more about my research in my publication page; see also this survey.

Short Bio: Since 2021 I'm a faculty member in the department of computing at Imperial College London. Before that I've been a professor at Royal Holloway, University of London, a visiting scholar at Oxford University (Winter/Spring 2019), 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).


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



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