Parth Ganeriwala
About
Hi! I'm Parth, a Software Engineer at Avidyne building safety-critical avionics software, and a research scholar at the ASSIST Research Lab. I recently completed my Ph.D. in Computer Science at Florida Institute of Technology, researching formal verification and assurance of learning-enabled autonomous systems.
I was always curious about the "behind-the-scenes" of literally anything and everything, and with the introduction of the television show, ’Mr.Robot’, I knew computer science piqued my interest.
Take a look at my work below to see what I'm working on, and get in touch if you'd like to work together!
Experience
Software Engineer II · Avidyne
May 2026 – Present- Design and implement embedded C++ software for avionics flight displays: OS services, device drivers and touchscreen interfaces.
- Verify software and maintain requirements traceability to support DO-178C and FAA certification audits.
- Led testing for a major flight-display software release, cutting the release cycle by 67% versus the previous minor release.
- Co-created an internal Claude Code toolkit for certification work, adopted by 5 engineers.
- Mentor 6 early-career engineers, including 4 interns.
Software Engineer Intern / Co-Op · Avidyne
May 2025 – May 2026- Expanded end-to-end test coverage across navigation, communication, flight management and flight display systems by 25%.
- Built 30+ system-level and flight-specific test cases, cutting initial verification cycle time by ~10%.
Research Scholar · ASSIST Research Lab, Florida Institute of Technology
August 2021 – Present- Formally modeling human cognitive behavior representation with respect to cyber-sickness in AR/VR systems, in a DARPA-funded collaboration with Collins Aerospace, Iowa State University, RTX Technologies Research Center and Smart Information Flow Technologies.
- Research on formal verification and assurance of learning-enabled autonomous systems, funded by NASA, DARPA and NAVAIR.
- Mentored 20–30 undergraduate and high school students, leading to 11 publications.
Education
- Ph.D. in Computer Science · Florida Institute of Technology · 2026
- M.S. in Computer Science · Florida Institute of Technology · 2023
- B.E. in Computer Science · Birla Institute of Technology and Science, Pilani · 2021
Skills
Java
Python
C/C++
PyTorch
TensorFlow
MySQL
Pandas
MongoDB
Jupyter
NumPy
Neo4j
OpenCV
Linux
Bash
Scrum
Dask
Git
GitLab
Android
CUDA
GPT
ROS
Avionics & Safety-Critical
- DO-178C
- DOORS
- Embedded C++
- Real-time Systems
- HIL Simulation
- Test Automation
- Formal Verification
- Claude Code
My Work
Most Cited Publications
30 accepted peer-reviewed publications in formal verification, assurance, and machine learning for autonomous systems.
- Automated Framework to Extract Software Requirements from Source CodeNLPIR 2023
- Assuring Learning-Enabled Increasingly Autonomous SystemsIEEE SysCon 2023
- Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning-Enabled Autonomous AgentSystems Engineering 28(5), 2025
- Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous SystemsIEEE SysCon 2025
- Runway vs. Taxiway: Challenges in Automated Line Identification and Notation ApproachesIEEE SysCon 2025
- ALINA: Advanced Line Identification and Notation AlgorithmCVPR VDU Workshop 2024
- AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous OperationsIEEE ICMLA 2023
- Cross Dataset Analysis and Network Architecture Repair for Autonomous Car Lane DetectionIEEE Intelligent Vehicles Symposium (IV) 2023
- Towards Knowledge Extraction and Parsing of XML Metadata for SysML System Architecture ModelingIEEE UEMCON 2023
Contact
I'm currently available to get involved in new projects, so get in touch if you'd like to work together.
Email me at ganeriwalaparth@gmail.com and let's talk about your project!