I am a second year Ph.D. student in the CS Dept. of UIUC.
I am very fortunate for being advised by Prof. Mahesh Viswanathan .
For those interested in numbers, my Erdős number is 4.
Prior to joining UIUC, I worked for a year at WorldQuant Research (India) at Mumbai.
I graduated from IIT Bombay with a B.Tech in Computer Science and Engineering in 2014.
I am broadly interested in Formal Methods and its applications to Modelling, Verification and Synthesis of Software, and Hybrid Systems.
My interests also span Logic, Programming Languages and Theoretical Computer Science.
University email: firstname.lastname@example.org
Personal email: email@example.com