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.
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.
As well as an EPSRC (Engineering and Physical Sciences Research Council--UK Research and Innovation) Imperial and Oxford, Responsive mode joint 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 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: