DaN Simmons

The Price Turing or Turing Award , in homage to Alan Mathison Turing (1912 - 1954), is allotted every year since 1966 to a person selected for her contribution of technical nature made to the community Informatique. The contributions must be of major and durable technical importance in the data-processing field.

The reward is decreed by the Association for Computing Machinery (ACM).

This reward was created by the InterTrust Technologies Corporation' S Strategic Technologies and Architectural Research Laboratory (Lab STAR) . She is sometimes regarded as being the equivalent of the Nobel Prize data processing.

Prizes winner of the price

  • 1966 Alan J. Perlis (the United States) construction of Compiler S
  • 1967 Maurice Wilkes (the United Kingdom) software Library
  • 1968 Hamming Richard (the United States) numerical methods, systems of automatic coding, detection and correction of errors
  • 1969 Marvin Minsky (the United States) Artificial intelligence
  • 1970 James H. Wilkinson (the United Kingdom) analyzes numerical, algebra linéraire, analyzes error backwards
  • 1971 John McCarthy (the United States) Artificial intelligence
  • 1972 Edsger Dijkstra (Netherlands) the science and the art of the computer programming languages, language ALGOL
  • 1973 Charles Bachman (the United States) technology of the Databases
  • 1974 Donald Knuth (the United States) analyzes algorithms and the design of the computer programming languages
  • 1975 Allen Newell (the United States) and Herbert A. Simon (the United States) Artificial intelligence, the psychology of human comprehension, list processing
  • 1976 Michael Rabin (Germany) and Dana S. Scott (the United States) nondeterministic machines
  • 1977 John Backus (the United States) high level programming systems, formal procedures for the specification of the computer programming languages, language FORTRAN )
  • 1978 Robert Floyd (the United States) methodologies for the creation of effective and reliable software
  • 1979 Kenneth Iverson (Canada) computer programming languages and mathematical notation, implementation of interactive systems, use educational of APL, theory and practical of the language of programming
  • 1980 Charles A.R. Hoare (the United Kingdom) definition and design of the computer programming languages
  • 1981 Edgar Frank Codd (the United Kingdom) management systems of Databases, in particular those relational
  • 1982 Stephen Cook (the United States) complexity of data-processing calculation
  • 1983 Kenneth Thompson (the United States) and Refusals Ritchie (the United States) theory of the Operating systems, implementation of the system UNIX
  • 1984 Niklaus Wirth (Swiss) development of the languages EULER, ALGOL W, MODULATED and PASCAL
  • 1985 Richard Karp (the United States) theory of the algorithms, Np-complétude
  • 1986 John Hopcroft (the United States) and Robert Tarjan (the United States) creation and analyzes structures of data
  • 1987 John Cocke (the United States) theory of the compilers, structures of the great systems, invention of architectures RISC
  • 1988 Ivan Sutherland (the United States) Conception computer-assisted (CAD)
  • 1989 William Kahan (Canada) analyzes numerical
  • 1990 Fernando Corbató (the United States) application distributed, creation of CTSS and Multics
  • 1991 Robin Milner (the United Kingdom) (LCF, ml, CCS)
  • 1992 Butler Lampson (the United States) distributed personal environments
  • 1993 Juris Hartmanis (the United States) and Richard Stearns (the United States) theory of complexity
  • 1994 Edward Feigenbaum (The United States) and Raj Reddy (India) systems of Artificial intelligence of great scale
  • 1995 Manual Blum (Venezuela) theory of the complexity applied to the cryptography and the checking of programs
  • 1996 Amir Pnueli () logical temporal and checking of programs and systems
  • 1997 Douglas Engelbart (the United States) data-processing interactive
  • 1998 James Gray (the United States) databases and treatment of transactions
  • 1999 Frederick Brooks (the United States) architecture of the computers, operating systems and software
  • 2000 Andrew Yao (China) theory of the calculability, generation of pseudo-random numbers, Cryptography and complexity of communication
  • 2001 Ole-Johan Dahl (Norway) and Kristen Nygaard (Norway) directed Programming object and creation of the languages Simulated I and Simula 67
  • 2002 Ronald L. Rivest (the United States), Adi Shamir () and Leonard Mr. Adleman (the United States) Cryptographie with public key and system RSA
  • 2003 Alan Kay (the United States) directed Programming object and creation of the language Smalltalk
  • 2004 Vinton G. Stag (the United States) and Robert E. Kahn (the United States) networks, TCP/IP
  • 2005 Peter Naur (Denmark) For fundamental contributions to the design of the Computer programming languages and the definition of ALGOL 60, for the design of the Compiler S and for the art and the practice of the data-processing Programming.
  • 2006 Frances Allen (the United States) optimization of the compilers .

Classification by country after 2006

External bond

  • Price Turing

Random links:Gosselies | Phaner | Saint-Laurent-Chabreuges | Mélodieux Viréo | Augustalia