Rahul Krishnan

1st Year Computer Science PhD
University of Wisconsin-Madison

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

I am a first year CS PhD at UW-Madison. My research interests are primarily in formal methods (FM) and programming languages (PL), specifically in program synthesis. 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 play the piano/clarinet, take photos, travel, hike, cook (and eat), read books, and play games.