"I wanted to change the world. But they wouldn't give me the source code.."

Thank you for visiting my homepage. I am Santhosh Prabhu, a PhD student of Computer Science at the University of Illinois at Urbana-Champaign. My broad research interests include Formal Methods, Distributed Systems and Networking. I am currently working with(?) Prof. Matthew Caesar and Prof. Madhusudhan Parthasarathy. Previously, I used to be a part of the FormalV group led by Prof. Pallab Dasgupta at Indian Institute of Technology, Kharagpur.

Quick Links:

  • My Master's Thesis

  • FormalV@IITKgp