Note

I will be starting a postdoctoral researcher role at the University of Austin with Swarat Chaudhuri and Ufuk Topcu starting this Fall.


About Me

I recently completed my PhD in Computer Science at the University of Southern California, advised by Jyotirmoy Deshmukh as part of the CPS-VIDA group.

My research interests lie in the design and verification of controllers for learning-enabled cyber-physical systems. To this end, my research forks out in various directions, including:

Before this, I received my B.S. in Computer Engineering from the University at Buffalo in 2018, where I also worked with Prof. Karthik Dantu at the Distributed Robotics and Networked Embedded Systems Lab.

Selected Publications

For most up-to-date publication information, check out my DBLP or Google Scholar pages.