Research Areas
Our work on system software unfolds along three intertwined directions.
🧠 AI & Intelligent Software
Bringing AI to the heart of system software.
🤖 AI-Driven System Software
Embedding AI into the system software stack to enable self-adaptive, self-diagnostic, and intelligent decision-making systems. This includes applying Vision-Language Models (VLM) and Agentic AI at the system level.
🦾 Physical AI
Designing and verifying AI systems that interact directly with the physical world through sensors and actuators — ensuring that intelligence operates safely and predictably in autonomous platforms.
✍️ LLM for Software Engineering
Leveraging Large Language Models to transform software engineering workflows — from requirements analysis and code generation to automated documentation of safety-critical software.
🛡️ Reliability & Assurance
Verification and monitoring techniques that guarantee safety and reliability.
🛡️ Runtime Assurance (RTA)
Designing runtime monitoring and fail-safe mechanisms that guarantee safety of aerospace and autonomous systems during operation, with verification methodologies aligned with avionics standards such as DO-178C.
🔗 Multi-Agent Systems (MAS)
Algorithms for coordination and cooperation among multiple autonomous agents, along with verification methods for distributed systems — ensuring both safety and mission success when multiple unmanned assets operate together.
🏗️ Structural Health Monitoring (SHM)
Sensor-driven techniques for diagnosing and predicting structural conditions, with applications in aircraft structural health monitoring — including AI-based anomaly detection and predictive maintenance.
⚙️ Systems & Infrastructure
The foundational layer — system software infrastructure and distributed computing.
🛰️ Digital Twin (DT)
Building digital twin models with real-time synchronization for aircraft, UAVs, and autonomous systems — enabling monitoring, predictive diagnostics, and simulation-driven decision-making.
☁️ Edge Computing & Computation Offloading
Optimizing the distribution of computation between resource-constrained edge devices and cloud/server backends — balancing latency, power, and communication costs in distributed computing architectures.
✈️ UAV & Airborne Software
Designing and verifying embedded software for unmanned aerial vehicles — from flight control to mission management — including work on open platforms such as PX4 and ROS2 and applications of avionics software standards.