Shriram Krishnamurthi

Professor of Computer Science

Brown PLT and CS Ed; Bootstrap
Computer Science Department
Brown University

Contact (with Calendar)

Though my head is often in formal methods, HCI, security, and networking, my heart is in programming languages. Over the years I have contributed to several innovative and useful software systems: JavaScript tools, Flowlog, Racket (formerly DrScheme), WeScheme, Margrave, Flapjax, FrTime, Continue, FASTLINK, (Per)Mission, and more. Currently, I mainly work on Pyret. For more of what I've been doing lately, please see my research group's blog.

Since 2016 [manifesto], I have devoted a substantial portion of my time and energy to the hardest problem I've worked on: computing education research. It's the hardest because it requires substantial work on both technical and human-factors fronts; the audience is often unsophisticated and vulnerable; and if you screw up, you can do real damage to not only individuals but also the field and society.

I have been doing computing outreach since 1995. You may may know me through my (co-authored) books like HtDP, PLAI, PAPL, or (currently) DCIC. Our current outreach program, Bootstrap, is used internationally to integrate computing into math, physics, social studies, and other disciplines.

I was an Associate Director of Brown's Executive Master in Cybersecurity program, where I was responsible for the human factors course. The new version of the program is housed in computer science.

I'm honored to be a recipient of SIGPLAN's Robin Milner Young Researcher Award, SIGSOFT's Influential Educator Award, SIGPLAN's Software Award (jointly), and Brown University's Wriston Fellowship.

Disclosure: My work has been supported financially by the US National Science Foundation, Bloomberg, Cisco,, CSNYC, the ESA Foundation, Fujitsu, General Motors, Google, Infosys, Jane Street Capital, the State of Rhode Island, and TripAdvisor. I believe my views have not been swayed by this support, but I provide this information so you can judge for yourself.

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