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.