Welcome
About Me:
I am Kausik Subramanian, a Software Engineer in the Fabric Routing Team at Google. I finished my PhD
at 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
