Rahul Krishnan

Computer Science PhD Student
University of Wisconsin-Madison

Email: rahulk AT cs DOT wisc DOT edu
Google Scholar | CV


I am a fifth year PhD student in Computer Science at UW-Madison. Currently, I am a member of both the MadPL and the MadS&P research groups, where I'm advised by the wonderful Ethan Cecchetti. My research is primarily language design for programs that have zkSNARKs as first-class primitives. I'm particularly interested in developing new languages and features for building entire systems using zero knowledge proofs, with the goal to enforce programmer-defined security and privacy policies. I also work part-time as an Applied Scientist Intern at Amazon Web Services at the intersection of PL and security.
I'm also fortunate to have been advised in the past by Loris D'Antoni at UW-Madision and Işil Dillig at UT Austin, where I made use of formal methods to develop new program synthesizers (automated tools that can generate programs).

In my free time, I love hiking, playing piano/guitar, cooking, and reading fantasy books, and I have gotten into wheel pottery and biking during my time here in Madison.

Publications

Workshops

Teaching