Rahul Krishnan

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

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


I am a junior majoring in Mathematics and Computer Science in the Turing Scholars honors program at UT Austin. My research interests are primarily in formal methods applied to develop tools for program synthesis and analysis. The research tools I develop are intended to help programmers and developers write less buggy and more reliable code through provable guarantees. I conduct research in the UToPiA group, where my advisor is 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.

Teaching


---this website is a work in progress---