Hi! I'm Keshav Kini, a third-year PhD student in Computer Science at the University of Texas at Austin. My supervisor is Warren Hunt, and in our group we use the ACL2 theorem prover / pure functional programming language to prove properties about hardware, software, and other things. My desk is at GDC 7.814B if you want to stop by and say hi.

I'm currently TAing CS 429, Computer Architecture and Organization, for the second time. If you're in the class, make sure to check out the Piazza page!

I hope to put something more interesting on this site in the future, but for now you can contact me on Twitter, or email me (I'm sure you can figure out my email address if you've found this page!).

— Keshav Kini, 2015-02-26