Sign In
Get Clay Free →

Suggestions

    Aman Goel

    AWS - - Automated Reasoning - - Computer Science - - PhD from UMich - - Ex IIT Madras

    Aman Goel is an Applied Scientist in the Automated Reasoning Group at Amazon Web Services, specializing in developing tools for bug identification and system verification.

    A Ph.D. graduate from the University of Michigan in Computer Science and Engineering, Aman's research focuses on scalable verification techniques for hardware, software, and distributed systems, with an emphasis on provable assurance and full automation.

    His notable contributions include the development of AVR (Abstractly Verifying Reachability), I4 (Incremental Inference of Inductive Invariants), and IC3PO (IC3 for Proving Protocol Properties) verification tools, with achievements like winning the Hardware Model Checking Competition in 2020 and automatically verifying the Paxos consensus protocol.

    Aman holds a Bachelor's and Master's degree in Electrical Engineering from the prestigious Indian Institute of Technology (IIT) Madras, and has received accolades like the Rackham Predoctoral Fellowship and the best student award for his Ph.D. research at the University of Michigan.

    Beyond his professional endeavors, Aman enjoys activities like swimming, skating, playing badminton, solving sudoku puzzles, playing card games, and watching cricket and soccer matches.

    Aman Goel
    Add to my network

    Location

    Bellevue, Washington, United States