Rahul Krishnan

Computer Science Major (Turing Scholar)
University of Texas at Austin

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


I am a senior majoring Computer Science in the Turing Scholars honors program and Mathematics at UT Austin. My research interests are primarily in formal methods (FM) and programming languages (PL), specifically in program synthesis and analysis. My goal is to bring ideas from PL/FM over to other domains by developing synthesis tools to automate complicated or tedious tasks, while ensuring the resulting software is safe and reliable. Whether it is verifying ML properties like robustness or fairness, automatically repairing broken code, or synthesizing concurrent programs without race conditions, I believe these techniques can be applied to many current and future areas of research.
Currently, I am a member of the UToPiA group, where I'm advised by the wonderful Prof. Isil Dillig.

Outside of school, I like to play the piano/clarinet, take photos, travel, hike, cook (and eat), read books, and play games.

Publications

Teaching