Sevda Mammadova2238

Prof. D. KopecCIS 718

Award Recipient / Year / Distribution
A.J. Perlis / 1966 / Advanced programming techniques and compiler construction.
Maurice V. Wilkes / 1967 / In 1949 designed and build EDSAC, the first computer with an internally stored program using mercury delay line memory
Richard Hamming / 1968 / Numerical methods, automatic coding systems, and error-detecting and error-correcting codes
Marvin Minsky(AI) / 1969 / Cognitive psychology, mathematics, computational linguistics, robotics, and optics. In recent years he has worked on imparting to machines the human capacity for commonsense reasoning
J.H. Wilkinson / 1970 / research in numerical analysis to facilitate the use of the high-speed digital computer; computations in linear algebra and "backward" error analysis.
John McCarthy(AI) / 1971 / The Present State of Research on Artificial Intelligence
E.W. Dijkstra / 1972 / Contributor in the late 1950's to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor
Charles W. Bachman / 1973 / Outstanding contributions to database technology
Donald E. Knuth / 1974 / Major contributions to the analysis of algorithms and the design of programming languages; contributions to the "art of computer programming" through his well-known books in a continuous series by this title
Allen Newell(AI) / 1975 / The psychology of human cognition, and list processing (joint scientific effort with Herbert A. Simon)
Herbert A. Simon(AI) / 1975 / The psychology of human cognition, and list processing (joint scientific effort with Allen Newell)
Michael O. Rabin / 1976 / Joint paper (with Dana S. Scott) "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines
Dana S. Scott / 1976 / Joint paper (with Michael O. Rabin) "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines
John Backus / 1977 / Contributions to the design of practical high-level programming systems, notably through his work on FORTRAN; seminal publication of formal procedures for the specification of programming languages
Robert W. Floyd / 1978 / Influence on methodologies for the creation of efficient and reliable software, and for helping to found the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.
Kenneth E. Iverson / 1979 / Pioneering effort in programming languages and mathematical notation resulting in the APL; implementation of interactive systems, to educational uses of APL, and to programming language theory and practice
C. Antony R. Hoare / 1980 / Definition and design of programming languages
Edgar F. Codd / 1981 / Theory and practice of database management systems; originated the relational approach to database management in a series of research papers published commencing in 1970.
Stephen A. Cook / 1982 / Complexity of computation
Ken Thompson / 1983 / Generic operating systems theory, implementation of UNIX operating system
Dennis M. Ritchie / 1983 / Generic operating systems theory, implementation of UNIX operating system
Niklaus Wirth / 1984 / Computer languages development ( EULER, ALGOL-W, MODULA and PASCAL)
Richard M. Karp / 1985 / Theory of algorithms esp. the theory of NP-completeness
John Hopcroft / 1986 / Design and analysis of algorithms and data structures
Robert Tarjan / 1986 / Design and analysis of algorithms and data structures
John Cocke / 1987 / Theory of compilers, architecture of large systems, development of reduced instruction set computers (RISC)
Ivan Sutherland / 1988 / Computer graphics (Sketchpad)
William (Velvel) Kahan / 1989 / Numerical analysis
Fernando J. Corbato' / 1990 / Development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics
Robin Milner / 1991 / LCF (Logic of Computable Functions) , ML (the first language to include polymorphic type inference together with a type-safe exception-handling mechanism) , CCS (a general theory of concurrency)
Butler W. Lampson / 1992 / Distributed, personal computing environments
Juris Hartmanis / 1993 / Computational complexity theory
Richard E. Stearns / 1993 / Computational complexity theory
Edward Feigenbaum(AI) / 1994 / Large scale artificial intelligence systems
Raj Reddy(AI) / 1994 / Large scale artificial intelligence systems
Manuel Blum / 1995 / Computational complexity theory, its application to cryptography and program checking
Amir Pnueli / 1996 / Temporal logic, program and systems verification
Douglas Engelbart / 1997 / Interactive computing
James Gray / 1998 / Database and transaction processing
Frederick P. Brooks, Jr. / 1999 / Computer architecture, operating systems, software engineering
Andrew Chi-Chih Yao / 2000 / Theory of computation incl. pseudorandom number generation, cryptography, and communication complexity
Ole-Johan Dahl / 2001 / Object oriented programming (programming languages Simula I and Simula 67)
Kristen Nygaard / 2001 / Object oriented programming (programming languages Simula I and Simula 67)
Ronald L. Rivest / 2002 / Public key cryptography
Adi Shamir / 2002 / Public key cryptography
Leonard M. Adleman / 2002 / Public key cryptography
Alan Kay / 2003 / Object oriented programming
Vinton G. Cerf / 2004 / TCP/IP protocol suite
Robert E. Kahn / 2004 / TCP/IP protocol suite

1