Projects

Projects & Case Studies

Research-driven builds in trustworthy AI and aviation human-computer interaction.

Selected Work

Project Case Studies

RAVE

Risk-Adaptive Verification Engine

Featured Research

Designed a runtime verification framework that treats the first AI output as a candidate action rather than a verdict, allocating additional verification according to risk before ACT, ABSTAIN, or ESCALATE.

Trustworthy AI Runtime Verification AI Safety Decision Systems Risk

Read Research ↗ Zenodo Research Preprint · 2026

AeroMaps

Pilot-Centered Electronic Flight Bag

Research Prototype

Designed a map-first electronic flight bag prototype that keeps planning, weather, weight-and-balance, route state, and inspectable decision support close to a persistent spatial context.

SwiftUI MapKit Aviation HCI Decision Traceability Human Factors

Research ↗ Zenodo Research Preprint · v2.0 · 2026