Shriram

http://www.cs.brown.edu/~sk/

Though my head is often in computer-aided verification, computer security, and software engineering, my heart is in programming languages.