James at 12:39, 3 May 2026

2026-05-03T12:39:11Z

← Older revision		Revision as of 21:39, 3 May 2026
Line 150:		Line 150:
	</div>		</div>

	[[Research\|→ Explore our research in depth]]		<!--[[Research\|→ Explore our research in depth]]-->

James at 12:38, 3 May 2026

2026-05-03T12:38:44Z

← Older revision		Revision as of 21:38, 3 May 2026
Line 1:		Line 1:
			{{DISPLAYTITLE: }}

	__NOTOC__		__NOTOC__
	== Research Areas ==		== Research Areas ==

James at 12:37, 3 May 2026

2026-05-03T12:37:59Z

← Older revision		Revision as of 21:37, 3 May 2026
Line 1:		Line 1:
			__NOTOC__
	== Research Areas ==		== Research Areas ==

James: Created page with "== 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 Softwa..."

2026-05-03T12:36:54Z

Created page with "== Research Areas == Our work on system software unfolds along three intertwined directions. === 🧠 AI & Intelligent Software === Bringing AI to the heart of system software. <div style="display:flex; flex-wrap:wrap; gap:15px; margin:15px 0;"> <div style="flex:1 1 280px; padding:20px; background:#faf5ff; border-left:4px solid #8a3aa8; border-radius:6px;"> <div style="font-size:115%; font-weight:bold; color:#4a1a6c; margin-bottom:8px;"> 🤖 AI-Driven System Softwa..."

New page

== Research Areas ==

Our work on system software unfolds along three intertwined directions.

=== 🧠 AI & Intelligent Software ===

Bringing AI to the heart of system software.

<div style="display:flex; flex-wrap:wrap; gap:15px; margin:15px 0;">

<div style="flex:1 1 280px; padding:20px; background:#faf5ff; border-left:4px solid #8a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#4a1a6c; margin-bottom:8px;">
🤖 AI-Driven System Software
</div>
<div style="font-size:90%; line-height:1.6;">
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.
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#f5f0ff; border-left:4px solid #5a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#3a1a6c; margin-bottom:8px;">
🦾 Physical AI
</div>
<div style="font-size:90%; line-height:1.6;">
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.
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#f0eaff; border-left:4px solid #6a3ac8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#2a0a6c; margin-bottom:8px;">
✍️ LLM for Software Engineering
</div>
<div style="font-size:90%; line-height:1.6;">
Leveraging Large Language Models to transform software engineering workflows —
from requirements analysis and code generation to automated documentation
of safety-critical software.
</div>

</div>

</div>

=== 🛡️ Reliability & Assurance ===

Verification and monitoring techniques that guarantee safety and reliability.

<div style="display:flex; flex-wrap:wrap; gap:15px; margin:15px 0;">

<div style="flex:1 1 280px; padding:20px; background:#fff5f0; border-left:4px solid #e8741a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c3a1a; margin-bottom:8px;">
🛡️ Runtime Assurance (RTA)
</div>
<div style="font-size:90%; line-height:1.6;">
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.
</div>

</div>

<div style="flex:1 1 280px; padding:20px; background:#f5f0ff; border-left:4px solid #5a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#3a1a6c; margin-bottom:8px;">
🔗 Multi-Agent Systems (MAS)
</div>
<div style="font-size:90%; line-height:1.6;">
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.
</div>

</div>

<div style="flex:1 1 280px; padding:20px; background:#fffdf0; border-left:4px solid #a89a1a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c5a1a; margin-bottom:8px;">
🏗️ Structural Health Monitoring (SHM)
</div>
<div style="font-size:90%; line-height:1.6;">
Sensor-driven techniques for diagnosing and predicting structural conditions,
with applications in aircraft structural health monitoring — including AI-based
anomaly detection and predictive maintenance.
</div>

</div>

</div>

=== ⚙️ Systems & Infrastructure ===

The foundational layer — system software infrastructure and distributed computing.

<div style="display:flex; flex-wrap:wrap; gap:15px; margin:15px 0;">

<div style="flex:1 1 280px; padding:20px; background:#f0f7ff; border-left:4px solid #1a73e8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a3a6c; margin-bottom:8px;">
🛰️ Digital Twin (DT)
</div>
<div style="font-size:90%; line-height:1.6;">
Building digital twin models with real-time synchronization for aircraft, UAVs,
and autonomous systems — enabling monitoring, predictive diagnostics, and
simulation-driven decision-making.
</div>

</div>

<div style="flex:1 1 280px; padding:20px; background:#f0fbff; border-left:4px solid #1aa8e8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a4a6c; margin-bottom:8px;">
☁️ Edge Computing & Computation Offloading
</div>
<div style="font-size:90%; line-height:1.6;">
Optimizing the distribution of computation between resource-constrained edge
devices and cloud/server backends — balancing latency, power, and communication
costs in distributed computing architectures.
</div>

</div>

<div style="flex:1 1 280px; padding:20px; background:#f0fff5; border-left:4px solid #1ea84a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a6c3a; margin-bottom:8px;">
✈️ UAV & Airborne Software
</div>
<div style="font-size:90%; line-height:1.6;">
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.
</div>

</div>

</div>

[[Research|→ Explore our research in depth]]

Research Areas - Revision history

James at 12:39, 3 May 2026

James at 12:38, 3 May 2026

James at 12:37, 3 May 2026

James: Created page with "== 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 Softwa..."

James: Created page with "== 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 Softwa..."