I work on programming languages, computer-aided verification, and computer security, and especially at their intersection. My research style is to have two major projects at a time: one that makes good things happen, and another that prevents bad things from happening. These are currently best exemplified by Flapjax (a programming language for modern Web applications) and Margrave (a security-policy analyzer), respectively. This recipe—equal measures of liveness and safety, of progress and preservation—strikes me as a good way to organize one's life.

I am currently teaching Programming Languages.

Over the years I have contributed to several other innovative and useful software systems as well: DrScheme, FrTime, Continue, FASTLINK, and more. My research group pages list other interesting efforts. For a fuller account, see the thematic description of my research and check out my papers.

My work has been supported by the National Science Foundation's CAREER, Cyber Trust, ITR, and other programs, and by Brown University's Wriston Fellowship.

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