Initiator
REQS Labs
A virtual research collective pairing rigorous inquiry with agent-enabled prototyping and a stronger path to technology transfer.
Visit REQS Labs
Davor Svetinovic
Agentic AI security, resilient autonomous systems, and the digital infrastructure they increasingly control.
Computer science professor at Khalifa University and Visiting Fellow at ADIA Lab
Abu Dhabi, United Arab Emirates
About
Davor Svetinovic is a computer science professor and Associate Chair for Graduate Studies at Khalifa University. He is also a Visiting Fellow at ADIA Lab.
His current research asks how autonomous agents, multi-agent learning systems, smart contracts, and cyber-physical infrastructure can be made secure, auditable, and resilient.
He initiated REQS Labs and leads its first member lab, the Trusted Agentic Systems Lab.
He previously served as a Full Professor and Director of the Research Institute for Cryptoeconomics at WU Vienna, and held visiting and affiliated research roles at MIT. He holds a PhD in Computer Science from the University of Waterloo.
Selected leadership
- Associate Chair for Graduate StudiesKhalifa University2025-present
- Head and Director, Research Institute for CryptoeconomicsWU Vienna2021-2024
- Theme Lead, Cyber-Physical Systems and Blockchain TechnologyKhalifa University
Current research initiatives
REQS Labs provides the collective structure. Trust Lab carries the active programme, people, methods, and public research record.
Lab lead
Trusted Agentic Systems Lab
A REQS member lab studying the security and resilience of autonomous agents, digital markets, and cyber-physical infrastructure.
Visit Trust LabCurrent programme
Agentic AI security and resilience
Current work examines how autonomous agents and multi-agent systems can be audited, secured, and made resilient when they interact with smart contracts, digital markets, and critical infrastructure.
Research foundations
Blockchain security and digital economies
Research on privacy, censorship resistance, maximal extractable value, decentralized finance, and protocol security in programmable blockchains.
Cyber-physical and infrastructure security
Security for smart grids, microgrids, connected vehicles, and other systems where software and AI act on physical infrastructure.
Software and requirements engineering
Requirements and systems engineering provide the methods used to study trust, security, and failure in complex digital systems.
Selected work
An AI-Based Supervisory Measurement Integrity Validation Layer for Cyber-Resilient AC/DC Protection in Inverter-Based Microgrids
MEV Detection for Ethereum Security: An Empirical Analysis on Agreement and Scalability
On the Security and Privacy Implications of Large Language Models: In-Depth Threat Analysis