ÂÜÀòÂÒÂ×

Jorge A. Navas has worked for five companies in the software engineering field since 2008. In 2008, they began as a Research Fellow at the National University of Singapore, where they implemented methods for software verification, debugging, and testing using constraint-based technology. In 2011, they joined The University of Melbourne as a Research Fellow, where they worked on verification techniques with special emphasis on reasoning about machine arithmetic and array content properties. In 2013, they moved to NASA Ames Research Center as a Research Engineer, where they worked on software verification of safety-critical systems. In 2016, they moved to SRI International as a Senior Research Scientist, where they were a member of the Formal Methods Group and created the Crab abstract interpretation library, as well as being one of the main developers/maintainers of the SeaHorn verification framework. Jorge A. is currently working as a Senior Research Engineer at Certora since 2021.

Jorge A. Navas obtained their PhD in Computer Science from The University of New Mexico in 2008. Prior to that, they obtained a Bachelor in Computer Science from Universidad Politécnica de Madrid in 2003. In 2017, they obtained a certification in Machine Learning from Coursera.