Member labs

Each lab owns its programme. REQS maintains the shared standard.

The directory lists approved member labs, their leads, current status, and research scope.

01forming

Led by Davor Svetinovic

Trusted Agentic Systems Lab

How can autonomous systems be trusted when they act across code, markets, and physical infrastructure?

Research on agent assurance, decentralized systems, cyber-physical resilience, and the engineering methods needed to specify trust.

Agent assuranceDecentralized systemsCyber-physical resilienceRequirements engineering

02forming

Led by Khaled Elbassioni

Algorithms with guarantees for decisions at scale.

Research on algorithms, optimization, complexity, and strategic interaction for efficient decision-making under uncertainty.

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