"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.