Collection of the Lingling Award (1966-2003) Rick @ 2004-07-15 01:16 The Tiantian Award was first set up in 1966, which is the highest award granted by the US Computer Association in computer technology. Nobel Prize. It is named after Mr. Alan Turning, British Mathematics, and Mr. Alan Turing makes a prominent contribution to early calculations. The Turing Award mainly grants personal contributions in the computer technology field. These contributions must have a long-term impact on computer industry. List of previous Tu Ling Awards: 1966 AJ Perlis --- PHD, MIT; Prof, Yale (Was Prof At CMU) (manufactured) due to new generations The contribution of technology and compilation architecture won. 1967 Maurice v. Wilkes --- PHD, CAMBRIDGE; Prof, Cambridge won the award because of a complete memory computer that implements the first program. 1968 Richard W. Hamming --- PHD, UIUC; Prof, Naval Postgradeuate School (WASED) Due to the fact that the count method, automatic coding system, detection and correction error is granted the map spirit award. 1969 Marvin Minsky --- PHD, Princeton, Prof, MIT is awarded the Tulifra Prize for artificial intelligence. 1970 Jh Wilkinson --- BS, Cambridge; Staff, National Physical Laboratory, London won the study of the application of high-speed digital computers using numerical analysis methods. 1971 John McCarthy --- PHD, PRINCETON; Prof, Stanford is awarded to the map spirit by the contribution to artificial intelligence. 1972 Edsger W. Dijkstra --- PHD, u Amsterdam; Prof, Ut Austin due to outstanding performance in programming language Awards. 1973 Charles W. Bachman --- Staff, Honeywell won the awards due to outstanding contributions in the database. 1974 Donald E. Knuth --- PHD, CALTECH; P Rof, Stanford is awarded to the award due to design and completion of TAOCP (an innovative document production tool). 1975 Allen Newell --- PHD, Stanford; Prof, CMU (Deceased) and Herbert A. Simon --- PHD, Chicago; Prof, CMU (Deceased) awards due to basic research of artificial intelligence, human identification psychology and table treatment. 1976 Michael O. Rabin --- PHD, Princeton; Prof, Harvard and Dana S. Scott --- PHD, PRINCETON; PROF, CMU awards for the very valuable concepts proposed by their papers "limited automotive and their decision-making issues". 1977 John Backus --- BS, Columbia STAFF, IBM has awarded awards due to the designs of available advanced programming systems. 1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford's impact on its algorithm in software programming,
And pioneered a number of computer sub-disciplines including analysis, programming language, automatic program test, automatic program synthesis, and algorithm analysis. 1979 Kenneth E. Iverson Because of programming language theory, interactive The contribution of the system and the APL was awarded the award. 1980 C. Anthony R. Hoare --- PROF, OXFORD (NOW AT Microsoft) Due to the contribution of the definition and design of the programming language. 1981 Edgar F. CODD - - PHD, MICHIGAN; STAFF, IBM won the awards due to the theory and practical contribution of several 椐 椐 管理理理 systems. 1982 Steven A. Cook --- PHD, Harvard; Prof, U Toronto laid NP-Completeness theory The foundation was awarded. 1983 Ken Thompson --- MS, Berkeley; Staff, Bell-Labs and Dennis M. Ritchie --- PHD, Harvard; Staff, Bell-Labs Because of the class operating system theory, especially UNIX operating system Protecting. 1984 Niklaus Wirth --- PHD, Berkeley; Prof, Eth Zurich won the awards of Euler, Algol-W, Modula, and Pascal, a series of new computing languages. 1985 Richard M. Karp --- PHD, Harvard PROF, Berkeley won the contribution to the theory of algorithm. 1986 John E. Hopcroft --- PHD, Stanford; Prof, Cornell and Robert E. Tarjan --- PHD, Stanford; Prof, PrinceTon Because of the algorithm and data structure The decisive results obtained in the design and analysis were awarded. 1987 John Cocke - Staff, IBM won the contribution of object-oriented programming language and related programming skills. 1988 Ivan E. Sutherland --- PHD, MIT STAFF, Sun won the award due to computer graphics. 1989 William v. Kahan --- P HD, U Toronto; Prof, Berkeley won the awards due to the contribution of numerical analysis, he is an expert in the floating point calculation field. 1990 Fernando J. Corbato --- PHD, MIT; Prof, MIT due to large multi-function, Calculation systems that can achieve time and resource sharing, such as CTSS and Multic's contributions. 1991 Robin Milner --- PROF, CAMBRIDGE (WAS AT U Edinburgh) Due to logic (LCF), ML and parallelism of the calculated function The contribution of these three aspects of theory (CCS) was awarded. 1992 Butler Lampson --- PHD, Berkeley; Staff, Microsoft won the awards of personal distributed computer systems (including operating systems). 1993 Juris Hartmanis --- PROF, CALTECH; Prof, Cornell and Richard E. Stearns --- PHD, PRINCETON; Prof, Suny Albany won the award for the basis of computational complexity theory. 1994 raj reddy --- PHD, Stanford; Prof, CMU and Edward Feigenbaum (PHD, CMU; Prof, Stanford) won the pioneering studies of large artificial intelligence systems. 1995 Manuel Blum --- PHD, MIT;
