Giải thưởng A. M. Turing

Vietsciences- Võ Thị Diệu Hằng      23/04/05        

 

Giải thưởng A. M. Turing là giải   nổi tiếng về kỹ thuật của  hội ACM  (Association for Computing Machinery). Giải này lấy tên của Alan Mathison Turing (1912-1954), một nhà toán học Anh, được xem là một trong những cha đẻ của máy tính hiện nay.l

Giải Turing nhiều khi được gọi là "Giải Nobel cho ngành máy tính" (cũng như giải Fields được coi như là giải Nobel cho toán học). Giải này được hãng Intel bảo trợ và có giá trị hiện thời là 100 ngàn dollars.


Giải Alan Mathison Turing phát mỗi năm một lần, từ năm 1966 đến nay cho người được chọn vì những đóng góp về kỹ thuật cho cộng đồng máy tính. Những đóng góp phải mới và chủ yếu cho ngành máy tính. Phần lớn những người được giải là các nhà khoa học  máy tính.

Association for Computing Machinery, hay ACM, thành lập từ năm 1947, được xem là Hội máy tính đầu tiên của thế giới. Các hội viên hiện lên đến 78000 người. Cơ quan chỉ huy nằm tại New York.

 

 

Danh sách những người lãnh giải A. M. Turing

Trích từ Wikipedia

 

Year Name(s) Area of Contribution
1966 Alan J. Perlis advanced programming techniques, compiler construction
1967 Maurice V. Wilkes internally stored program, program libraries
1968 Richard Hamming numerical methods, automatic coding systems, error-detecting and error-correcting codes
1969 Marvin Minsky artificial intelligence
1970 James H. Wilkinson numerical analysis, linear algebra, "backward" error analysis
1971 John McCarthy artificial intelligence
1972 Edsger Dijkstra the science and art of programming languages
1973 Charles W. Bachman database technology
1974 Donald E. Knuth analysis of algorithms and the design of programming languages
1975 Allen Newell and Herbert A. Simon artificial intelligence, the psychology of human cognition, list processing
1976 Michael O. Rabin and Dana S. Scott nondeterministic machines
1977 John Backus high-level programming systems, formal procedures for the specification of programming languages
1978 Robert W. Floyd methodologies for the creation of efficient and reliable software
1979 Kenneth E. Iverson programming languages and mathematical notation, implementation of interactive systems, educational uses of APL, programming language theory and practice
1980 C. Antony R. Hoare definition and design of programming languages
1981 Edgar F. Codd database management systems, esp. relational databases
1982 Stephen A. Cook complexity of computation
1983 Ken Thompson and Dennis M. Ritchie generic operating systems theory, implementation of UNIX operating system
1984 Niklaus Wirth computer language development
1985 Richard M. Karp theory of algorithms esp. the theory of NP-completeness
1986 John Hopcroft and Robert Tarjan design and analysis of algorithms and data structures
1987 John Cocke theory of compilers, architecture of large systems, development of reduced instruction set computers (RISC)
1988 Ivan Sutherland computer graphics
1989 William (Velvel) Kahan numerical analysis
1990 Fernando J. Corbató CTSS and Multics
1991 Robin Milner LCF, ML, CCS
1992 Butler W. Lampson distributed, personal computing environments
1993 Juris Hartmanis and Richard E. Stearns computational complexity theory
1994 Edward Feigenbaum and Raj Reddy large scale artificial intelligence systems
1995 Manuel Blum computational complexity theory, its application to cryptography and program checking
1996 Amir Pnueli temporal logic, program and systems verification
1997 Douglas Engelbart interactive computing
1998 James Gray database and transaction processing
1999 Frederick P. Brooks, Jr. computer architecture, operating systems, software engineering
2000 Andrew Chi-Chih Yao theory of computation incl. pseudorandom number generation, cryptography, and communication complexity
2001 Ole-Johan Dahl and Kristen Nygaard object oriented programming
2002 Ronald L. Rivest, Adi Shamir and Leonard M. Adleman public key cryptography
2003 Alan Kay object oriented programming
2004 Vinton G. Cerf and Robert E. Kahn TCP/IP Protocol
 

© http://vietsciences.net   và  http://vietsciences.free.fr Võ Thị Diệu Hằng