At STRATUS, we investigate how intelligent cyber-physical systems can become more secure, verifiable, and autonomous, while operating across increasingly distributed and heterogeneous computing environments.
Our research is organized around four complementary pillars, connecting foundational research with experimental applications in robotics, autonomous mobility, industrial systems, and ubiquitous computing.
Secure
As software increasingly interacts with the physical world, cybersecurity must protect not only information but also the integrity and behavior of entire systems. We investigate security, resilience, and verification in cyber-physical and intelligent systems, combining advanced cryptography, formal methods, vulnerability analysis, and trustworthy artificial intelligence.
Trustless
Building dependable distributed systems requires moving beyond implicit assumptions of trust. We investigate architectures and mechanisms that minimize trust dependencies through decentralized technologies, digital identity, Zero Trust principles, and secure and verifiable computation, enabling reliable interactions across heterogeneous and potentially untrusted environments.
Autonomous
We investigate how intelligent machines can perceive their environment, learn from experience, reason, and make decisions with increasing autonomy. Our research spans autonomous driving, advanced robotics, reinforcement learning, and embodied intelligence, exploring emerging paradigms such as LLM-guided robotics and world models, with particular attention to real-world constraints.
Ubiquitous
Computing is evolving into a pervasive continuum spanning embedded devices, intelligent edge systems, and cloud infrastructures. We investigate novel hardware and software architectures, reconfigurable computing, distributed virtualization, and resource orchestration to enable efficient, flexible, and interoperable computation across heterogeneous environments.