Name Shriram Krishnamurthi Role Author | ||
![]() | ||
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
- Shriram krishnamurthi static and dynamic reasoning for sdns
- Shriram krishnamurthi verification of web programs dan friedman s 60th birthday
- References
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".