جائزة تورنگ

جائزة تورنگ
آلان تورنگ، الرياضياتي البريطاني الذي سُميت الجائزة باسمه.
قدمت منرابطة ميكنة الحوسبة (ACM)
البلدالولايات المتحدة
قيمة الجائزة1.000.000 دولار [1]
أول جائزة1966
آخر جائزة2020
الموقع الإلكترونيamturing.acm.org

جائزة تورنگ (Turing Award)، هي جائزة سنوية تمنحها رابطة ميكنة الحوسبة من أجل الإسهامات "ذات الأهمية التقنية المتميزة والكبرى في مجال الحاسوب".[2] ومن المعترف بها عمومًا باعتباره أعلى تمييز في علوم الحاسوب وتُعرف أو يشار لها غالباً باسم "جائزة نوبل في الحوسبة".[3][4][5][6]

سُميت الجائزة على اسم آلان تورنگ، الرياضياتي البريطاني والقارئ في الرياضياات في جامعة مانشستر. يعتبر تورنگ مؤسس رئيسي لعلم الحاسوب النظري والذكاء الاصطناعي.[7] من عام 2007 حتى 2013، يُمنح الفائز منحة مالية قيمتها 250.000 دولار أمريكي، كدعم مالي مقدم من إنتل وگوگل.[2] ومنذ 2014، يُمنح الفائز، بالإضافة للجائزة منحة مالية قيمتها 1 مليون دولار، كدعم مالي من گوگل.[1][8]

كان أول فائز بالجائزة عام 1966، آلان پرليس من جامعة كارنگي ملون، أما أول فائزة فكانت فرانسس ألن من آي بي إم عام 2006.[9]

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

الفائزون

حائزو جائزة تورنگ
السنة الفائز صورة السبب المؤسسة التابعة
1966 ألان پرليس من أجل تأثيره في مجال تقنيات برمجة الحاسوب المتقدمة وبناء المُترجم[10][11] جامعة كارنگي ملون
1967 موريس ويلكس Maurice Wilkes Wilkes is best known as the builder and designer of the EDSAC, the second computer with an internally stored program. Built in 1949, the EDSAC used a mercury delay line memory. He is also known as the author, with David Wheeler and Stanley Gill, of a volume on "Preparation of Programs for Electronic Digital Computers" in 1951, in which program libraries were effectively introduced.[12][13] University of Cambridge
1968 رتشارد هامنگ For his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes[14][15] Bell Labs
1969 مارڤن منسكي Marvin Minsky For his central role in creating, shaping, promoting, and advancing the field of artificial intelligence[16][17] معهد مساتشوستس للتكنولوجيا
1970 جيمس ويلكنسون 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[18][19] National Physical Laboratory
1971 جون مكارثي John McCarthy McCarthy's lecture "The Present State of Research on Artificial Intelligence" is a topic that covers the area in which he has achieved considerable recognition for his work.[20][21] جامعة ستانفورد
1972 إدسگر ديكسترا Edsger W. Dijkstra Edsger Dijkstra was a principal contributor in the late 1950s to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal proponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages.[22][23] Centrum Wiskunde & Informatica,
Eindhoven University of Technology,
جامعة تكساس في أوستن
1973 تشارلز باكمان Charles Bachman For his outstanding contributions to database technology[24][25] General Electric Research Laboratory (now under Groupe Bull, an Atos company)
1974 دونالد كنوث Donald Knuth 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[26][27] California Institute of Technology,
Center for Communications Research, Center for Communications and Computing, Institute for Defense Analyses,
Stanford University
1975 ألن نيووِل In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the RAND Corporation, and subsequently with numerous faculty and student colleagues at Carnegie Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing.[28][29][30] RAND Corporation,
Carnegie Mellon University
هربرت سايمون

Herbert A. Simon

1976 مايكل رابين Michael O. Rabin For their joint paper "Finite Automata and Their Decision Problem",[31] which introduced the idea of nondeterministic machines, a continuous source of inspiration for subsequent work in this field[32][33][34][35] Princeton University
دانا سكوت Dana Scott University of Chicago
1977 جون باكوس John Backus 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[36][37] آي بي إم
1978 روبرت فلويد 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[38] Carnegie Mellon University،
جامعة ستانفورد
1979 كنيث إيڤرسون 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[39][40] آي بي إم
1980 توني هور Tony Hoare For his fundamental contributions to the definition and design of programming languages[41][42] Queen's University Belfast،
جامعة أكسفورد
1981 إدگار كود For his fundamental and continuing contributions to the theory and practice of database management systems, esp. relational databases[43][44] آي بي إم
1982 ستيفن كوك Stephen Cook For his advancement of our understanding of the complexity of computation in a significant and profound way[45][46] University of Toronto
1983 كن تومسن Ken Thompson For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system[47][48] Bell Labs
دنيس ريتشي Dennis Ritchie
1984 نيكلاوس ويرث Niklaus Wirth For developing a sequence of innovative computer languages, EULER, ALGOL-W, Pascal, MODULA and Oberon[49] جامعة ستنافورد،
جامعة زيورخ،
ETH Zurich
1985 رتشارد كارپ Richard M. Karp 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[50] University of California, Berkeley
1986 جون هوپكروفت John Hopcroft For fundamental achievements in the design and analysis of algorithms and data structures[51][52] جامعة كورنل
روبرت تارجان Robert Tarjan Stanford University,
Cornell University,
University of California, Berkeley,
Princeton University
1987 جون كوك For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC)[53] آي بي إم
1988 آيڤان سذرلاند Ivan Sutherland For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after[54] Stanford University,
جامعة هارڤرد,
University of Utah,
California Institute of Technology
1989 وليام كان William Kahan 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!"[55] جامعة كاليفورنيا، بركلي
1990 فرناندو كورباتو Fernando J. Corbató For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics[56] معهد مساتشوستس للتكنولوجيا
1991 روبين ميلنر 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.[57][58]

Stanford University,
University of Edinburgh
1992 بتلر لامپسون Butler Lampson 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[59] PARC,
DEC
1993 يوريس هارمانيس Juris Hartmanis In recognition of their seminal paper which established the foundations for the field of computational complexity theory[60][61][62] General Electric Research Laboratory (now under Groupe Bull, an Atos company)
رتشارد ستيرنز Richard E. Stearns
1994 إدوارد فايگنباوم Edward A. Feigenbaum For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology[63][64][65] جامعة ستانفورد
راج ردي Raj Reddy Stanford University,
Carnegie Mellon University
1995 مانويل بلوم Manuel Blum In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking[66] University of California, Berkeley
1996 عمير پنولي Amir Pnueli For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification[67] Stanford University,
Tel Aviv University,
Weizmann Institute of Science,
Courant Institute of Mathematical Sciences
1997 دوگلاس إنگلبارت Douglas Engelbart For an inspiring vision of the future of interactive computing and the invention of key technologies to help realize this vision[68] SRI International,
Tymshare,
McDonnell Douglas,
Bootstrap Institute/Alliance,[69]
The Doug Engelbart Institute
1998 جيم گراي Jim Gray For seminal contributions to database and transaction processing research and technical leadership in system implementation[70] آي بي إم،
مايكروسوفت
1999 فرد بروكس Fred Brooks For landmark contributions to computer architecture, operating systems, and software engineering[71] IBM,
University of North Carolina at Chapel Hill
2000 أندرو ياو Andrew Yao In recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity[72] Stanford University,
University of California, Berkeley,
Princeton University
2001 أولى-يوهان دال For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67[73][74] Norwegian Computing Center,
University of Oslo
كريستين نيگارد Kristen Nygaard
2002 رون ريڤست Ron Rivest For their ingenious contribution for making public-key cryptography useful in practice[75][76][77] معهد مساتشوستس للتكنولوجيا
آدي شامير Adi Shamir
ليونارد أدلمان Leonard Adleman University of Southern California
2003 آلان كاي Alan Kay 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[78] University of Utah,
PARC,
Stanford University,
Atari,
Apple ATG,
Walt Disney Imagineering,
Viewpoints Research Institute,
HP Labs
2004 ڤنت سرف Vint Cerf 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[79][80] University of California, Los Angeles,
Stanford University, DARPA,
MCI (now under Verizon),
CNRI, Google
بوب كان Bob Kahn معهد مساتشوستس للتكنولوجيا،
Bolt Beranek and Newman,
DARPA,
CNRI
2005 پيتر ناور Peter Naur 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[81] Regnecentralen (now under Fujitsu),
University of Copenhagen
2006 فرانسس آلن Frances Allen For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution[82] آي بي إم
2007 إدموند كلارك Edmund M. Clarke For their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries[83][84][85][86] جامعة هارڤرد,
Carnegie Mellon University
إ. آلن إمرسون E. Allen Emerson جامعة هارڤرد,
جامعة تكساس في أوستن
جوسف سيفاكس Joseph Sifakis French National Centre for Scientific Research
2008 باربرا ليسكوڤ Barbara Liskov For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing[87] معهد مساتشوستس للتكنولوجيا
2009 تشارلز ثاكر Charles P. Thacker For his pioneering design and realization of the Xerox Alto, the first modern personal computer, and in addition for his contributions to the Ethernet and the Tablet PC[88] PARC,
DEC,
Microsoft Research
2010 لزلي ڤاليانت Leslie Valiant For transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing[89] جامعة هارڤرد
2011 جوديا پرل Judea Pearl For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning[90][91] University of California, Los Angeles,
New Jersey Institute of Technology
2012 سيلڤيو ميكالي Silvio Micali For transformative work that laid the complexity-theoretic foundations for the science of cryptography and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory[92][93][94] معهد مساتشوستس للتكنولوجيا
شافريرا گولدڤاسر Shafi Goldwasser معهد مساتشوستس للتكنولوجيا،
Weizmann Institute of Science
2013 لزلي لامپورت Leslie Lamport For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency[95][96][97] Massachusetts Computer Associates (now under Essig PLM),
SRI International,
DEC,
Compaq (now under HP),
Microsoft Research
2014 مايكل ستون‌بريكر Michael Stonebraker For fundamental contributions to the concepts and practices underlying modern database systems[98][99] University of California, Berkeley,
معهد مساتشوستس للتكنولوجيا
2015 ويتفيلد ديفي Whitfield Diffie For fundamental contributions to modern cryptography. Diffie and Hellman's groundbreaking 1976 paper, "New Directions in Cryptography",[100] introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today.[101][102] جامعة ستنافورد
{ مارتن هلمان Martin Hellman
2016 تيم برنرز-لي Tim Berners-Lee For inventing the World Wide Web, the first web browser, and the fundamental protocols and algorithms allowing the Web to scale[103] CERN,
معهد مساتشوستس للتكنولوجيا,
World Wide Web Consortium
2017 جون هنسي John L. Hennessy For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry[104][105][106] جامعة ستانفورد
ديڤد پاترسون David Patterson University of California, Berkeley
2018 يوشوا بنگيو Yoshua Bengio For conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing[107][108][109][110] Université de Montréal, McGill University,
Mila
جفري هنتون Geoffrey Hinton University of Toronto,
University of California, San Diego,
Carnegie Mellon University,
University College London,
University of Edinburgh,
Google AI
يان ليكون Yann LeCun University of Toronto,
Bell Labs,
Courant Institute of Mathematical Sciences, New York University,
Meta AI
2019 إد كاتمول Edwin Catmull For fundamental contributions to 3-D computer graphics, and the revolutionary impact of these techniques on computer-generated imagery (CGI) in filmmaking and other applications[111][112][113] جامعة يوتا،
Pixar,
Walt Disney Animation Studios
پات هانراهان Pat Hanrahan Pixar,
Princeton University,
Stanford University
2020 ألفرد أهو For fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists[114][115][116] Bell Labs,
Columbia University
جفري أولمان Bell Labs،
Princeton University،
جامعة ستانفورد
2021 جاك دونگارا Jack Dongarra For pioneering contributions to numerical algorithms and libraries that enabled high performance computational software to keep pace with exponential hardware improvements for over four decades[117][118] معمل أرگون الوطني،
مختبر أوك ريدج الوطني،
جامعة مانشستر،
جامعة تكساس إي أند إم معهد الدراسات المتقدمة،
جامعة تنسي،
جامعة رايس
2022 روبرت متكالف Robert Metcalfe For the invention, standardization, and commercialization of Ethernet[119] معهد مساتشوستس للتكنولوجيا، جامعة هارڤرد، زيروكس PARC، جامعة تكساس في أوستن
2023 آڤي ودجرسون Avi Wigderson من أجل عمله على "إعادة تشكيل فهمنا لدور العشوائية في كيفية تشكيل وتعزيز خوارزميات الحاسوب، وقيادته الفكرية الممتدة لعقود في علوم الحاسوب النظرية". [120] معهد الدراسات المتقدمة، جامعة پرنستون، الجامعة العبرية في القدس


انظر أيضاً

المصادر

  1. ^ أ ب Cacm Staff (2014). "ACM's Turing Award prize raised to $1 million". Communications of the ACM. 57 (12): 20. doi:10.1145/2685372.
  2. ^ أ ب "A. M. Turing Award". ACM. Archived from the original on December 12, 2009. Retrieved November 5, 2007.
  3. ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. McGraw-Hill. p. 317. ISBN 978-0-07-352340-8.
  4. ^ Bibliography of Turing Award lectures, DBLP
  5. ^ Geringer, Steven (July 27, 2007). "ACM'S Turing Award Prize Raised To $250,000". ACM press release. Archived from the original on December 30, 2008. Retrieved October 16, 2008.
  6. ^ See also: Brown, Bob (June 6, 2011). "Why there's no Nobel Prize in Computing". Network World. Retrieved June 3, 2015. {{cite web}}: |author= has generic name (help); External link in |author= (help)
  7. ^ Homer, Steven and Alan L. (2001). Computability and Complexity Theory. p. 35. ISBN 978-0-387-95055-6. Retrieved November 5, 2007.
  8. ^ "ACM's Turing Award Prize Raised to $1 Million". ACM. Archived from the original on November 23, 2015. Retrieved November 13, 2014.
  9. ^ "First Woman to Receive ACM Turing Award" (Press release). The Association for Computing Machinery. February 21, 2007. Archived from the original on July 2, 2007. Retrieved November 5, 2007.
  10. ^ Perlis, A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. 14: 1–9. doi:10.1145/321371.321372. S2CID 12937998.
  11. ^ David Nofre. "Alan J Perlis - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 26, 2012. Retrieved 4 March 2024.
  12. ^ Wilkes, M. V. (1968). "Computers then and Now". Journal of the ACM. 15: 1–7. doi:10.1145/321439.321440. S2CID 9846847.
  13. ^ Martin Campbell-Kelly. "Maurice V. Wilkes - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 7, 2024. Retrieved 4 March 2024.
  14. ^ Hamming, R. W. (1969). "One Man's View of Computer Science". Journal of the ACM. 16: 3–12. doi:10.1145/321495.321497. S2CID 6868310.
  15. ^ Edmund F. Robertson. "Richard W. Hamming - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 30, 2020. Retrieved 4 March 2024.
  16. ^ Minsky, M. (1970). "Form and Content in Computer Science (1970 ACM turing lecture)". Journal of the ACM. 17 (2): 197–215. doi:10.1145/321574.321575. S2CID 15661281.
  17. ^ Patrick Henry Winston. "Marvin Minsky - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved 4 March 2024.
  18. ^ Wilkinson, J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
  19. ^ Beresford Neill Parlett. "James Hardy ("Jim") Wilkinson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 5, 2024. Retrieved 4 March 2024.
  20. ^ McCarthy, J. (1987). "Generality in artificial intelligence". Communications of the ACM. 30 (12): 1030–1035. doi:10.1145/33447.33448. S2CID 1045033. Archived from the original on September 21, 2017. Retrieved November 1, 2017.
  21. ^ Lester Earnest. "John Mccarthy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on September 3, 2016. Retrieved 4 March 2024.
  22. ^ Dijkstra, E. W. (1972). "The humble programmer". Communications of the ACM. 15 (10): 859–866. doi:10.1145/355604.361591.
  23. ^ Hamilton Richards. "Edsger Wybe Dijkstra - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 26, 2024. Retrieved 4 March 2024.
  24. ^ Bachman, C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
  25. ^ Thomas Haigh. "Charles William Bachman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 2, 2020. Retrieved 4 March 2024.
  26. ^ Knuth, D. E. (1974). "Computer programming as an art". Communications of the ACM. 17 (12): 667–673. doi:10.1145/361604.361612.
  27. ^ David Walden. "Donald ("Don") Ervin Knuth - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 17, 2019. Retrieved 4 March 2024.
  28. ^ Newell, A.; Simon, H. A. (1976). "Computer science as empirical inquiry: Symbols and search". Communications of the ACM. 19 (3): 113. doi:10.1145/360018.360022.
  29. ^ Hunter Heyck. "Allen Newell - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 16, 2020. Retrieved 4 March 2024.
  30. ^ Hunter Heyck. "Herbert ("Herb") Alexander Simon - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 18, 2021. Retrieved 4 March 2024.
  31. ^ Rabin, M. O.; Scott, D. (1959). "Finite Automata and Their Decision Problems". IBM Journal of Research and Development. 3 (2): 114. doi:10.1147/rd.32.0114. S2CID 3160330.
  32. ^ Rabin, M. O. (1977). "Complexity of computations". Communications of the ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
  33. ^ Scott, D. S. (1977). "Logic and programming languages". Communications of the ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
  34. ^ "Michael O. Rabin - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved 4 March 2024.
  35. ^ "Dana Steward Scott - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 26, 2024. Retrieved 4 March 2024.
  36. ^ Backus, J. (1978). "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs". Communications of the ACM. 21 (8): 613–641. doi:10.1145/359576.359579.
  37. ^ Grady Booch. "John Backus - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 5, 2024. Retrieved 4 March 2024.
  38. ^ Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
  39. ^ Iverson, K. E. (1980). "Notation as a tool of thought". Communications of the ACM. 23 (8): 444–465. doi:10.1145/358896.358899.
  40. ^ Keith Smillie. "Kenneth E. ("Ken") Iverson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 3, 2019. Retrieved 4 March 2024.
  41. ^ Hoare, C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
  42. ^ Cliff Jones. "C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 1, 2012. Retrieved 4 March 2024.
  43. ^ Codd, E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. 25 (2): 109–117. doi:10.1145/358396.358400.
  44. ^ C. J. Date. "Edgar F. ("Ted") Codd - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 23, 2017. Retrieved 4 March 2024.
  45. ^ Cook, S. A. (1983). "An overview of computational complexity". Communications of the ACM. 26 (6): 400–408. doi:10.1145/358141.358144.
  46. ^ Bruce Kapron. "Stephen Arthur Cook - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 21, 2019. Retrieved 4 March 2024.
  47. ^ Tom Van Vleck. "A.M. Turing Award Laureate – Kenneth Lane Thompson". Association for Computing Machinery. Archived from the original on August 9, 2019. Retrieved November 4, 2018.
  48. ^ Tom Van Vleck. "A.M. Turing Award Laureate – Dennis M. Ritchie". Association for Computing Machinery. Archived from the original on October 20, 2021. Retrieved November 4, 2018.
  49. ^ Thomas Haigh. "Niklaus E. Wirth - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 29, 2017. Retrieved 4 March 2024.
  50. ^ B. Simons; D. Gusfield. "Richard ("Dick") Manning Karp - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved 4 March 2024.
  51. ^ "John E. Hopcroft - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 27, 2021. Retrieved 4 March 2024.
  52. ^ V. King. "Robert (Bob) Endre Tarjan - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 30, 2017. Retrieved 4 March 2024.
  53. ^ Michael G. Burke; Vivek Sarkar. "John Cocke - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  54. ^ Robert Burton. "Ivan Sutherland - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  55. ^ Thomas Haigh. "William ("Velvel") Morton Kahan - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  56. ^ T. Van Vleck. "Fernando J ("Corby") Corbato - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  57. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
  58. ^ Michael Fourman. "Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 17, 2021. Retrieved 4 March 2024.
  59. ^ Roy Levin. "Butler W Lampson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  60. ^ Stearns, R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
  61. ^ Allan Borodin. "Juris Hartmanis - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 21, 2024. Retrieved 4 March 2024.
  62. ^ "Richard ("Dick") Edwin Stearns - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 21, 2024. Retrieved 4 March 2024.
  63. ^ Reddy, R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
  64. ^ Nils J. Nilsson. "Edward A ("Ed") Feigenbaum - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 22, 2024. Retrieved 4 March 2024.
  65. ^ Nils J. Nilsson. "Dabbala Rajagopal ("Raj") Reddy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 10, 2023. Retrieved 4 March 2024.
  66. ^ Christos H. Papadimitriou. "A.M. Turing Award Laureate – Manuel Blum". Association for Computing Machinery. Archived from the original on October 23, 2021. Retrieved November 4, 2018.
  67. ^ Lenore Zuck. "A.M. Turing Award Laureate – Amir Pnueli". Association for Computing Machinery. Archived from the original on October 20, 2021. Retrieved November 4, 2018.
  68. ^ Thierry Bardini. "A.M. Turing Award Laureate – Douglas Engelbart". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved November 4, 2018.
  69. ^ "The Doug Engelbart Institute". The Doug Engelbart Institute. Archived from the original on July 14, 2012. Retrieved June 17, 2012.
  70. ^ Paul McJones. "James ("Jim") Nicholas Gray - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  71. ^ Grady Booch. "Frederick ("Fred") Brooks - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 29, 2021. Retrieved 4 March 2024.
  72. ^ Bruce Kapron. "Andrew Chi-Chih Yao - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 3, 2017. Retrieved 4 March 2024.
  73. ^ Andrew P. Black. "Ole-Johan Dahl - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 12, 2021. Retrieved 4 March 2024.
  74. ^ Ole Lehrman Madsen. "Kristen Nygaard - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved 4 March 2024.
  75. ^ "Ronald (Ron) Linn Rivest - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 11, 2021. Retrieved 4 March 2024.
  76. ^ "Adi Shamir - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 10, 2023. Retrieved 4 March 2024.
  77. ^ Joseph Bebel; Shang-Hua Teng. "Leonard (Len) Max Adleman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 3, 2023. Retrieved 4 March 2024.
  78. ^ Susan B. Barnes. "Alan Kay - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 11, 2021. Retrieved 4 March 2024.
  79. ^ Janet Abbate. "Vinton ("Vint") Gray Cerf - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 11, 2021. Retrieved 4 March 2024.
  80. ^ Janet Abbate. "Robert (Bob) Elliot Kahn - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on July 13, 2019. Retrieved 4 March 2024.
  81. ^ Edgar G. Daylight. "Peter Naur - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 12, 2018. Retrieved 4 March 2024.
  82. ^ Guy Steele. "Frances ("Fran") Elizabeth Allen - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on April 7, 2022. Retrieved 4 March 2024.
  83. ^ "2007 Turing Award Winners Announced". Archived from the original on November 2, 2009. Retrieved December 9, 2008.
  84. ^ Ted Kirkpatrick. "Edmund Melson Clarke - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 4, 2024. Retrieved 4 March 2024.
  85. ^ Thomas Wahl. "E. Allen Emerson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 26, 2024. Retrieved 4 March 2024.
  86. ^ Cristian S. Calude. "Joseph Sifakis - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 28, 2023. Retrieved 4 March 2024.
  87. ^ Tom van Vleck. "Barbara Liskov - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 9, 2021. Retrieved 4 March 2024.
  88. ^ "Charles P. (Chuck) Thacker - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on October 10, 2021. Retrieved 4 March 2024.
  89. ^ "Leslie Gabriel Valiant - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 17, 2021. Retrieved 4 March 2024.
  90. ^ Pearl, Judea (2007). ACM Turing Award Lectures (mp4). doi:10.1145/1283920. ISBN 978-1-4503-1049-9. Archived from the original on October 21, 2020. Retrieved November 16, 2020.
  91. ^ Stuart J. Russell. "Judea Pearl - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on August 26, 2017. Retrieved March 15, 2012.
  92. ^ Charles Rackoff. "Shafi Goldwasser - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on February 17, 2024. Retrieved 4 March 2024.
  93. ^ "Turing award 2012". Association for Computing Machinery. Archived from the original on March 18, 2013.
  94. ^ Avi Wigderson. "Silvio Micali - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 11, 2023. Retrieved 4 March 2024.
  95. ^ "Turing award 2013". Association for Computing Machinery. Archived from the original on January 16, 2016. Retrieved March 18, 2014.
  96. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7): 558–565. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405. Archived (PDF) from the original on October 31, 2008. Retrieved August 28, 2015.
  97. ^ Dahlia Malkhi; Martin Abadi; Hagit Attiya; Idit Keidar; Nancy Lynch; Nir Shavit; George Varghese; Len Shustek. "Leslie Lamport - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on June 1, 2023. Retrieved 4 March 2024.
  98. ^ "Turing award 2014". Association for Computing Machinery. Archived from the original on July 3, 2017. Retrieved March 25, 2015.
  99. ^ Thomas Haigh. "Michael Stonebreaker - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 25, 2024. Retrieved 4 March 2024.
  100. ^ Diffie, W.; Hellman, M. (1976). "New directions in cryptography" (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109/TIT.1976.1055638. Archived (PDF) from the original on December 3, 2017. Retrieved March 4, 2016.
  101. ^ "Cryptography Pioneers Receive 2015 ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on July 4, 2017. Retrieved March 1, 2016.
  102. ^ Jeffrey R. Yost. "Martin Hellman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on September 22, 2022. Retrieved 4 March 2024.
  103. ^ "Turing award 2016". Association for Computing Machinery. Archived from the original on April 6, 2017. Retrieved April 4, 2017.
  104. ^ "Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on March 25, 2018. Retrieved March 21, 2018.
  105. ^ Charles H. House. "John L Hennessy - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on March 22, 2018. Retrieved 4 March 2024.
  106. ^ Charles H. House. "Charles Patterson - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 7, 2024. Retrieved 4 March 2024.
  107. ^ "Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award". Association for Computing Machinery. Archived from the original on August 23, 2021. Retrieved March 27, 2019.
  108. ^ Thomas Haigh. "Yoshua Bengio - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 27, 2020. Retrieved 4 March 2024.
  109. ^ Thomas Haigh. "Geoffrey E. Hinton - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on December 6, 2021. Retrieved 4 March 2024.
  110. ^ Thomas Haigh. "Yann LeCun - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on March 27, 2023. Retrieved 4 March 2024.
  111. ^ "2019 ACM A.M. Turing Award Laureates" (in الإنجليزية). Association for Computing Machinery. Archived from the original on March 18, 2020. Retrieved 2023-02-11.
  112. ^ "Edwin E. Catmull - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on November 23, 2023. Retrieved 4 March 2024.
  113. ^ "Patrick M. Hanrahan - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 4, 2024. Retrieved 4 March 2024.
  114. ^ "Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award" (in الإنجليزية). Association for Computing Machinery. Archived from the original on March 31, 2021. Retrieved 2023-02-11.
  115. ^ Thomas Haigh. "Alfred Vaino Aho - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 13, 2024. Retrieved 4 March 2024.
  116. ^ Thomas Haigh. "Jeffrey David Ullman - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 22, 2024. Retrieved 4 March 2024.
  117. ^ "Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award" (in الإنجليزية). Association for Computing Machinery. Archived from the original on May 5, 2022. Retrieved March 30, 2022.
  118. ^ Thomas Haigh. "Dr. Jack Dongarra - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 22, 2024. Retrieved 4 March 2024.
  119. ^ "Robert Melancton Metcalfe - A.M. Turing Award Laureate". Association for Computing Machinery. Archived from the original on January 13, 2024. Retrieved 4 March 2024.
  120. ^ "Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award". awards.acm.org (in الإنجليزية). Archived from the original on April 10, 2024. Retrieved 2024-04-10.

وصلات خارجية