headshot

Shriram Krishnamurthi

Professor of Computer Science

Office:CIT 377
Phone:none
Email: sk@@@cs.brown.edu

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

Publications by Shriram Krishnamurthi

Home Page

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.