Computer Engineering Technology student specializing in aviation software systems, compiler design, and optimization.
I design and build software for flight planning and air traffic operations, combining
domain‑specific languages, embedded systems, and emerging computation models such as quantum‑inspired optimization.
My work emphasizes correctness, safety, and operational realism in aerospace environments.
Aviation‑focused software and optimization research
Formal work at the intersection of flight operations, language design, and quantum‑inspired optimization.
Research paper · Domain‑specific language
AirLang: A Domain‑Specific Language for Aviation Flight Planning and Operations
A compiler-driven approach to safer, more consistent flight planning workflows.
Designed and implemented a seven‑phase compiler for a domain‑specific language tailored to aviation
flight planning and operational validation. The language encodes aircraft performance, route structure,
and operational constraints directly into its type system and semantics.
Lexical, syntactic, and semantic analysis specialized for aviation concepts
Haversine‑based distance and fuel burn calculations
Center‑of‑gravity and weight‑and‑balance validation at compile time
Enforcement of aircraft limitations and operational rules before execution
IrisPathQ: Quantum‑Enhanced Flight Route Optimization Using QAOA
Hybrid quantum–classical optimization for realistic aviation routing constraints.
IrisPathQ applies the Quantum Approximate Optimization Algorithm (QAOA) to evaluate and optimize
flight routes under operational constraints. The framework integrates classical preprocessing with
quantum‑inspired search to explore high‑dimensional routing spaces.
Encodes airspace structure, weather risk, and traffic density into a quantum‑compatible cost model
Evaluates multiple candidate routes using hybrid QAOA layers
Demonstrates potential for quantum‑assisted decision‑making in next‑generation ATC systems
A subset of my work is visible on GitHub. Many aviation and embedded projects are private or under NDA.
AirLang: Aviation DSL Compiler
✈️
Complete domain-specific language for aviation flight planning with 7-phase compilation pipeline, real-time METAR integration, and native aviation syntax. Features built-in weight & balance, navigation calculations, and weather analysis with safety validations.
C · Compiler Design
Flight Planning DSLAviation Safety
Embedded monitoring system using Arduino for tracking aircraft state, flight control, and ground control communication. Features sensor integration (temperature, motion, MPU6050), IR remote control, RFID authentication, and Node-RED dashboard integration.
Real-time Air Traffic Control simulator written in Ada. Models aircraft movement, enforces ICAO separation standards, tracks wake turbulence, detects conflicts, and generates resolution advisories. Features flight phase monitoring and ASCII radar display.
Ada · Safety-Critical
ATC SimulationReal-Time Systems
Hybrid quantum-classical flight route optimization using QAOA and A* pathfinding. Minimizes fuel consumption while avoiding weather hazards and airspace conflicts. Demonstrates quantum advantage over greedy algorithms for multi-flight route selection.
C · Python · Qiskit
Quantum ComputingRoute Optimization
Domain-specific language for aviation Global Distribution System (GDS) operations. Parser and interpreter for airline booking workflows, demonstrating DSL design principles in aviation commerce and reservation systems.
C · DSL Design
Aviation CommerceParser Development
Interactive quantum circuit simulator built with Java Swing. Client-server architecture with SQLite database, user authentication, and visual circuit design. Simulates quantum gates, measurements, and provides histogram visualization of quantum states.
Java · Swing · SQLite
Quantum SimulationGUI Development
Custom flight computer for model rocketry featuring sensor fusion, active stabilization, and real-time telemetry. ESP32-based system with IMU integration, thermal imaging (MLX90640), and servo-controlled fin stabilization for flight control.
C++ · ESP32 · Embedded
Flight ControlSensor Fusion
Collection of aviation-focused C and Ada programs including flight planning tools, runway incursion alerts, airline reservation systems, quantum algorithms, data structures, and various course assignments demonstrating systems programming fundamentals.
C · Ada · Algorithms
Data StructuresAviation Tools
Archive of Arduino-based embedded systems projects and experiments, exploring microcontroller programming, sensor integration, and hardware interfacing for various aviation and general-purpose applications.
C++ · Arduino · Hardware
Embedded DevelopmentPrototyping