Hi! I'm Keshav Kini, a first-year PhD student in Computer Science at the University of Texas at Austin. I currently am working as a graduate research assistant for Warren Hunt on a model of the Intel X86 ISA in the ACL2 theorem prover / pure functional programming language. I am also interested in learning more about the theory of programming languages, and in particular of dependent types.

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, 2013-12-10