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:

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

Top


Publications:

Top


Site last updated: October 2022

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