
Registered user since Tue 23 Apr 2019
Name: Jorge A. Navas
Country: United States
Affiliation: SRI International
Personal website: https://jorgenavas.github.io/
Research interests: Static Analysis, Software Verification, Abstract Interpretation, Model Checking
Contributions
VMCAI 2021 | Committee Member in Program Committee within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile