SeaHorn | A Verification Framework
Numair Mansur · Personal Page
About me | Dejan Jovanović
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 Her
c++ (3716) formal methods (47) static analysis (38) software verification (6) abstract interpretation (5) symbolic execution (3) model checking (3) jorge navas (1) horn clauses (1) constraint logic programming (clp)
My passion is the design and implementation of automatic tools that can boost programmers' productivity to make more reliable and secure code. The goal of my research is to improve the process of formally verifying complex software systems.
Before joining Certora, I worked at SRI International (2016-2021) and NASA Ames Research Center (2013-2016). Before that, I enjoyed my post-doc life at University of Melbourne (2011-2013) and National University of Singapore (2008-2011). I got a PhD in Computer Science from the University of New Mexico (Albuquerque), and a B.Sc in Computer Science from Technical University of Madrid .
At Certora, I'm working on the development of a new verifier for Solana smart contracts. Here some slides describing the work done so far.
SeaHorn | A Verification Framework
Numair Mansur · Personal Page
About me | Dejan Jovanović