SPLASH 2020 (series) / Aman Goel
Registered user since Sat 12 Oct 2019
Name: Aman Goel
Bio: I am a Ph.D. student candidate in the CSE department at the University of Michigan, Ann Arbor. I am working with my adviser Prof. Karem Sakallah on automatic formal verification of complex systems.
I am the developer of AVR, a push-button verification engine for scalable verification of state transition systems, for applications in hardware, software and distributed systems verification.
I have worked on a verification engine called I4 that uses AVR to scalably verify properties on distributed systems.
Country: United States
Affiliation: University of Michigan
Personal website: https://aman-goel.github.io/
Research interests: Verification, Distributed Systems, Formal Methods
Contributions
SPLASH 2020 | Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile