title

Jorge Navas Homepage

Content-Type

text/html; charset=utf-8

description

Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist 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 Hermenegildo. His research area is Programming Languages and among his main interests are the design and development of tools for program verification and analysis of complex systems.

keywords

Jorge Navas, Formal Methods, Software Verification, Static Analysis, Abstract Interpretation, Symbolic Execution, Model Checking, C, C++, Rust, eBPF, Horn Clauses, Constraint Logic Programming (CLP), LLVM, SeaHorn, Crab, Clam, SeaDsa, Ikos, TRACER

stylesheet

css/style.css