Shriram Krishnamurthi

Last updated
Professor
Shriram Krishnamurthi
Ph.D.
CitizenshipUnited States
Education
Known for Racket, debugger, FrTime, networking library
Flapjax
Awards SIGPLAN 2012 Robin Milner Young Researcher Award
SIGSOFT Influential Educator Award
Scientific career
Fields Computer science
Computer literacy
Institutions Brown University
Doctoral advisor Matthias Felleisen
Website cs.brown.edu/~sk/

Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University [1] and a member of the core development group for the Racket programming languages, [2] responsible for creation of software packages including the Debugger, the FrTime package, and the networking library. Since 2006, Krishnamurthi has been a leading contributor to the Bootstrap curriculum, a project to integrate computer science education into grades 6–12. [3]

Krishnamurthi received his Ph.D. at Rice University in 2000, under the direction of Matthias Felleisen. [4] 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 time-oriented programming language, named Flapjax, in support of asynchronous web programming. Krishnamurthi also authored a textbook on programming language design. [5]

Krishnamurthi has won several awards. In 2012, he became the inaugural winner of the SIGPLAN Robin Milner Young Researcher Award, given by the Association for Computing Machinery's (ACM) Special Interest Group on Programming Languages (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". [6] He also won the SIGSOFT Influential Educator Award. [7]

Related Research Articles

The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, reporting nearly 110,000 student and professional members as of 2022. Its headquarters are in New York City.

<span class="mw-page-title-main">Robin Milner</span> British computer scientist (1934–2010)

Arthur John Robin Gorell Milner was a British computer scientist, and a Turing Award winner.

<span class="mw-page-title-main">Douglas McIlroy</span> American mathematician and computer scientist

Malcolm Douglas McIlroy is an American mathematician, engineer, and programmer. As of 2019 he is an Adjunct Professor of Computer Science at Dartmouth College. McIlroy is best known for having originally proposed Unix pipelines and developed several Unix tools, such as spell, diff, sort, join, graph, speak, and tr. He was also one of the pioneering researchers of macro processors and programming language extensibility. He participated in the design of multiple influential programming languages, particularly PL/I, SNOBOL, ALTRAN, TMG and C++.

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

<span class="mw-page-title-main">Xavier Leroy</span> French computer scientist and programmer (born 1968)

Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France. Before his appointment at Collège de France in 2018, he was senior scientist at the French government research institution Inria.

<span class="mw-page-title-main">Matthias Felleisen</span> German-American computer science professor and author

Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University Bloomington under the direction of Daniel P. Friedman.

Jean E. Sammet was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language.

<span class="mw-page-title-main">Racket (programming language)</span> Lisp dialect

Racket is a general-purpose, multi-paradigm programming language. The Racket language is a modern dialect of Lisp and a descendant of Scheme. It is designed as a platform for programming language design and implementation. In addition to the core Racket language, Racket is also used to refer to the family of programming languages and set of tools supporting development on and with Racket. Racket is also used for scripting, computer science education, and research.

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.

Rodney Martineau "Rod" Burstall Fellow of the Royal Society of Edinburgh (FRSE) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.

Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City. He is also the leader of the core development team for the Racket programming language.

<span class="mw-page-title-main">Carl Hewitt</span> American computer scientist; Planner programming languagedesigner (1944-2022)

Carl Eddie Hewitt was an American computer scientist who designed the Planner programming language for automated planning and the actor model of concurrent computation, which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language, the π-calculus, and served as an inspiration for several other programming languages.

<span class="mw-page-title-main">George Necula</span> Romanian computer scientist

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

The International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) is an annual interdisciplinary computer science conference organized by the Association for Computing Machinery (ACM).

Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently, a professor of computer science at Northwestern University. He is also a member of the PLT group and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT. Findler is also a leading team member of the ProgramByDesign project.

Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

<span class="mw-page-title-main">ACM SIGOPS</span> ACMs Special Interest Group on Operating Systems

ACM SIGOPS is the Association for Computing Machinery's Special Interest Group on Operating Systems, an international community of students, faculty, researchers, and practitioners associated with research and development related to operating systems. The organization sponsors international conferences related to computer systems, operating systems, computer architectures, distributed computing, and virtual environments. In addition, the organization offers multiple awards recognizing outstanding participants in the field, including the Dennis M. Ritchie Doctoral Dissertation Award, in honor of Dennis Ritchie, co-creator of the C programming language and Unix operating system.

Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science.

References

  1. Krishnamurthi, Shriram. "Shriram Krishnamurthi: Professor of Computer Science". Computer Science at Brown University. Retrieved 2019-09-14.
  2. "Racket People". Racket-lang.org. Retrieved 2019-09-14.
  3. "Bootstrap: Community". Bootstrap. Retrieved 2019-09-14.
  4. Shriram Krishnamurthi at the Mathematics Genealogy Project.
  5. Krishnamurthi, Shriram (2003–2007). Programming Languages: Application and Interpretation. Providence, Rhode Island, United States: Perfect Paperback. ASIN   B00262R7B0 . Retrieved 2019-09-16.
  6. "Robin Milner Young Researcher Award". Special Interest Group on Programming Languages (SIGPLAN). Association for Computing Machinery. 2012. Retrieved 2019-09-14.
  7. "Influential Educator Award". ACM Special Interest Group on Software Engineering. Association for Computing Machinery. 2018. Retrieved 2019-09-16.