Shriram Krishnamurthi

Professor of Computer Science

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

Research Areas: Programming Languages, 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 Flowlog (software-defined networking programming language and verifier).

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

He coordinates the Bootstrap math-and-computing outreach program.

He won SIGPLAN's Robin Milner Young Researcher Award, and Brown's Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education.

He has authored twelve papers recognized for honors by program committees.