Aman Goel is a PhD Student in the Computer Science department at the University of Michigan, advised by Karem Sakallah. His research interests include exploring the reliability & security of complex systems and developing automated reasoning algorithms for ensuring system correctness. His dissertation research is on developing induction-based formal techniques to scalably verify the correctness of hardware and software systems, with provable assurance and full automation.

Aman developed a formal verifier called AVR, which won the prestigious hardware model checking competition last year (HWMCC'20). His current work focuses on developing tools called I4 and IC3PO, that perform automatic verification of distributed protocols and parameterized systems.