Experience
Kahlert School of Computing
Position: Research Assistant
Duration: Jan 2024 to Present
Location: Salt Lake City, UT
Description:
Conducted research on floating point accuracy and performance using Herbie, with a focus on cost model analysis to improve numerical precision and execution speed. Served as a third author on the paper "Target-Aware Implementation of Real Expressions," accepted to ASPLOS 2025. Also worked on web browser fuzzing techniques, including clustering approaches to reduce duplicate bug reports and improve overall efficiency.
General Dynamics Land Systems
Position: Platform Cybersecurity Intern
Duration: May 2025 to Aug 2025
Location: Detroit, MI
Description:
Designed and executed cybersecurity test plans for vehicle logical entities to ensure system security and resilience. Built a prototype post quantum key exchange for integration into a vehicle platform, contributing to future secure communications.
NASA Langley Research Center
Position: Formal Methods Intern
Duration: Jan 2025 to May 2025
Location: Hampton, VA
Description:
Worked with the Prototype Verification System to perform formal verification through specification, theorem proving, and model checking. Developed a large language model workflow in Jupyter Notebooks to collect and analyze PVS query data. Adapted a Visual Studio plugin to improve integration and usability for formal methods development.