Decentralized multi-agent system for supply chain resilience. Official implementation of the 'Readiness Protocol' (Technical Report available).

Open-source satellite constellation management and AI-assisted operations platform. Unified control plane for fleet visualization, pass scheduling, data routing, and intelligent operations assistance.

Analyze an ADS-B feed/CSV for anomalies: callsign spoofing, squawk 7500/7600/7700, and unusual loiter patterns.

Hobby air-defense simulation lab built with Python, FastAPI, WebSockets, layered sensors, threat scoring, SAM/CIWS engagement logic, and a browser tactical dashboard.

Autonomous Target Tracking Turret

Defense-grade Secure Data Transmission System using AES-128 Encryption and HMAC Integrity Checks.

Governable, jam-resilient cooperative counter-UAS at the edge - deterministic engagement gate, human-in-the-loop, LLM off the kill chain. Best Collaboration winner, AWS Global Government Hackathon 2026.

a11oy — full orchestrator application (Command Center, Five Superpowers, Warhacker, Observability, Wires, Mesh, Formulas, Evidence, LLM Router). Signed-receipt substrate; receipts.in ≡ receipts.out. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.

omphalOS is an investigation platform for high-stakes analytical work — originally built for the U.S. Bureau of Industry and Security.

Personal portfolio featuring my engineering projects and research in systems architecture, applied physics, and quantitative finance.

Descriptive, citation-grade catalog of frontline & commercial drones + the open autonomy ecosystem (PX4/ArduPilot/MAVLink) and NVIDIA's open Hugging Face robotics/perception models. MIT (code) / CC BY 4.0 (data).

Counter-UAS telemetry/log analyzer that flags drone-detection events, RF bands, and track anomalies.

Public evidence index for Blackglass Continuum runtime assurance artifacts, claim boundaries, and procurement-safe proof summaries.

Real-time geospatial monitoring system with geofence intrusion detection, simulated assets, and risk-based alert logging.

Correlate electronic-warfare event logs by time/frequency/bearing to cluster emitters.

Live UDS governance-receipt deployment (Warhacker 2026) — k3d + uds-cli + Pepr DSSE receipt policy, cosign-verified. Doctrine v11 LOCKED (749/14/163).

Build and query a structured catalog of installations/AOIs with distance, sector, and coverage queries.

Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308

F-22 Raptor Combat Simulator — Operation Eastern Shield.

DoE Project