Jorge A. Navas is currently a Research Scientist at NASA Ames Research Center. He received a Bachelor in Computer Science from Technical University of Madrid, Spain (2003) anda PhD in Computer Science from the University of New Mexico, USA in 2008.After graduation, he held post-doc positions at National University of Singapore (2008-2011) and The University of Melbourne (2011-2013).Jorge's primary research areas are programming languages, program analysis, software verification and testing.His work has been published in top conferences such as CAV, TACAS, SAS, FSE, and ICLP.
Find out more about Jorge Navas Laserna's experience
Jorge Navas Laserna's highlights
Jorge Navas Laserna's selected work
Horn Clauses As an Intermediate Representation for Program Analysis and Transformation
Displaying the 13 most recent scholarly works by Jorge Navas Laserna.
Honours, Awards and Fellowships
Computing And Information Systems
PhD in Computer Science
University of New Mexico