Make assumptions visible
Every theorem, model, and experiment states the conditions under which its conclusion can be trusted.
About the lab
Theory Lab
Algorithms with guarantees for decisions at scale.
Theory Lab develops algorithms with explicit guarantees for large, discrete, uncertain, and strategic decision problems. Its centre of gravity is theoretical computer science: modelling assumptions precisely, identifying exploitable structure, proving what an algorithm can achieve, and naming where the guarantee stops.
The programme connects continuous and combinatorial optimization with approximation algorithms, robust optimization, algorithmic game theory, and operations research. Applications provide hard questions and test the relevance of the theory; they do not replace the mathematical core.
Within REQS Labs, Theory Lab contributes foundations for reliable decision systems in the agentic era. AI agents may support implementation, experimentation, and systematic comparison, while researchers remain responsible for the model, proof, interpretation, and published claim.
Theory Lab is a member-led virtual research group within REQS Labs. It is not a separately incorporated institute or an employer; members retain their independent institutional affiliations.
Prove the useful part
Correctness, running time, solution quality, and robustness are made explicit rather than implied.
Let applications sharpen theory
Power, logistics, learning, and autonomous systems supply constraints that reveal where new mathematics is needed.
Publish limits with results
Hardness, counterexamples, failed assumptions, and negative results are part of the scientific record.