CV | About Me | Academic Interests | Publications
I am a doctoral student in the Department of Computer Science at the University of Texas at Austin, advised by William Cook. Previously, I was a software developer in the Systems Core Group at the Samsung Research Institute, Noida. I graduated in 2013 from the Department of Computer Science and Engineering at the Indian Institute of Technology, Delhi, India.
My research has a strong focus on theorem proving as applied to filesystems.
Filesystems in the ACL2 Theorem Prover: an Application to
Mihir Parang Mehta
Binary-Compatible Verification of Filesystems with ACL2
Mihir Parang Mehta, William R. Cook
Site last updated: June 2019
© Mihir Mehta, 2018
The template has been "inherited" from Swapnil Jain.