I am a fourth year PhD student, in the CS department at UCLA, where I am fortunate to be advised by two amazing people, Prof. Todd Millstein and Prof. George Varghese. My research interests lie at the intersection of Networks and Programming Languages. My work is focused on addressing two key limitations in the current network verification technology - the lack of formal specifications, and a shallow application that is limited only to the routing layer.
My projects in network verification have been in colloboration with Ryan Beckett and Behnaz Arzani from MNR group at Microsoft Research and Karthick Jayaraman from Windows Azure security group at Microsoft.
I passed the OQE, and have now advanced to candidacy — one more milestone reached!
I am a teaching assistant for the upper-division Computer Network Fundamentals (CS 118) course, taught by my advisor Prof. George Varghese.
I presented my first part of the internship work on DNS as a poster during the Microsoft Research Networking intern postern session event.
I am interning with Ryan Beckett from the MNR group led by Victor Bahl. I am developing the first verification tool using static analysis for proactive and exhaustive checking of the DNS configurations (zone files) for common bugs. I am also working with Karthick Jayaraman on finding misconfigurations in Microsoft data center and WAN router configurations and aiming to submit the work to NSDI 2020 fall deadline.
I passed the WQE — one milestone reached on the journey to my PhD!
I am honored to be the one of the recipients of the Dean’s special fellowship for the 2018-2019 academic year.