Résumé
Filter by skill
Experience
Avionics Test Systems Engineer, Delta TechOps
Avionics Test Systems EngineerDelta TechOps · Atlanta, GA
- Design and build automated test systems for aircraft avionics components, handling everything from schematics and software to assembly and validation.
- Design custom circuit boards in Altium Designer: schematic capture, layout, component selection, fabrication files, supplier coordination and board bring-up.
- Write test software and integrate custom electronics with lab instruments.
Senior Avionics Component Engineer, Delta TechOps
Senior Avionics Component EngineerDelta TechOps · Atlanta, GA
- Provided engineering support to avionics component repair shops and outside vendors on jobs for Delta and third-party maintenance (MRO) customers.
- Developed repairs and alternate test and tooling methods, and resolved engineering questions that held up work in the shop.
- Contributed to cost-reduction efforts in component repair.
- Worked with equipment manufacturers (OEMs) and partner repair stations, and served as a component expert for engineering, supply chain and planning teams.
Skills
PCB design
- Altium Designer
- KiCad
- Schematic capture
- PCB layout
- Component selection
- Gerbers and BOMs
- Board bring-up
- IPC-7711/7721 rework and repair
Test systems
- Automated test systems
- Data acquisition
- Serial and GPIB instrument control
- Oscilloscopes
- Function generators
- Logic analyzers
Software
- Python
- C
- C++
- MATLAB/Simulink
- VHDL
- MicroPython
Avionics
- Aircraft component repair engineering
- Component Maintenance Manuals (CMMs)
- OEM and repair-station coordination
Formal math
- Lean 4
Certifications
Certified IPC Specialist, IPC-7711/7721 (rework, modification and repair of electronic assemblies)
Quantum Detectors and Sensors Certificate, PurdueX (part of the Quantum Technology: Detectors and Networking MicroMasters program)
Education
Georgia Institute of Technology
B.S. Electrical Engineering
Projects
More about these projects →Lean 4 proof: discrete Fourier transform of every length in O(n (log n)^z), z = 1 - 1.7887045e-3, in the RAM model of OpenAI's family 130; and the search for larger savings
Circuits for the exact Walsh-Hadamard transform with fewer operations: (5/6) N log2 N + N gates on 8^j points, and (3/4) N log2 N + N/4 multiply-adds on 2^k points, both proved in Lean 4. A better constant, not a better exponent.
Merikoski's estimates for primes x² + (y² + 1)² give at least 96.36% of the expected count, the most such estimates can give in Ford and Maynard's model: paper, Python checks, history
My work on the Quasi-Riemann Tracker: a map of 66 dead ends below the record with its scripts, Lean proofs of θ = 0.8739558 (merged), 0.8739167 and 0.873903, a conditional θ = 0.8735111, the history, and replay tools
Barrier sheets: what a proof method can reach, the impostor that stops it, and what a new clue is worth; four worked examples