Iddo Tzameret
Professor
Chair in Computational Complexity
Department of
Computing
Imperial College London
(For internal College matters only:
itzamere@ic.ac.uk )

I am spending 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 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
Postdocs
2022 - : Michal Garlik ((St. Petersburg →) Imperial)
2022 - : Tuomas Hakoniemi ((UPC Barcelona →) Imperial)
Research Students
2022 - : Svyatoslav Gryaznov (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)
Address
Department of Computing
Imperial College London
Huxley Building, 559
South Kensington Campus
London, SW7 2AZ
United Kingdom
Orcid: