Shriram Krishnamurthi

Associate Professor

Contact

Publications

Teaching

Activities

Personal

Blog

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 have contributed to several other useful and innovative software systems as well. My research group pages list other interesting efforts. For a fuller account, see the thematic description of my research and check out my papers.

Two of my talks (with full a/v): First, on Web programming (thanks, Microsoft) from the 2006 Lang.NET Symposium. The first half-hour is about older work while the second half-hour is about Flapjax. Second, The Swine Before Perl (thanks, Dr. Dobb's) from Lightweight Languages, 2001 (said to be “kickassing genial”).

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!