Shriram Krishnamurthi
Encyclopedia
Shriram Krishnamurthi is a computer scientist, currently teaching at Brown University (Providence, Rhode Island). He is also a member of the PLT group and, as such, responsible for the creation of several software packages in Racket, including the Debugger, the FrTime package, and the networking library.

Krishnamurthi received his PhD at Rice University
Rice University
William Marsh Rice University, commonly referred to as Rice University or Rice, is a private research university located on a heavily wooded campus in Houston, Texas, United States...

 under the direction of Matthias Felleisen
Matthias Felleisen
Matthias Felleisen is a computer science professor and an author of German background.Felleisen is currently a Trustee Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. In the past he has taught at Rice University after receiving his...

. 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
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...

 and is working on topics such as access control
Access control
Access control refers to exerting control over who can interact with a resource. Often but not always, this involves an authority, who does the controlling. The resource can be a given building, group of buildings, or computer-based information system...

, modularization of verification
Software verification
Software verification is a broader and more complex discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.There are two fundamental approaches to verification:...

, web-based interactive programming, and more. His most recent effort is a novel, time-oriented programming language, called Flapjax
Flapjax
Flapjax is a programming language built atop JavaScript. It provides a spreadsheet-like dataflow computation style, making it easy to create reactive Web pages without the burden of callbacks and potentially inconsistent mutation...

, in support of asynchronous web programming.
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK