profile icon
Dr

Jorge Navas Laserna

Honorary
science & technology
computer science
technology
computer science, software engineering
computer science, theory & methods
science & technology - other topics
logic
programs
program analysis
Jorge Navas Laserna's Profile Picture
Dr

Jorge Navas Laserna

 
Division
Engineering
 
Primary Interest
Programing Languages In The Area Of Program Analysis
Jorge Navas Laserna's Profile Picture
Dr

Jorge Navas Laserna

 

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.

Scholarly Works

Displaying the 13 most recent scholarly works by Jorge Navas Laserna.

Honours, Awards and Fellowships

2004

Prince of Asturias Graduate Research Fellowship in Information Science and Technology at the University of New Mexico.

1

Award

Credentials

Positions


Honorary

Computing And Information Systems

Education


PhD in Computer Science

University of New Mexico