# Iddo Tzameret

Professor

Chair in Computational Complexity

Department of
Computing

Imperial College London

(For internal College matters only:

itzamere@ic.ac.uk )

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

**PhD, Master's**: I welcome PhD and Master's student applications to

__my group__. If you're interested

**See ad**

__please email me__.__.__

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

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

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

### Address

Department of Computing

Imperial College London

Huxley Building, 559

South Kensington Campus

London, SW7 2AZ

United Kingdom

Orcid: