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.