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 14 most recent scholarly works by Jorge Navas Laserna.
Dissecting widening: Separating termination from information
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Conference Proceedings | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Widening ensures or accelerates convergence of a program analysis, and sometimes contributes a guarantee of soundness that would o..
Honours, Awards and Fellowships
Computing And Information Systems
PhD in Computer Science
University of New Mexico