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 sits at the nexus of programming languages and applied cryptography, where I primarily work on language design for programming using zkSNARKs. 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