I've moved to Imperial College London.
You're being redirected to this link.
This website is obsolete.

Iddo Tzameret

Chair in Computational Complexity
Department of Computing
Imperial College London

Huxley Building
South Kensington Campus
London, SW7 2AZ
Email: Iddo.Tzameret@gmail.com

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 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 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-solving. Find out more about my research in my publication page and a 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.