Mihir Mehta Doctoral Student Department of Computer Science University of Texas at Austin Graduate Department of Computer Science and Engineering Indian Institute of Technology Delhi

Email Personal Webpage

mihir[at]cs[dot]utexas[dot]edu mihir[dot]cs[dot]iitd[at]gmail[dot]com http://www.cs.utexas/edu/~mihir

CV | About Me | Academic Interests | Publications

About me:

I am a Formal Verification Engineer at Intel Corp. Previously, I was a doctoral student in the Department of Computer Science at the University of Texas at Austin (advisor's homepage, dissertation, dissertation defence slides). 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.

Top

Academic Interests:

• Formal Verification

• Operating systems

• Automata Theory

My research has a strong focus on theorem proving as applied to filesystems.

Top

Publications:

• Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32 (ACL2-2018) Mihir Parang Mehta
  

• Binary-Compatible Verification of Filesystems with ACL2 (ITP 2019) Mihir Parang Mehta, William R. Cook
  

Top

Site last updated: October 2022

© Mihir Mehta, 2022
The template has been "inherited" from Swapnil Jain.