Welcome
About Me:
I am Kausik Subramanian, a 5th 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
