About Me:
I am Kausik Subramanian, a 4th year PhD student of the University of Wisconsin-Madison in Computer Science, advised by Aditya Akella and Loris D'Antoni, working on applying techniques of formal methods and program verification and synthesis to networking. Before, I completed four life-changing years studying Computer Science at the Indian Institute of Technology, Bombay.
Research Interests:
Networking, Programming Languages
Word Cloud of my thesis proposal