# Iddo Tzameret

Professor

Chair in Computational Complexity

Department of
Computing

Imperial College London

South Kensington Campus

London, SW7 2AZ

Email: Iddo.Tzameret@gmail.com

(For internal College matters only: itzamere@ic.ac.uk)

####
I'm actively recruiting ~~postdocs and~~ PhD students for __my group__. If you're interested
*
please email me
*.
See ad
*here*
.

__my group__. If you're interested

__. See ad__

*please email me***.**

*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).

### 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*