Saarth Deshpande

I am a second-year Computer Science Ph.D. student at UT Austin, working with Venkat Arun and Neeraja Yadwadkar at the UT Networked Systems Lab and UT-SysML. My research broadly focuses on using formal methods to make systems provably performant.

I received my M.S. in Computer Science from UC San Diego, where I worked with Amy Ousterhout on datacenter applications and networking. I have also worked with a few cool startups, Amazon DynamoDB, Amazon Music, and was a summer fellow at IIT Bombay.