Shriram Krishnamurthi

Professor of Computer Science

Biography

Shriram Krishnamurthi is a Professor of Computer Science at Brown University. In the space of cybersecurity, he has three foci: Web security, especially through the medium of programming languages; configuration security, especially for servers and networks; and usability aspects of security, with an emphasis on mobile and social aspects.

Professor Krishnamurthi has won the ACM’s SIGPLAN Robin Milner Young Researcher Award, SIGSOFT Influential Educator Award, and SIGPLAN Software 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, and given over forty keynote and invited talks.

With collaborators and students, Professor Krishnamurthi 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 an author or co-author of three books: How to Design ProgramsProgramming Languages: Application and Interpretation, and Programming and Programming Languages. He also jointly runs Bootstrap, a national-scale middle-school math-and-computing outreach program.