` Shilpi Goel

Shilpi Goel

Ph.D. Student - Computer Science

Email: shigoel at cs dot utexas dot edu

Desk: GDC 7.814A
Research Assistant
ACL2 Theorem Proving Group

Department of Computer Science
The University of Texas at Austin

A picture of me was supposed to be
      here!

 ____________________________________________________________________________________________________

Home     Classes     Academic Activities     Publications     Personal    

 ____________________________________________________________________________________________________

I came to the University of Texas at Austin as a Master's student in Fall '10 but I switched to being a Ph.D. student in Spring '12. I am a Research Assistant under Prof. Warren A. Hunt, Jr and use the ACL2 Theorem Prover --- the latest in the Boyer-Moore Family of Theorem Provers --- to prove properties of systems that many people care about.

Currently, I am working on the specification of the X86 ISA in ACL2. For details about the motivations and goals of the project, see "Code Verification for Practical Machine Architectures".

 ____________________________________________________________________________________________________