Siddhesh Joshi (Editor)

Shriram Krishnamurthi

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name
  
Shriram Krishnamurthi

Role
  
Author

Education
  
Rice University


Shriram Krishnamurthi httpscsbrowneduskImagesme20140605jpg

Books
  
How to Design Programs, Programming Languages: Application and Interpretation

Similar People
  
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt

Shriram krishnamurthi static and dynamic reasoning for sdns


Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development group for the Racket programming languages, responsible for the creation of software packages including the Debugger, the FrTime package, and the networking library.

Contents

Krishnamurthi received his PhD at Rice University in 2000, under the direction of Matthias Felleisen. His dissertation is on linguistic reuse and macro systems in the presence of first-class modules. Starting from this topic, Krishnamurthi has moved into software engineering and is working on topics such as access control, modularization of verification, web-based interactive programming, and more. His most recent effort is a novel, time-oriented programming language, called Flapjax, in support of asynchronous web programming. Krishnamurthi also authored a textbook on programming language design.

In 2012, Krishnamurthi became the inaugural winner of the Robin Milner Young Researcher Award, given by SIGPLAN to a researcher whose research career began within 20 years of the nomination date. The award citation describes Krishnamurthi as "a prolific researcher who brings programming language theory to bear in many other disciplines, thus exposing its foundational value".

Shriram krishnamurthi verification of web programs dan friedman s 60th birthday


References

Shriram Krishnamurthi Wikipedia