CV | About Me | Academic Interests | Publications
I am a doctoral student in the Department of Computer Science at the University of Texas at Austin. 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
FAT32 (October 2018)
Mihir Parang Mehta
Site last updated: December 2018
© Mihir Mehta, 2018
The template has been "inherited" from Swapnil Jain.