Prof. Iddo Tzameret — Research Profile
Imperial College London · Department of Computing
About
Prof. Iddo Tzameret at Imperial College London Department of Computing lists Algorithms, complexity, satisfiability, proof complexity as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Complexity and Algorithms in Graphs
Anuj Dawar 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Lower Bounds for Symmetric Circuits for the DeterminantACM Transactions on Computation Theory · Aug 20Stefan Kiefer 교수 연구실
University of Oxford · Department of Computer Science
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automataLogical Methods in Computer Science · Sep 25James Worrell 교수 연구실
University of Oxford · Department of Computer Science
Approximate Polynomial Satisfiability is in the Counting HierarchyPreprintarXiv (Cornell University) · Sep 30
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality