SCS Faculty AwardsSchool of Computer Science, Carnegie Mellon University Pittsburgh PA 15213-3891 (412)268-8525 . (412)268-5576 (fax)
- Guy Blelloch, 2011
*– "For contributions to parallel computing."* - Avrim Blum, 2007
*– "For fundamental contributions to computational learning theory, approximation algorithms, online algorithms, and AI planning."* - Manuel Blum, 2020
*– "For contributions to the foundations of computational complexity theory and its application to cryptography and program checking."* - Randal E. Bryant, 1999
*– "He is best known for Ordered Binary Decision Diagrams, a canonical form for boolean functions. Although originally developed for applications in CAD, this data structure has found many applications in areas such as hardware and software verification, automated theorem proving, and AI planning."* - Justine Cassell, 2016
*– "For contributions to human-computer interaction and advocacy for empowerment and voice through technology."* - Edmund M. Clarke, 1998
*– "He is the co-inventor of Model Checking (with his former student Allen Emerson). He and his graduate students helped make Model Checking a tool that can be used to verify finite-state concurrent systems of industrial complexity."* - Lorrie Faith Cranor, 2014
*– "For contributions to research and education in usable privacy and security."* Release - Christos Faloutsos, 2010
*– "For contributions to data mining, indexing, factals, and power laws."* - David J. Farber, 2000
*– "For pioneering contributions in the field of communications, and his extraordinary commitment to making the benefits of communications systems available to the widest possible community."* - Jodi Forlizzi, 2020
*– "For contributions to design research in human-computer interaction."* - David Garlan, 2013
*– "For contributions to the development of software architecture as a discipline in software engineering."* - Garth Gibson, 2012
*– "For contributions to the performance and reliability of storage systems."* - Anupam Gupta, 2021
*– "For contributions to approximation algorithms, online algorithms, stochastic algorithms and metric embeddings."* - Robert Harper, 2005
*– "For contributions to type systems for programming languages"* - Farnam Jahanian, 2009
*– "For contributions to the dependability and security of networks and systems"* - Takeo Kanade, 1999
*–"For broad contributions to research in and the advancement of computer science and robotics, and for service to the ACM and the greater computer science and robotics community."* - Sara Kiesler, 2010
*–"For contributions to human-computer interaction."* - Robert Kraut, 2011
*– "For contributions to human-computer interaction."* - Peter Lee, 2004
*– "For contributions to the security of mobile code."* - Matthew T. Mason, 2021
*– "For contributions to robotic manipulation and manipulation path planning."* - Gary L. Miller, 2002
*– "For contributions to the design and analysis of algorithms in number theory and computational geometry."* - James H. Morris, 2000
*– "He is responsible for several seminally important ideas in computer science. He was one of the first to use Lambda Calculus to model programming languages, he was one of the developers of "Lazy Evaluation," adn he was co-discoverer of the Knuth-Morris-Pratt string search algorithm. Morris was Principal Scientist and Research Fellow at Xerox Palo Alto Research Center from 1974 until 1982. In 1982 he moved to Carnegie Mellon where he has held a number of positions including Developer of the Campus-wide Network (The Andrew System) and Chairman of the Computer Science Department."* - Todd C. Mowry, 2016
*– "For contributions to software prefetching and thread-level speculation."* - Brad A. Myers, 2005
*– "For contributions to interactive programming environments."* - Randy Pausch, 2007
*– "For creation of innovative computer technology disseminated through programming environments, educational curricula, and mass consumer entertainment experiences."* - Frank Pfenning, 2015
*– "For contributions to the logical foundations of automatic theorem proving and types for programming languages."* - Raj Reddy, 2012
*– "For pioneering the design and construction of large-scale artificial intelligence systems."* - John C. Reynolds, 2001
*– "For research on the use of types in programming languages, for clarifying the semantical basis for types, and for influencing the design of modern programming languages."* - Tuomas Sandholm, 2008
*– "For contributions to combinatorial auctions and mechanism design."* - Mahadev Satyanarayanan, 2002
*– "For contributions to computer systems research in distributed and mobile information access."* - Dana S. Scott,(Emeritus) 1994
*– "For their joint paper 'Finite Automata and Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field."* - Srinivasan Seshan, 2019
*– "For contributions to computer networking, mobile computing and wireless communications."* - Mary Shaw, 1996
*– "For significant contributions to software engineering, especially in the areas of software architecture, abstract data types, and software engineering education."* - Daniel P. Siewiorek, 1994
*– "For outstanding contributions in parallel computer architecture, reliability, and computer architecture education."* - Herbert A. Simon, 1994 (in memoriam)
*– "With Allen Newell and J. C. Shaw, invented list processing languages and contructed pioneering programs (e.g., GPS) for problem solving by heuristic search."* - Manuela Veloso, 2016
*– "For contributions to the field of artificial intelligence, in particular in planning, learning, multiagent systems and robotics."* - Jeannette M. Wing, 1998
*– "For fundamental contributions to formal methods, programming languages, and programming methodology, and for promoting the use of formal methods in software development."* - Hui Zhang, 2005
*– "For contributions to network architecture, protocols, and algorithms."*
ALUMNI RECIPIENTS
- Stuart K. Card, 2000
*– "In recognition of his fundamental pioneering contributions toward creating a theory and practice of human-computer interaction that integrates computer science and psychological science - through research, tests, lecturing, and creating successful systems."*
- Rick Cattell, 2012
*– "For contributions to database systems."*
- David Dill, 2005
*– "For contributions to system verification and for leadership in the development of verifiable voting systems."*
- Carl Ebeling, 2011
*– "For contributions to the architecture and design of reconfigurable systems."*
- Edward A. Feigenbaum, 2007
*– "For contributions to artificial intelligence."*
- Jason Flinn, 2016
*– "For contributions to mobile computing and reliable distributed systems."*
- Peter A. Freeman, 2000
*– "For pioneering leadership in establishing software engineering as a professional field and for founding and leading the first College of Computing."*
- Charles M. Geschke, 1999
*– "For contributions to the PostScript Language and Interpreter and for his leadership of Adobe Systems, one of the most innovative software companies of today."*
- Yolanda Gil, 2016
*– "For leadership in advancing the use of artificial intelligence in support of science and for service to the community.*
- James Gosling, 2013
*– "For Java, NeWS, Emacs, NetBeans, and other contributions to programming languages, tools and environments."*
- Somesh Jha, 2016
*– "For contributions to verification, programming languages, and software engineering."*
- Sven Koenig, 2020
*– "For contributions to artificial intelligence, including heuristic search and multi-agent coordination."*
- John E. Laird, 2006
*– "For contributions to the development and application of cognitive architectures."*
- Monica S. Lam, 2007
*– "For contributions to compilers and program analysis."*
- James Landay, 2016
*– "For contributions to human-computer interaction, with a focus on user interface design tools and ubiquitous computing."*
- Charles E. Leiserson, 2006
*– "For contributions to parallel and distributed computing."*
- Roy Levin, 2008
*– "For contributions to software and systems"*
- David Maltz, 2020
*– "For contributions in compiler code generation for instruction level parallelism, and customized microprocessor architectures"*
- Bhubaneswar Mishra, 2007
*– "For contributions to symbolic computation and computational biology."*
- Thomas P. Moran, 2003
*– "For contirbutions to human-computer interaction."*
- Greg Morrissett, 2013
*– "For contributions to mathematically based methods for ensuring the efficient implementation and verification of practical programming languages."*
- Randy Pausch, 2007
*– "For contributions to the use of programming environments in education and entertainment."*
- Adrian Perrig, 2016
*– "For contributions in protocols for network and system security."*
- Benjamin C. Pierce, 2012
*– "For contributions to the theory and proactice of programming languages and their type systems."*
- Sanjit Arunkumar Seshia, 2020
*– "For contributions to formal verification, inductive synthesis, and cyber-physical systems."*
- Lui Sha, 2005
*– "For contributions to real-time systems."*
- Harry Shum, 2006
*– "For contributions to computer vision and computer graphics"*
- Peter Stone, 2020
*– "For contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce."*
- Milind Tambe, 2013
*– "For contributions to theory and practice of multi-agent systems, teamwork and security games."*
- Carlo Tomasi, 2016
*– For contributions in computer vision".*
- Andrew Tomkins, 2020
*– "For contributions to the understanding of the web and web-based social networks."*
- Santosh Vempala, 2015
*– "For contributions to algorithms for convex sets and probability distributions."*
- Philip Wadler, 2007
*– "For contributions to the theory of programming languages."*
| |

Return to: SCS Faculty Awards |