Iddo Tzameret

Chair in Computational Complexity
Department of Computing
Imperial College London

(For internal College matters only: )

PhD, Master's: I welcome PhD and Master's student applications to my group. If you're interested please email me. See ad here .
Postdoc opportunities: please email me.
Internships: see here.
I spent the spring term of 2023 at Berkeley, visiting the Simons Institute at University of California, Berkeley.

My research is supported by a five-year ERC (European Research Council) Consolidator Grant, under the EPRICOT project.

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 professor in the department of computing at Imperial College London. During Spring 2023 I'm a visiting scholar at University of California, Berkeley. 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, Israel, 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


2022 - : Michal Garlik ((St. Petersburg →) Imperial)

2022 - 2023 : Tuomas Hakoniemi ((UPC Barcelona →) Imperial → Helsinki Uni.)

Research Students

2023 - : Jiaqi Lu (MRes, Imperial)

2022 - : Svyatoslav Griaznov (PhD, Imperial)

2022 - : Tal Elbaz (PhD, Imperial)

2022 : Luming Zhang (MSc, Imperial → PhD, LSE)

2021 - : Nashlen Govindasamy (PhD, Imperial)

2016 - 2019 : Fedor Part (PhD, Royal Holloway → postdoc at AVCR Prague)

2012 - 2014: Fu Li (PhD student in Tsinghua → UT Austin graduate program)

2012 - 2013: Zhengyu Wang (undergrad in Tsinghua → PhD from Harvard)


Department of Computing
Imperial College London
Huxley Building, 559
South Kensington Campus
London, SW7 2AZ
United Kingdom



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