About
Prof. Iddo Tzameret holds the Chair in Computational Complexity at Imperial College London. His research explores fundamental limits of computation through proof complexity, circuit complexity, and satisfiability theory.
Research Focus: Develops mathematical frameworks connecting algebraic complexity, propositional proof systems, and circuit lower bounds. Current ERC-funded project investigates efficient proofs and computation frontiers.
Leadership: Leads the complexity research group and Complexity Network connecting Imperial, Oxford and Warwick. Organizes international workshops on proof complexity and meta-complexity.
0Publications listed
Find Iddo Tzameret elsewhere
Related Searches
You Might Also Like
- RRahul SanthanamUniversity of Oxford · Professor
Pavel HrubesSchloss Dagstuhl - Leibniz Center for Informatics · Professor- RRahul SanthanamUniversity of California, Berkeley · Professor
Christian IkenmeyerUniversity of Warwick · Professor
Ryan WilliamsMassachusetts Institute of Technology · Professor- NNutan LimayeIT University of Copenhagen · Professor