Registered user since Sun 8 Jan 2017
Name:Aaron Tomb
Country:United States
Affiliation:Amazon Web Services
GitHub: https://github.com/atomb
Research interests:Verification, Formal Methods, Program Analysis
Contributions
POPL 2024-profile
View general profile
View general profile