URL details: jorgenavas.github.io
URL title:
Jorge Navas Homepage
URL 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
URL keywords:
Jorge Navas, Formal Methods, Software Verification, Static Analysis, Abstract Interpretation, Symbolic Execution, Model Ch
URL last crawled:
2022-06-12
URL speed:
0.901 MB/s,
downloaded in 0.030 seconds
We found no external links pointing to this url.