####
# Iddo Tzameret

Professor

Chair in Computational Complexity

Department of
Computing

Imperial College London

Huxley Building

South Kensington Campus

London, SW7 2AZ

Email: Iddo.Tzameret@gmail.com

# Iddo Tzameret

Professor

Chair in Computational Complexity

Department of
Computing

Imperial College London

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

__. See ad__

*please email me***.**

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

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