Rahul Krishnan

Computer Science PhD
University of Wisconsin-Madison

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


I am a second year CS PhD at UW-Madison. My research interests are primarily in formal methods and programming languages. Specifically, my research aims to take program synthesizers -- automated tools that can generate programs -- and scale them to real-world tasks. Currently, I am a member of the MadPL group, where I'm advised by the wonderful Prof. Loris D'Antoni.

Outside of school, I like to travel, hike, cook (and eat), read books, and play games.

Publications

Teaching