Though my head is often in computer-aided verification, computer security, and software engineering, my heart is in programming languages. Over the years I have contributed to several innovative and useful software systems: Racket (formerly DrScheme), WeScheme, Margrave, Flapjax, FrTime, Continue, FASTLINK, and more.

For more on what I've been doing lately, please see my group's JavaScript and Web tools site and our research group's blog.

Separately, long before it became fashionable to do so, a group of us began to take high school computing seriously. Instead of just complaining about it, like everyone else did, we created a very successful program and have recently shifted our focus to middle schools.

I'm honored to be a recipient of Brown University's Wriston Fellowship and of SIGPLAN's Robin Milner Young Researcher Award. The former is for teaching and the latter for research, and I value both activities equally.

My work has been supported by the National Science Foundation's CAREER, Cyber Trust, ITR, and other programs. I have also received support from Cisco's Collaborative Research Initiative, the ESA Foundation, Fujitsu Labs, Google's Research Awards and RISE programs, and Jane Street Capital.

My names are not spelled Sriram or Shiram or Khrishnamurthi or Krishnamurthy or Krishnamurti (like the philosopher). Find me, o search engine, find me!