Summary
Mohammad Hekmatnejad is a senior software engineer focused on verification and validation for autonomous vehicles, bringing 13 years of software and research experience to safety-critical systems at NVIDIA. He earned his PhD studying formal methods and planning for cyber-physical systems at Arizona State University and applies that research rigor to scale V&V across full AV stacks before deployment. His background spans academia and industry, from clinical decision-support verification and ontology-driven knowledge representation to hands-on computer vision and biometrics work early in his career. Based in San Diego, he blends formal specification, simulation, and practical engineering to make complex AV behavior auditable and robust. Colleagues rely on him to translate theoretical guarantees into testable, product-integrated pipelines that reduce risk on real vehicles. He often bridges disciplines few engineers navigate—formal methods, clinical informatics, and embedded vision—bringing a rare combination of deep research and production delivery.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Arizona State University
Bachelor's degree, Computer Science specialized in Software Engineering, Bachelor's degree, Computer Science specialized in Software Engineering at University of Isfahan
English, Persian