Member-lab programmes

Distinct research programmes, clearly attributed.

Each member lab owns its questions, methods, and evidence. REQS maintains this public index and the shared standards that connect the programmes.

Forming programme

Trusted agentic systems

Research on the assurance of autonomous agents, decentralized systems, and cyber-physical infrastructure, using engineering methods that make trust claims explicit and testable.

Explore the programme

Member lab

Trusted Agentic Systems Lab

Agent assuranceDecentralized systemsCyber-physical resilienceRequirements engineering

Forming programme

Algorithms with guarantees for decisions at scale

Mathematical foundations for efficient decision-making through algorithms, optimization, complexity, and strategic interaction under uncertainty.

Explore the programme

Member lab

Theory Lab

Algorithms and complexityOptimization under uncertaintyGames, incentives, and multi-agent decisionsTheory for high-impact systems