Divya Raghunathan

Department of Computer Science
Princeton University
35 Olden Street, Princeton, NJ, 08540


I am a PhD student in the Computer Science department at Princeton University, working with Prof. Aarti Gupta, Prof. David Walker, and Prof. Maria Apostolaki.
I graduated from the Indian Institute of Technology Bombay with a B.Tech (Honors) in Computer Science and Engineering in 2019.


My research interests are at the intersection of formal methods, networking, and programming languages. Specifically, I am interested in using formal methods and programming languages techniques for networking applications.