Shriram Krishnamurthi

Professor of Computer Science

Office:CIT 377
Email: shriram@@@brown.edu

Research Areas: Programming Languages, Computing Education, Networking, Security and Cryptography, Software Engineering, Formal Methods, Human-Computer Interaction

Fall 2024
CSCI0190  Accelerated Introduction to Computer Science
CSCI1730  Design and Implementation of Programming Languages
Spring 2025
(not teaching)

Publications by Shriram Krishnamurthi

Home Page

Emailing me: Before sending me email, please see my contact information page, especially if you are a prospective student/intern/post-doc/etc.

With collaborators and students, Shriram has created several influential systems: DrRacket (programming environment), Margrave (security policy analyzer), FrTime and Flapjax (reactive programming languages), Lambda-JS and TeJaS (semantics and types for JavaScript), and more.

He is a co-author of How to Design Programs and Programming and Programming Languages, and author of Programming Languages: Application and Interpretation.

He coordinates the Bootstrap computing outreach program.

He won SIGPLAN's Robin Milner Young Researcher Award, SIGSOFT's Influential Educator Award, SIGPLAN's Software Award (joinly), and Brown's Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education.

He has authored over a dozen papers recognized for honors by program committees. He has an honorary doctorate from the Università della Svizzera Italiana.