Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

Registered user since Sat 12 Oct 2019

Name:Aman Goel

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
Research interests:Verification, Distributed Systems, Formal Methods


VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
Show activities from other conferences

POPL 2021-profile
View general profile