Rahul Krishnan

Computer Science PhD Student
University of Wisconsin-Madison

Email: rahulk AT cs DOT wisc DOT edu
GitHub | CV

I am a second 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 interests are at the nexus of programming languages and security. In particular, my reserach aims to design type systems and apply formal methods to integrate security policies directly into the languages that people program in. This way, the power to design provably secure systems is handed to any developer, rather than being limited to those with expertise.
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 traveling, hiking, cooking (and eating!), photography, and reading books. I also have gotten into biking during my time here in Madison.