Registered user since Sun 8 Jan 2017
Name:Aaron Tomb
Country:United States
Affiliation:Galois, Inc.
Personal website:https://galois.com/team/aaron-tomb/
Research interests:Formal Methods, Cryptography, Program Analysis
Contributions
| N40AI 2017 | Abstract Interpretation at Galois | ||||||||||||||||||||||||||||||||||||||||
| TTT 2017 | Invited Talk -- Type Theory in the Software Analysis Workbench | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile