jorgenavas.github.io domain details, Jorge Navas Homepage
Description: Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow at the National University of Singapore working with Joxan Jaffar. Even before that, he was a PhD student at the University of New Mexico working with Manuel He
Jorge Navas Formal Methods Software Verification Static Analysis Abstract Interpretation Symbolic Execution Model Ch
Domain rank: 100000000
Indexed URLs from jorgenavas.github.io website (1)
The links in column here only counts links from external domains.