Shriram Krishnamurthi
Professor of Computer Science
Office: | CIT 377 |
Phone: | none |
Email: | shriram | @brown.edu
Research Areas: | Programming Languages, Computing Education, Networking, Security and Cryptography, Software Engineering, Formal Methods, Human-Computer Interaction |
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.