Winners of the Turing Award - Computer Science



and...

Alan Perlis

Alan Jay Perlis (April 1, 1922 – February 7, 1990) was an American computer scientist known for his pioneering work in programming languages and the first recipient of the Turing Award. Perlis was born to a Jewish family in Pittsburgh, Pennsylvania....

Awards Won

x Award:: Turing Award

x Notes/Description:: For his influence in the area of advanced programming techniques and compiler construction

x Year:: 1966

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Person,; Deceased Person,; more ▼

Maurice Vincent Wilkes

Sir Maurice Vincent Wilkes FREng FRS (born June 26, 1913) is a British computer scientist credited with several important developments in computing. Wilkes was born in Dudley, Staffordshire, England and read Mathematics at St. John's College,...

Awards Won

x Award:: Turing Award

x Notes/Description:: Builder and designer of the EDSAC, the first computer with an internally stored program.

x Year:: 1967

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Designer,; more ▼

Richard Hamming

Richard Wesley Hamming (Chicago, February 11, 1915 – Monterey, California, January 7, 1998) was an American mathematician whose work had many implications for computer science and telecommunications. His contributions include the Hamming code (which...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes

x Year:: 1968

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Marvin Minsky

Marvin Lee Minsky (born August 9, 1927) is an American cognitive scientist in the field of artificial intelligence (AI), co-founder of Massachusetts Institute of Technology's AI laboratory, and author of several texts on AI and philosophy. Marvin...

Awards Won

x Award:: Turing Award

x Notes/Description:: for his work in artificial intelligence

x Year:: 1969

x Winning work:

x Award Winner:

x Award:: Japan Prize

x Notes/Description:: for the establishment of an academic field named Artificial Intelligence and the proposal of fundamental theories in that field.

x Year:: 1990

x Winning work:

x Award Winner:

x Award:: Benjamin Franklin Medal

x Notes/Description:

x Year:: 2001

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Author,; Influence Node,; more ▼

James H. Wilkinson

James Hardy Wilkinson (27 September 1919 – 5 October 1986) was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering. Born in Strood,...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his research in numerical analysis to facilitate the use of the high-speed digital computer, having received special recognition for his work in computations in linear algebra and "backward" error analysis

x Year:: 1970

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

John McCarthy

John McCarthy (born September 4, 1927, in Boston, Massachusetts), is an American computer scientist and cognitive scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence (AI). He was...

Awards Won

x Award:: Turing Award

x Notes/Description:: for his major contributions to the field of Artificial Intelligence

x Year:: 1971

x Winning work:

x Award Winner:

x Award:: National Medal of Science for Mathematics and Computer Science

x Notes/Description:: For his fundamental contributions to computer science and artificial intelligence, including the development of the LISP programming language; the mathematical theory of computation; the concept and development of time-sharing; the application of mathematical logic to computer programs that use commonsense knowledge and reasoning; and the naming and thus the definition of the field of artificial intelligence itself.

x Year:: 1990

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Influence Node,; more ▼

Edsger Dijkstra

Edsger Wybe Dijkstra (May 11, 1930 – August 6, 2002; Dutch pronunciation: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ( listen)) was a Dutch computer scientist. He received the 1972 Turing Award for fundamental contributions to developing programming languages, and...

Awards Won

x Award:: Turing Award

x Notes/Description:: for fundamental contributions in the area of programming languages

x Year:: 1972

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Charles Bachman

Charles William Bachman (Dec 11, 1924, Manhattan, Kansas) is an American computer scientist, who spent his entire career as an industrial researcher rather than in academia. He is particularly known for his work in the area of databases. Born during...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his outstanding contributions to database technology

x Year:: 1973

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Military Person,; more ▼

Donald Knuth

Donald Ervin Knuth (pronounced /kəˈnuːθ/) (born January 10, 1938) is a renowned computer scientist and Professor Emeritus of the Art of Computer Programming at Stanford University. Author of the seminal multi-volume work The Art of Computer...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to "The Art of Computer Programming" through his well-known books in a continuous series by this title

x Year:: 1974

x Winning work:

x Award Winner:

x Award:: Kyoto Prize

x Notes/Description:

x Year:: 1996

x Winning work:

x Award Winner:

x Award:: National Medal of Science for Mathematics and Computer Science

x Notes/Description:: For his significant rsearch into the mathematical analysis and design of efficient computer algorithms and for his profoundly influential books which have codified fundamental knowldge at the core of computer programming.

x Year:: 1979

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Author,; Computer Scientist,; more ▼

Allen Newell

Allen Newell (March 19, 1927 - July 19, 1992) was a researcher in computer science and cognitive psychology at the RAND corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of...

Awards Won

x Award:: Turing Award

x Notes/Description:: for their basic contributions to artificial intelligence and the psychology of human cognition

x Year:: 1975

x Winning work:

x Award Winner:: Herbert Simon

x Award:: National Medal of Science for Mathematics and Computer Science

x Notes/Description:: For his seminal contributions to the development of artificial intelligence, the theory of human cognition and the software and hardware of computational systems for complex information processing.

x Year:: 1992

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Dana Scott

Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career...

Awards Won

x Award:: Turing Award

x Notes/Description:: 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

x Year:: 1976

x Winning work:

x Award Winner:: Michael O. Rabin

x Award:: Leroy P. Steele Prizes

x Notes/Description:

x Year:: 1972

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Author,; more ▼

Michael O. Rabin

Michael Oser Rabin (Hebrew: מִיכָאֵל אֹשֶׁר רַבִּין‎, born September 1, 1931 in Breslau, Germany, today in Poland) is a computer scientist and a recipient of the Turing Award. Rabin was born as the son of a rabbi in what was then known as Breslau ...

Awards Won

x Award:: Turing Award

x Notes/Description:: 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

x Year:: 1976

x Winning work:

x Award Winner:: Dana Scott

x Also Typed With:: Person,; Influence Node,; Cryptographer,; more ▼

John Backus

For the physicist, see John Backus (acoustician) John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He directed the team that invented the first widely used high-level programming language (FORTRAN) and was...

Awards Won

x Award:: Turing Award

x Notes/Description:: For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages

x Year:: 1977

x Winning work:

x Award Winner:

x Award:: Charles Stark Draper Prize

x Notes/Description:: for his development of FORTRAN, the first widely used, general purpose, high-level computer language.

x Year:: 1993

x Winning work:

x Award Winner:

x Award:: National Medal of Science for Mathematics and Computer Science

x Notes/Description:: For his pioneering contributions to computer programming languages, especially development of the FORTRAN language which made the modern digital computer directly available to countless scientists and engineers.

x Year:: 1975

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Deceased Person,; more ▼

Herbert Simon

Herbert Alexander Simon (June 15, 1916 – February 9, 2001) was an American political scientist, economist and psychologist whose research ranged across the fields of cognitive psychology, computer science, public administration, economics,...

Awards Won

x Award:: Nobel Prize in Economics

x Notes/Description:: for his pioneering research into the decision-making process within economic organizations

x Year:: 1978

x Winning work:

x Award Winner:

x Award:: Turing Award

x Notes/Description:: for their basic contributions to artificial intelligence and the psychology of human cognition

x Year:: 1975

x Winning work:

x Award Winner:: Allen Newell

x Award:: National Medal of Science for Behavioral and Social Science

x Notes/Description:: For his fundamental contributions to our understanding of human problem-solving behavior and decisionmaking, particularly in organizations.

x Year:: 1986

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Robert Floyd

Robert W Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist. Born in New York, Floyd finished school at age 14. At the University of Chicago, he received a Bachelor's degree in liberal arts in 1953 (when still only 17) and a...

Awards Won

x Award:: Turing Award

x Notes/Description:: For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms

x Year:: 1978

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Kenneth E. Iverson

Kenneth Eugene Iverson (17 December 1920 - 19 October 2004) was a Canadian computer scientist noted for the development of the APL programming language in 1962. He was honored with the Turing Award in 1979 for his contributions to mathematical...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL, for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice

x Year:: 1979

x Winning work:

x Award Winner:

x Award:: National Medal of Technology

x Notes/Description:

x Year:

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Deceased Person,; more ▼

C. A. R. Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort, one of the world's most widely used...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his fundamental contributions to the definition and design of programming languages

x Year:: 1980

x Winning work:

x Award Winner:

x Award:: Kyoto Prize

x Notes/Description:: Information Science

x Year:: 2000

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Author,; more ▼

Edgar F. Codd

Edgar Frank "Ted" Codd (August 23, 1923 – April 18, 2003) was a British computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases. He made other contributions...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his fundamental and continuing contributions to the theory and practice of database management systems, esp. relational databases

x Year:: 1981

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Stephen Cook

Stephen Arthur Cook (born December 14, 1939, Buffalo, New York) is a noted computer scientist. Cook formalised the notion of NP-completeness in a famous 1971 paper "The Complexity of Theorem Proving Procedures", which also contained Cook's theorem,...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one of the most active and important research activities in computer science for the last decade.

x Year:: 1982

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Dennis Ritchie

Dennis MacAlistair Ritchie (username: dmr, born September 9, 1941) is an American computer scientist notable for his influence on C and other programming languages, and on operating systems such as Multics and Unix. He received the Turing Award in...

Awards Won

x Award:: Turing Award

x Notes/Description:: For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system

x Year:: 1983

x Winning work:

x Award Winner:: Ken Thompson

x Award:: National Medal of Technology

x Notes/Description:: for co-inventing the UNIX operating system and the C programming language which together have led to enormous advances in computer hardware, software, and networking systems and stimulated growth of an entire industry, thereby enhancing American leadership in the Information Age

x Year:: 1999

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Author,; more ▼

Ken Thompson

Kenneth Lane Thompson (born February 4, 1943), commonly referred to as Ken Thompson (or simply ken in hacker circles), is an American pioneer of computer science notable for his work with the B programming language and his shepherding of the Unix...

Awards Won

x Award:: Turing Award

x Notes/Description:: For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system

x Year:: 1983

x Winning work:

x Award Winner:: Dennis Ritchie

x Award:: National Medal of Technology

x Notes/Description:: For co-inventing the UNIX operating system and the C programming language which together have led to enormous advance to computer hardware, software and networking systems. And assimilated the growth of an entire industry thereby enhancing American leadership in the information age

x Year:: 1998

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Niklaus Wirth

Niklaus Emil Wirth (born February 15, 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering. In 1984 he won the Turing Award...

Awards Won

x Award:: Turing Award

x Notes/Description:: For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL

x Year:: 1984

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Influence Node,; more ▼

Richard Karp

Richard Manning Karp (born 1935) is a computer scientist and computational theorist, notable for research in the theory of algorithms, for which he received a Turing Award in 1985 and the Kyoto Prize in 2008. Born to Abraham and Rose Karp in Boston,...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness

x Year:: 1985

x Winning work:

x Award Winner:

x Award:: Kyoto Prize

x Notes/Description:

x Year:: 2008

x Winning work:

x Award Winner:

x Award:: Benjamin Franklin Medal

x Notes/Description:: Computer and Cognitive science

x Year:: 2004

x Winning work:

x Award Winner:

more ▼

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Robert Tarjan

Robert Endre Tarjan (born April 30, 1948) is a renowned American computer scientist. He is the discoverer of several important graph algorithms, including Tarjan's off-line least common ancestors algorithm, and co-inventor of both splay trees and...

Awards Won

x Award:: Turing Award

x Notes/Description:: For fundamental achievements in the design and analysis of algorithms and data structures.

x Year:: 1986

x Winning work:

x Award Winner:: John Hopcroft

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

John Hopcroft

John Edward Hopcroft (born October 7, 1939) is a renowned theoretical computer scientist. His textbooks on compilers (various editions are popularly known as the Dragon Book), theory of computation (also known as the Cinderella book) and data...

Awards Won

x Award:: Turing Award

x Notes/Description:: For fundamental achievements in the design and analysis of algorithms and data structures.

x Year:: 1986

x Winning work:

x Award Winner:: Robert Tarjan

x Also Typed With:: Person,; Influence Node,; Author,; more ▼

John Cocke

John Cocke (May 30, 1925 – July 16, 2002) was an American computer scientist recognised for his large contribution to computer architecture and optimizing compiler design. He is considered by many to be "the father of RISC architecture." He attended...

Awards Won

x Award:: Turing Award

x Notes/Description:: For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC)

x Year:: 1987

x Winning work:

x Award Winner:

x Award:: National Medal of Technology

x Notes/Description:

x Year:: 1991

x Winning work:

x Award Winner:

x Award:: National Medal of Science for Mathematics and Computer Science

x Notes/Description:: For his contributions to computer science in the design and theory of compilers, and for major advances in the theory and practice of high-performance computer systems.

x Year:: 1994

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Ivan Sutherland

Ivan Edward Sutherland (born 1938 in Hastings, Nebraska) is an American computer scientist and Internet pioneer. He received the Turing Award in 1988 for the invention of Sketchpad, an early predecessor to the sort of graphical user interface that...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after

x Year:: 1988

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Computer Scientist,; Influence Node,; more ▼

William Kahan

William Morton Kahan (born June 5, 1933, in Toronto, Ontario, Canada) is a mathematician and computer scientist whose main area of contribution has been numerical analysis. Among his colleagues he is known as Velvel Kahan. He attended the University...

Awards Won

x Award:: Turing Award

x Notes/Description:: For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to "making the world safe for numerical computations."

x Year:: 1989

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Fernando J. Corbató

Fernando José "Corby" Corbató (born July 1, 1926 in Oakland, California) is a prominent American computer scientist, notable as a pioneer in the development of time-sharing operating systems. Amongst many awards, he received the Turing Award in 1990...

Awards Won

x Award:: Turing Award

x Notes/Description:: for his pioneering work in organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems".

x Year:: 1990

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Operating System Developer,; more ▼

Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist. Milner was born in Yealmpton, near Plymouth, England into a military family. He was awarded a...

Awards Won

x Award:: Turing Award

x Notes/Description:: For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

x Year:: 1991

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Influence Node,; more ▼

Butler Lampson

Butler W. Lampson (born 1943) is a renowned computer scientist. After graduating from the Lawrenceville School, Lampson received his Bachelor's degree in Physics from Harvard University in 1964, and his Ph.D. in Electrical Engineering and Computer...

Awards Won

x Award:: Turing Award

x Notes/Description:: For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.

x Year:: 1992

x Winning work:

x Award Winner:

x Award:: Charles Stark Draper Prize

x Notes/Description:: For their work on Alta, the first practical networked computer

x Year:: 2004

x Winning work:

x Award Winner:: Charles P. Thacker,; Robert Taylor,; Alan Kay

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Juris Hartmanis

Juris Hartmanis (born July 5, 1928 in Riga, Latvia) is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the...

Awards Won

x Award:: Turing Award

x Notes/Description:: In recognition of their seminal paper which established the foundations for the field of computational complexity theory.

x Year:: 1993

x Winning work:

x Award Winner:: Richard Stearns

x Also Typed With:: Person,; Influence Node,; Author,; more ▼

Richard Stearns

Richard Edwin Stearns (born July 5, 1936) is a prominent computer scientist who, with Juris Hartmanis, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational...

Awards Won

x Award:: Turing Award

x Notes/Description:: In recognition of their seminal paper which established the foundations for the field of computational complexity theory.

x Year:: 1993

x Winning work:

x Award Winner:: Juris Hartmanis

x Also Typed With:: Person,; Computer Scientist,; Author

Edward Feigenbaum

Edward Albert Feigenbaum (born January 20, 1936; Weehawken, New Jersey) is a computer scientist working in the field of artificial intelligence. He is often called the "father of expert systems." Feigenbaum completed his undergraduate degree, and a...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.

x Year:: 1994

x Winning work:

x Award Winner:: Raj Reddy

x Also Typed With:: Person,; Influence Node,; Software Developer,; more ▼

Raj Reddy

Dabbala Rajagopal "Raj" Reddy (born June 13, 1937) is one of the early pioneers in Computer Science and Artificial Intelligence and served on the faculty of Stanford and Carnegie Mellon University (CMU) for over 40 years. He was the founding...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.

x Year:: 1994

x Winning work:

x Award Winner:: Edward Feigenbaum

x Award:: Padma Bhushan

x Notes/Description:

x Year:

x Winning work:

x Award Winner:

x Award:: Légion d'honneur

x Notes/Description:

x Year:

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Board Member,; Influence Node,; more ▼

Manuel Blum

Manuel Blum (born 26 April 1938 in Caracas, Venezuela) is a computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and...

Awards Won

x Award:: Turing Award

x Notes/Description:: In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.

x Year:: 1995

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Andrew Yao

Andrew Chi-Chih Yao (Chinese: 姚期智; pinyin: Yáo Qīzhì) is a prominent computer scientist and computational theorist. Yao used the minimax theorem to prove what is now known as Yao's Principle. Yao was born in Shanghai, China. He completed his...

Awards Won

x Award:: Pólya Prize

x Notes/Description:

x Year:: 1987

x Winning work:

x Award Winner:

x Award:: Knuth Prize

x Notes/Description:

x Year:: 1996

x Winning work:

x Award Winner:

x Award:: Turing Award

x Notes/Description:: In recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.

x Year:: 2000

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Amir Pnueli

Amir Pnueli (Hebrew: אמיר פנואלי‎; born April 22, 1941) is an Israeli computer scientist. Pnueli was born in Nahalal, Israel and received a Bachelor's degree in Mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the...

Awards Won

x Award:: Turing Award

x Notes/Description:: for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.

x Year:: 1996

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Douglas Engelbart

Dr. Douglas C. Engelbart (born January 30, 1925) is an American inventor and early computer pioneer. He is best known for inventing the computer mouse, as a pioneer of human-computer interaction whose team developed hypertext, networked computers,...

Awards Won

x Award:: Turing Award

x Notes/Description:: For an inspiring vision of the future of interactive computing and the invention of key technologies to help realize this vision.

x Year:: 1997

x Winning work:

x Award Winner:

x Award:: National Medal of Technology

x Notes/Description:: For inventing the computer mouse and helping develop hypertext

x Year:: 2000

x Winning work:

x Award Winner:

x Award:: Norbert Wiener Award for Social and Professional Responsibility

x Notes/Description:

x Year:

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Inventor,; more ▼

James N. Gray

James Nicholas "Jim" Gray (born 1944, lost at sea January 28, 2007) was an American computer scientist who received the Turing Award in 1998 "for seminal contributions to database and transaction processing research and technical leadership in...

Awards Won

x Award:: Turing Award

x Notes/Description:: for seminal contributions to database and transaction processing research and technical leadership in system implementation

x Year:: 1998

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Fred Brooks

Frederick Phillips Brooks, Jr. (born April 19, 1931) is a software engineer and computer scientist, best-known for managing the development of OS/360, then later writing candidly about the process in his seminal book The Mythical Man-Month. "It is a...

Awards Won

x Award:: Turing Award

x Notes/Description:: For landmark contributions to computer architecture, operating systems, and software engineering.

x Year:: 1999

x Winning work:

x Award Winner:

x Award:: National Medal of Technology

x Notes/Description:: For their contributions to the IBM System/360, a computer system and technologies which revolutionized the data processing industry

x Year:: 1985

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Author,; Influence Node,; more ▼

Ole-Johan Dahl

Ole-Johan Dahl (October 12, 1931 – June 29, 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard. Dahl, born in Mandal, Norway, is widely accepted as...

Awards Won

x Award:: Turing Award

x Notes/Description:: For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67.

x Year:: 2001

x Winning work:

x Award Winner:: Kristen Nygaard

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Kristen Nygaard

Kristen Nygaard (August 27, 1926 – August 10, 2002) was a Norwegian mathematician, computer programming language pioneer and politician. He was born in Oslo and died of a heart attack in 2002. Internationally he is acknowledged as the co-inventor of...

Awards Won

x Award:: Turing Award

x Notes/Description:: For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67.

x Year:: 2001

x Winning work:

x Award Winner:: Ole-Johan Dahl

x Also Typed With:: Person,; Deceased Person,; Influence Node,; more ▼

Adi Shamir

Adi Shamir (Hebrew: עדי שמיר‎; born July 6, 1952) is an Israeli cryptographer. He is one of the inventors of the RSA algorithm (along with Ron Rivest and Len Adleman), one of the inventors of the Feige-Fiat-Shamir Identification Scheme (along with...

Awards Won

x Award:: Turing Award

x Notes/Description:: For their ingenious contribution for making public-key cryptography useful in practice.

x Year:: 2002

x Winning work:

x Award Winner:: Ronald Rivest,; Leonard Adleman

x Also Typed With:: Person,; Cryptographer,; Influence Node,; more ▼

Ronald Rivest

Ronald Linn Rivest (born 1947, Schenectady, New York) is a cryptographer. He is the Andrew and Erna Viterbi Professor of Computer Science at MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of MIT's Computer...

Awards Won

x Award:: Turing Award

x Notes/Description:: For their ingenious contribution for making public-key cryptography useful in practice.

x Year:: 2002

x Winning work:

x Award Winner:: Leonard Adleman,; Adi Shamir

x Also Typed With:: Person,; Person,; Cryptographer,; more ▼

Leonard Adleman

Leonard Max Adleman (born December 31, 1945) is a theoretical computer scientist and professor of computer science and molecular biology at the University of Southern California. He is known for being a co-inventor of the RSA (Rivest-Shamir-Adleman)...

Awards Won

x Award:: Turing Award

x Notes/Description:: For their ingenious contribution for making public-key cryptography useful in practice.

x Year:: 2002

x Winning work:

x Award Winner:: Ronald Rivest,; Adi Shamir

x Also Typed With:: Person,; Organization member,; Cryptographer,; more ▼

Alan Kay

Alan Curtis Kay (born May 17, 1940) is an American computer scientist, known for his early pioneering work on object-oriented programming and windowing graphical user interface design. He is the president of the Viewpoints Research Institute, and an...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering many of the ideas at the root of contemporary object-oriented programming languages, leading the team that developed Smalltalk, and for fundamental contributions to personal computing.

x Year:: 2003

x Winning work:

x Award Winner:

x Award:: Charles Stark Draper Prize

x Notes/Description:: For their work on Alta, the first practical networked computer

x Year:: 2004

x Winning work:

x Award Winner:: Charles P. Thacker,; Robert Taylor,; Butler Lampson

x Award:: Kyoto Prize

x Notes/Description:

x Year:: 2004

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Software Developer,; more ▼

Vint Cerf

Vinton G. Cerf is vice president and Chief Internet Evangelist for Google. He is responsible for identifying new...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering work on internetworking, including the design and implementation of the Internet's basic communications protocols, TCP/IP, and for inspired leadership in networking.

x Year:: 2004

x Winning work:

x Award Winner:: Robert E. Kahn

x Award:: Presidential Medal of Freedom

x Notes/Description:

x Year:: 2005

x Winning work:

x Award Winner:

x Award:: National Medal of Technology

x Notes/Description:: For creating and sustaining development of Internet Protocols

x Year:: 1997

x Winning work:

x Award Winner:: Robert E. Kahn

more ▼

x Also Typed With:: Person,; Board Member,; Influence Node,; more ▼

Robert E. Kahn

Robert Elliot Kahn, (born December 23, 1938) is an engineer who, along with Vinton G. Cerf, invented the Transmission Control Protocol (TCP) and the Internet Protocol (IP), the technologies used to transmit information on the Internet. After...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering work on internetworking, including the design and implementation of the Internet's basic communications protocols, TCP/IP, and for inspired leadership in networking.

x Year:: 2004

x Winning work:

x Award Winner:: Vint Cerf

x Award:: National Medal of Technology

x Notes/Description:: For creating and sustaining development of Internet Protocols

x Year:: 1997

x Winning work:

x Award Winner:: Vint Cerf

x Award:: Presidential Medal of Freedom

x Notes/Description:

x Year:: 2005

x Winning work:

x Award Winner:

more ▼

x Also Typed With:: Person,; Board Member,; Influence Node,; more ▼

Peter Naur

Peter Naur (born October 25, 1928) is a Danish pioneer in computer science and Turing award winner. His last name is the N in the BNF notation (Backus-Naur form), used in the description of the syntax for most programming languages. He contributed...

Awards Won

x Award:: Turing Award

x Notes/Description:: For fundamental contributions to programming language design and the definition of ALGOL 60, to compiler design, and to the art and practice of computer programming.

x Year:: 2005

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Programming Language Designer,; Influence Node,; more ▼

Frances Allen

Frances Elizabeth "Fran" Allen (born 1932) is an American computer scientist and pioneer in the field of optimizing compilers. Her achievements include seminal work in compilers, code optimization, and parallelization. She also had a role in...

Awards Won

x Award:: Turing Award

x Notes/Description:: For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution.

x Year:: 2006

x Winning work:

x Award Winner:

x Also Typed With:: Person,; Influence Node,; Computer Scientist,; more ▼

Edmund M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie...

Awards Won

x Award:: Turing Award

x Notes/Description:: For [their roles] in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries

x Year:: 2007

x Winning work:

x Award Winner:: E. Allen Emerson,; Joseph Sifakis

x Also Typed With:: Person,; Influence Node

E. Allen Emerson

Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking. He is also the...

Awards Won

x Award:: Turing Award

x Notes/Description:: For [their roles] in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries

x Year:: 2007

Computer Science

Winners of the Turing Award Filter Award Winner topics

55 Award Winner topics matching:

x Add new column Show in info bubble Show in info bubble Add new edge