Transitioning from PhD research to full-time embedded roles. Looking to relocate to a
large metropolitan area. Previous experience as an embedded Software Engineer in automotive systems: AUTOSAR, MCAL, and Bootloader. Expert in C,
python, and combining mathematical rigor with software development life cycles.
Analysis and clarification of customer (OEM) requirements.
Engaged in prototyping and kickoff activities for next gen Traveo II hardware, ensuring a
seamless transition between product versions.
Evaluated development infrastructure, including build systems and IDEs, and sourced
project-specific AUTOSAR and bootloader stacks (MICROSAR).
Developed a hardware proofing software stack to validate prototype hardware against system
requirements. Reducing future development load for MCAL configuration and integration.
Engineered ASPICE compliant tooling to automate the parsing of OEM requirements into
Enterprise Architect with full SWE process traceability. High accuracy automation reduced manual
parsing overhead to almost zero.
Built a modular declarative Jenkins toolchain supporting both physical hardware and
virtual ECU testing environments. Allowing quality gates to be validated on a developer's desk
reducing regression causing excess HIL load.
Served as the developer and eventual technical lead for a MICROSAR-powered power
distribution box (RL78).
Managed the full ASPICE V-model lifecycle, from translating OEM requirements into software
architecture and design using Enterprise Architect to final implementation using C, DaVinci
Configurator, and DaVinci Developer.
Conducted code and design reviews, led sprint kickoffs and retrospectives, and oversaw all
technical development efforts.
Defined Jenkins and CANoe CI/CD infrastructure with project and process specific quality gates to automate
the qualification and creation of software releases. Reducing regression and release process
load while increasing project stability and velocity.
Projects
Dissertation Research: The Tanglenomicon
Enumerated a new class of knot-theoretic objects (arborescent tangles)
by identifying a unique representative and proving the correctness of abstract algorithms
for their enumeration.
Developed a multiplatform (JavaScript (WASM), Python (Cython), and C++ wrappers) modular C
library collection for generating large-scale tangle datasets. Successfully
tabulating tangles up to 19 crossings (~5.2 Billion tangles).
Designed and implemented a formal software design process that bridges mathematical research
with software development life cycles, including rigorous validation and design activities.
Created a generalized software design process to ensure program correctness and future
extensibility for cross-discipline research use cases.
Education
University of Iowa
Doctor of Philosophy (PhD) in Mathematics
Master of Science in Mathematics
Fall 2021 - Fall 2025
University of Michigan - Dearborn
Bachelor of Science in Computer Science
Bachelor of Science in CIS Mathematics