Turing Ödülü: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
düzen |
Superyetkin (mesaj | katkılar) →Yıla göre: Ülke sütunu ayrıldı |
||
26. satır: | 26. satır: | ||
{| class="wikitable" |
{| class="wikitable" |
||
!Yıl |
!Yıl |
||
!Ülke |
|||
!Kazanan |
!Kazanan |
||
!Açıklama |
!Açıklama |
||
31. satır: | 32. satır: | ||
|- |
|- |
||
!1966 |
!1966 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Alan Perlis]] |
|||
|[[Programlama]] ve [[derleyici]] tasarımı alanına yaptığı katkılardan dolayı |
|[[Programlama]] ve [[derleyici]] tasarımı alanına yaptığı katkılardan dolayı |
||
|<ref>{{Cite journal | last1 = Perlis | first1 = A. J. | doi = 10.1145/321371.321372 | title = The Synthesis of Algorithmic Systems | journal = Journal of the ACM | volume = 14 | pages = 1 | year = 1967 }}</ref> |
|<ref>{{Cite journal | last1 = Perlis | first1 = A. J. | doi = 10.1145/321371.321372 | title = The Synthesis of Algorithmic Systems | journal = Journal of the ACM | volume = 14 | pages = 1 | year = 1967 }}</ref> |
||
|- |
|- |
||
!1967 |
!1967 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Maurice Wilkes]] |
|||
|Profesör Wilkes dahili [[Bilgisayar programı|program]] saklayabilen ilk bilgisayar olan [[EDSAC]]'ın tasarımcısı ve mimarı olarak bilinir. 1949 yılında EDSAC bir [[delay line memory]] kullandı. Ayrıca, Wilkes 1951 yılında yazılan "Preparation of Programs for Electronic Digital Computers" kitabının yazarlarından biridir ve bu kitap [[Kütüphane (bilgisayar bilimi)|program kütüphanelerini]] iyi bir biçimde tanıtmıştır. |
|Profesör Wilkes dahili [[Bilgisayar programı|program]] saklayabilen ilk bilgisayar olan [[EDSAC]]'ın tasarımcısı ve mimarı olarak bilinir. 1949 yılında EDSAC bir [[delay line memory]] kullandı. Ayrıca, Wilkes 1951 yılında yazılan "Preparation of Programs for Electronic Digital Computers" kitabının yazarlarından biridir ve bu kitap [[Kütüphane (bilgisayar bilimi)|program kütüphanelerini]] iyi bir biçimde tanıtmıştır. |
||
|<ref>{{Cite journal | doi = 10.1145/321439.321440| title = Computers then and Now| journal = Journal of the ACM| volume = 15| pages = 1| year = 1968| last1 = Wilkes | first1 = M. V. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/321439.321440| title = Computers then and Now| journal = Journal of the ACM| volume = 15| pages = 1| year = 1968| last1 = Wilkes | first1 = M. V. }}</ref> |
||
|- |
|- |
||
!1968 |
!1968 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Richard Hamming]] |
|||
|Hata bulma ve düzeltme kodları, otomatik kodlama dizgeleri ve [[sayısal analiz|sayısal yöntemler]] konusundaki çalışmalarından dolayı |
|Hata bulma ve düzeltme kodları, otomatik kodlama dizgeleri ve [[sayısal analiz|sayısal yöntemler]] konusundaki çalışmalarından dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/321495.321497| title = One Man's View of Computer Science| journal = Journal of the ACM| volume = 16| pages = 3| year = 1969| last1 = Hamming | first1 = R. W. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/321495.321497| title = One Man's View of Computer Science| journal = Journal of the ACM| volume = 16| pages = 3| year = 1969| last1 = Hamming | first1 = R. W. }}</ref> |
||
|- |
|- |
||
!1969 |
!1969 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Marvin Minsky]] |
|||
|[[Yapay zekâ]]nın oluşturulması, biçimlendirilmesi ve geliştirilmesine yönelik kayda değer etkilerinden dolayı |
|[[Yapay zekâ]]nın oluşturulması, biçimlendirilmesi ve geliştirilmesine yönelik kayda değer etkilerinden dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/321574.321575| title = Form and Content in Computer Science (1970 ACM turing lecture)| journal = Journal of the ACM| volume = 17| issue = 2| pages = 197| year = 1970| last1 = Minsky | first1 = M. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/321574.321575| title = Form and Content in Computer Science (1970 ACM turing lecture)| journal = Journal of the ACM| volume = 17| issue = 2| pages = 197| year = 1970| last1 = Minsky | first1 = M. }}</ref> |
||
|- |
|- |
||
!1970 |
!1970 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[James H. Wilkinson]] |
|||
|Yüksek hızlı sayısal bilgisayarların kullanımını kolaylaştıran [[sayısal analiz]] çalışmaları ile [[lineer cebir]] ve geriye dönük hata analizine yaptığı katkılardan dolayı |
|Yüksek hızlı sayısal bilgisayarların kullanımını kolaylaştıran [[sayısal analiz]] çalışmaları ile [[lineer cebir]] ve geriye dönük hata analizine yaptığı katkılardan dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/321637.321638| title = Some Comments from a Numerical Analyst| journal = Journal of the ACM| volume = 18| issue = 2| pages = 137| year = 1971| last1 = Wilkinson | first1 = J. H. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/321637.321638| title = Some Comments from a Numerical Analyst| journal = Journal of the ACM| volume = 18| issue = 2| pages = 137| year = 1971| last1 = Wilkinson | first1 = J. H. }}</ref> |
||
|- |
|- |
||
!1971 |
!1971 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[John McCarthy (bilgisayar bilimcisi)|John McCarthy]] |
|||
|McCarthy'nin çalışma alanındaki bilinirliğini ortaya koyan "The Present State of Research on Artificial Intelligence" başlıklı konuşması |
|McCarthy'nin çalışma alanındaki bilinirliğini ortaya koyan "The Present State of Research on Artificial Intelligence" başlıklı konuşması |
||
|<ref>{{Cite journal | doi = 10.1145/33447.33448| title = Generality in artificial intelligence| journal = Communications of the ACM| volume = 30| issue = 12| pages = 1030| year = 1987| last1 = McCarthy | first1 = J. | url = http://www-formal.stanford.edu/jmc/generality.ps }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/33447.33448| title = Generality in artificial intelligence| journal = Communications of the ACM| volume = 30| issue = 12| pages = 1030| year = 1987| last1 = McCarthy | first1 = J. | url = http://www-formal.stanford.edu/jmc/generality.ps }}</ref> |
||
|- |
|- |
||
!1972 |
!1972 |
||
|{{ |
|{{flagcountry|NED}} |
||
|[[Edsger Dijkstra]] |
|||
|Edsger Dijkstra 1950'lerde [[ALGOL]] adlı yüksek düzey [[programlama dili]]ne en çok katkı yapan kişilerden biridir. Programlama dillerine genel anlamda katkı sunmuş olan ilk bilim insanları arasındadır ve bunların yapısı, tanımı ve uygulaması konusundaki çalışmalarıyla bilinir. Dijkstra'nın on beş yılı bulan yayım geçmişi [[çizge teorisi]]ne ilişkin teorik makalelerden el kitaplarına, açıklayıcı metinlerden programlama dilleri konulu felsefi gözlemlere uzanmaktadır. |
|Edsger Dijkstra 1950'lerde [[ALGOL]] adlı yüksek düzey [[programlama dili]]ne en çok katkı yapan kişilerden biridir. Programlama dillerine genel anlamda katkı sunmuş olan ilk bilim insanları arasındadır ve bunların yapısı, tanımı ve uygulaması konusundaki çalışmalarıyla bilinir. Dijkstra'nın on beş yılı bulan yayım geçmişi [[çizge teorisi]]ne ilişkin teorik makalelerden el kitaplarına, açıklayıcı metinlerden programlama dilleri konulu felsefi gözlemlere uzanmaktadır. |
||
|<ref>{{Cite journal | doi = 10.1145/355604.361591| title = The humble programmer| journal = Communications of the ACM| volume = 15| issue = 10| pages = 859| year = 1972| last1 = Dijkstra | first1 = E. W. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/355604.361591| title = The humble programmer| journal = Communications of the ACM| volume = 15| issue = 10| pages = 859| year = 1972| last1 = Dijkstra | first1 = E. W. }}</ref> |
||
|- |
|- |
||
!1973 |
!1973 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Charles Bachman]] |
|||
|[[Veri tabanı]] teknolojisine yaptığı büyük katkılardan dolayı |
|[[Veri tabanı]] teknolojisine yaptığı büyük katkılardan dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/355611.362534| title = The programmer as navigator| journal = Communications of the ACM| volume = 16| issue = 11| pages = 653| year = 1973| last1 = Bachman | first1 = C. W. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/355611.362534| title = The programmer as navigator| journal = Communications of the ACM| volume = 16| issue = 11| pages = 653| year = 1973| last1 = Bachman | first1 = C. W. }}</ref> |
||
|- |
|- |
||
!1974 |
!1974 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Donald Knuth]] |
|||
|[[Algoritma]] analizi ve programlama dili tasarımı konusundaki değerli çalışmaları ile özellikle "[[The Art of Computer Programming]]" adlı kitabı dolayısıyla |
|[[Algoritma]] analizi ve programlama dili tasarımı konusundaki değerli çalışmaları ile özellikle "[[The Art of Computer Programming]]" adlı kitabı dolayısıyla |
||
|<ref>{{Cite journal | doi = 10.1145/361604.361612| title = Computer programming as an art| journal = Communications of the ACM| volume = 17| issue = 12| pages = 667| year = 1974| last1 = Knuth | first1 = D. E. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/361604.361612| title = Computer programming as an art| journal = Communications of the ACM| volume = 17| issue = 12| pages = 667| year = 1974| last1 = Knuth | first1 = D. E. }}</ref> |
||
|- |
|- |
||
!1975 |
!rowspan=2| 1975 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Allen Newell]]<br />{{flagicon|USA}} [[Herbert Simon]] |
|||
|[[Allen Newell]] |
|||
|[[RAND Corporation]]'da [[J. C. Shaw]]'la, [[Carnegie Mellon Üniversitesi]]'nde fakülte üyeleri ve öğrencilerle yürütülen çalışmalar sonucunda yapay zekâ, insanın bilişsel yapısı ve [[liste (veri tipi)|liste işleme]] konusundaki katkılarından dolayı |
|||
|rowspan=2| [[RAND Corporation]]'da [[J. C. Shaw]]'la, [[Carnegie Mellon Üniversitesi]]'nde fakülte üyeleri ve öğrencilerle yürütülen çalışmalar sonucunda yapay zekâ, insanın bilişsel yapısı ve [[liste (veri tipi)|liste işleme]] konusundaki katkılarından dolayı |
|||
|<ref>{{Cite journal | doi = 10.1145/360018.360022| title = Computer science as empirical inquiry: Symbols and search| journal = Communications of the ACM| volume = 19| issue = 3| pages = 113| year = 1976| last1 = Newell | first1 = A. | last2 = Simon | first2 = H. A. }}</ref> |
|||
|rowspan=2| <ref>{{Cite journal | doi = 10.1145/360018.360022| title = Computer science as empirical inquiry: Symbols and search| journal = Communications of the ACM| volume = 19| issue = 3| pages = 113| year = 1976| last1 = Newell | first1 = A. | last2 = Simon | first2 = H. A. }}</ref> |
|||
|- |
|- |
||
|{{flagcountry|USA}} |
|||
!1976 |
|||
|[[Herbert Simon]] |
|||
|{{flagicon|ISR}} [[Michael O. Rabin]]<br />{{flagicon|USA}} [[Dana Scott]] |
|||
|- |
|||
|[[Deterministik olmayan sonlu durum makinesi|Deterministik olmayan sonlu durum makinelerinin]] geliştirilmesine önayak olan "Finite Automata and Their Decision Problem" adlı makaleleri dolayısıyla.<ref>{{Cite journal | last1 = Rabin | first1 = M. O. | last2 = Scott | first2 = D. | doi = 10.1147/rd.32.0114 | title = Finite Automata and Their Decision Problems | journal = IBM Journal of Research and Development | volume = 3 | issue = 2 | pages = 114 | year = 1959 | pmid = | pmc = }}</ref> Scott ve Rabin'in klasik makalesi bu alandaki diğer çalışmalara esin kaynağı olmuştur. |
|||
!rowspan=2| 1976 |
|||
|<ref>{{Cite journal | doi = 10.1145/359810.359816| title = Complexity of computations| journal = Communications of the ACM| volume = 20| issue = 9| pages = 625| year = 1977| last1 = Rabin | first1 = M. O. }}</ref><ref>{{Cite journal | doi = 10.1145/359810.359826| title = Logic and programming languages| journal = Communications of the ACM| volume = 20| issue = 9| pages = 634| year = 1977| last1 = Scott | first1 = D. S. }}</ref> |
|||
|{{flagcountry|ISR}} |
|||
|[[Michael O. Rabin]] |
|||
|rowspan=2| [[Deterministik olmayan sonlu durum makinesi|Deterministik olmayan sonlu durum makinelerinin]] geliştirilmesine önayak olan "Finite Automata and Their Decision Problem" adlı makaleleri dolayısıyla.<ref>{{Cite journal | last1 = Rabin | first1 = M. O. | last2 = Scott | first2 = D. | doi = 10.1147/rd.32.0114 | title = Finite Automata and Their Decision Problems | journal = IBM Journal of Research and Development | volume = 3 | issue = 2 | pages = 114 | year = 1959 | pmid = | pmc = }}</ref> Scott ve Rabin'in klasik makalesi bu alandaki diğer çalışmalara esin kaynağı olmuştur. |
|||
|rowspan=2| <ref>{{Cite journal | doi = 10.1145/359810.359816| title = Complexity of computations| journal = Communications of the ACM| volume = 20| issue = 9| pages = 625| year = 1977| last1 = Rabin | first1 = M. O. }}</ref><ref>{{Cite journal | doi = 10.1145/359810.359826| title = Logic and programming languages| journal = Communications of the ACM| volume = 20| issue = 9| pages = 634| year = 1977| last1 = Scott | first1 = D. S. }}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Dana Scott]] |
|||
|- |
|- |
||
!1977 |
!1977 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[John Backus]] |
|||
|[[Fortran|FORTRAN]] gibi yüksek düzey programlama dillerine yaptığı etkileyici katkıları ve programlama dillerinin temel niteliklerine ilişkin resmî yordamlar konulu yayınlarından dolayı |
|[[Fortran|FORTRAN]] gibi yüksek düzey programlama dillerine yaptığı etkileyici katkıları ve programlama dillerinin temel niteliklerine ilişkin resmî yordamlar konulu yayınlarından dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/359576.359579| title = Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs| journal = Communications of the ACM| volume = 21| issue = 8| pages = 613| year = 1978| last1 = Backus | first1 = J. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/359576.359579| title = Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs| journal = Communications of the ACM| volume = 21| issue = 8| pages = 613| year = 1978| last1 = Backus | first1 = J. }}</ref> |
||
|- |
|- |
||
!1978 |
!1978 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Robert W. Floyd]] |
|||
|Verimli ve güvenilir yazılımlar oluşturma yöntemleri konusundaki çalışmaları ile [[bilgisayar bilimi]]nin şu alt dallarının kurulmasına yaptığı katkıları dolayısıyla: [[normalizasyon]] teorisi, programlama dilleri [[anlam bilimi]], otomatik [[program doğrulama]], [[otomatik programlama]] ve [[algoritma analizi]] |
|Verimli ve güvenilir yazılımlar oluşturma yöntemleri konusundaki çalışmaları ile [[bilgisayar bilimi]]nin şu alt dallarının kurulmasına yaptığı katkıları dolayısıyla: [[normalizasyon]] teorisi, programlama dilleri [[anlam bilimi]], otomatik [[program doğrulama]], [[otomatik programlama]] ve [[algoritma analizi]] |
||
|<ref>{{Cite journal | last1 = Floyd | first1 = R. W. | title = The paradigms of programming | url = http://dl.acm.org/ft_gateway.cfm?id=359140&ftid=289772&dwn=1&CFID=285645736&CFTOKEN=55009136| doi = 10.1145/359138.359140 | journal = Communications of the ACM | volume = 22 | issue = 8 | pages = 455 | year = 1979 }}</ref> |
|<ref>{{Cite journal | last1 = Floyd | first1 = R. W. | title = The paradigms of programming | url = http://dl.acm.org/ft_gateway.cfm?id=359140&ftid=289772&dwn=1&CFID=285645736&CFTOKEN=55009136| doi = 10.1145/359138.359140 | journal = Communications of the ACM | volume = 22 | issue = 8 | pages = 455 | year = 1979 }}</ref> |
||
|- |
|- |
||
!1979 |
!1979 |
||
|{{ |
|{{flagcountry|CAN}} |
||
|[[Kenneth E. Iverson]] |
|||
|Günümüzde [[APL (programlama dili)|APL]] olarak bilinen dala zemin hazırlayan çalışmaları, etkileşimli sistemler, programlama dili teorisi ve uygulamasına yaptığı katkılardan dolayı |
|Günümüzde [[APL (programlama dili)|APL]] olarak bilinen dala zemin hazırlayan çalışmaları, etkileşimli sistemler, programlama dili teorisi ve uygulamasına yaptığı katkılardan dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/358896.358899| title = Notation as a tool of thought| journal = Communications of the ACM| volume = 23| issue = 8| pages = 444| year = 1980| last1 = Iverson | first1 = K. E. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/358896.358899| title = Notation as a tool of thought| journal = Communications of the ACM| volume = 23| issue = 8| pages = 444| year = 1980| last1 = Iverson | first1 = K. E. }}</ref> |
||
|- |
|- |
||
!1980 |
!1980 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Tony Hoare]] |
|||
|Programlama dili tanımı ve tasarımı alanındaki önemli katkılarından dolayı |
|Programlama dili tanımı ve tasarımı alanındaki önemli katkılarından dolayı |
||
|<ref>{{Cite journal | doi = 10.1145/358549.358561| title = The emperor's old clothes| journal = Communications of the ACM| volume = 24| issue = 2| pages = 75| year = 1981| last1 = Hoare | first1 = C. A. R. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/358549.358561| title = The emperor's old clothes| journal = Communications of the ACM| volume = 24| issue = 2| pages = 75| year = 1981| last1 = Hoare | first1 = C. A. R. }}</ref> |
||
|- |
|- |
||
!1981 |
!1981 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Edgar F. Codd]] |
|||
|Veri tabanı yönetim sistemleri (özellikle [[İlişkisel veri tabanı|ilişkisel veri tabanları]]) teorisi ve uygulamaları konusundaki önemli katkılarından dolayı |
|Veri tabanı yönetim sistemleri (özellikle [[İlişkisel veri tabanı|ilişkisel veri tabanları]]) teorisi ve uygulamaları konusundaki önemli katkılarından dolayı |
||
|<ref>{{Cite journal | last1 = Codd | first1 = E. F. | authorlink1 = Edgar F. Codd| title = Relational database: A practical foundation for productivity | doi = 10.1145/358396.358400 | journal = Communications of the ACM | volume = 25 | issue = 2 | pages = 109 | year = 1982 }}</ref> |
|<ref>{{Cite journal | last1 = Codd | first1 = E. F. | authorlink1 = Edgar F. Codd| title = Relational database: A practical foundation for productivity | doi = 10.1145/358396.358400 | journal = Communications of the ACM | volume = 25 | issue = 2 | pages = 109 | year = 1982 }}</ref> |
||
|- |
|- |
||
!1982 |
!1982 |
||
|{{ |
|{{flagcountry|USA}}<br />{{flagcountry|CAN}} |
||
|[[Stephen A. Cook]] |
|||
|[[Berim]] karmaşıklığı konusundaki bilgi birikimini önemli ölçüde değiştirdiği için |
|[[Berim]] karmaşıklığı konusundaki bilgi birikimini önemli ölçüde değiştirdiği için |
||
|<ref>{{Cite journal | doi = 10.1145/358141.358144| title = An overview of computational complexity| journal = Communications of the ACM| volume = 26| issue = 6| pages = 400| year = 1983| last1 = Cook | first1 = S. A. }}</ref> |
|<ref>{{Cite journal | doi = 10.1145/358141.358144| title = An overview of computational complexity| journal = Communications of the ACM| volume = 26| issue = 6| pages = 400| year = 1983| last1 = Cook | first1 = S. A. }}</ref> |
||
|- |
|- |
||
!1983 |
!rowspan=2| 1983 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Ken Thompson]]<br />{{flagicon|USA}} [[Dennis Ritchie]] |
|||
|[[Ken Thompson]] |
|||
|Genel [[işletim sistemi]] teorisinin geliştirilmesi ve bu teorinin [[Unix]] işletim sistemi olarak gerçekleştirilmesi dolayısıyla |
|||
|rowspan=2| Genel [[işletim sistemi]] teorisinin geliştirilmesi ve bu teorinin [[Unix]] işletim sistemi olarak gerçekleştirilmesi dolayısıyla |
|||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/thompson_4588371.cfm | başlık = Kenneth Lane Thompson | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170402063357/http://amturing.acm.org:80/award_winners/thompson_4588371.cfm | arşivtarihi = 2 Nisan 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/ritchie_1506389.cfm | başlık = Dennis M. Ritchie | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703201557/http://amturing.acm.org/award_winners/ritchie_1506389.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/thompson_4588371.cfm | başlık = Kenneth Lane Thompson | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170402063357/http://amturing.acm.org:80/award_winners/thompson_4588371.cfm | arşivtarihi = 2 Nisan 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/ritchie_1506389.cfm | başlık = Dennis M. Ritchie | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703201557/http://amturing.acm.org/award_winners/ritchie_1506389.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Dennis Ritchie]] |
|||
|- |
|- |
||
!1984 |
!1984 |
||
|{{ |
|{{flagcountry|CHE}} |
||
|[[Niklaus Wirth]] |
|||
|[[Euler (programlama dili)|EULER]], [[ALGOL W]], [[Modula]] ve [[Pascal (programlama dili)|Pascal]] gibi yenilikçi programlama dillerini geliştirdiği için |
|[[Euler (programlama dili)|EULER]], [[ALGOL W]], [[Modula]] ve [[Pascal (programlama dili)|Pascal]] gibi yenilikçi programlama dillerini geliştirdiği için |
||
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/wirth_1025774.cfm | başlık = Niklaus E. Wirth | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629084838/http://amturing.acm.org/award_winners/wirth_1025774.cfm | arşivtarihi = 29 Haziran 2017}}</ref> |
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/wirth_1025774.cfm | başlık = Niklaus E. Wirth | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629084838/http://amturing.acm.org/award_winners/wirth_1025774.cfm | arşivtarihi = 29 Haziran 2017}}</ref> |
||
|- |
|- |
||
!1985 |
!1985 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Richard M. Karp]] |
|||
|[[Ağ akışı]] ve [[kombinatorik]] iyileştirme problemlerine yönelik verimli algoritmalar geliştirme konusundaki katkıları, [[polinomsal zaman]] algoritmalarının verimliliği ve [[NP-tam]] kavramının tanımlanması konusundaki çalışmaları dolayısıyla |
|[[Ağ akışı]] ve [[kombinatorik]] iyileştirme problemlerine yönelik verimli algoritmalar geliştirme konusundaki katkıları, [[polinomsal zaman]] algoritmalarının verimliliği ve [[NP-tam]] kavramının tanımlanması konusundaki çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/karp_3256708.cfm | başlık = Richard ("Dick") Manning Karp | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704175158/http://amturing.acm.org/award_winners/karp_3256708.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/karp_3256708.cfm | başlık = Richard ("Dick") Manning Karp | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704175158/http://amturing.acm.org/award_winners/karp_3256708.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!1986 |
!rowspan=2| 1986 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[John Hopcroft]]<br />{{flagicon|USA}} [[Robert Tarjan]] |
|||
|[[John Hopcroft]] |
|||
|Algoritma ve [[veri yapısı|veri yapılarının]] tasarım ve çözümlemesine yaptığı önemli katkılar dolayısıyla |
|||
|rowspan=2| Algoritma ve [[veri yapısı|veri yapılarının]] tasarım ve çözümlemesine yaptığı önemli katkılar dolayısıyla |
|||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/hopcroft_1053917.cfm | başlık = John E Hopcroft | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629083530/http://amturing.acm.org/award_winners/hopcroft_1053917.cfm | arşivtarihi = 29 Haziran 2017}}</ref><ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/tarjan_1092048.cfm | başlık = Robert (Bob) Endre Tarjan | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171030003443/https://amturing.acm.org/award_winners/tarjan_1092048.cfm | arşivtarihi = 30 Ekim 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/hopcroft_1053917.cfm | başlık = John E Hopcroft | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629083530/http://amturing.acm.org/award_winners/hopcroft_1053917.cfm | arşivtarihi = 29 Haziran 2017}}</ref><ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/tarjan_1092048.cfm | başlık = Robert (Bob) Endre Tarjan | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171030003443/https://amturing.acm.org/award_winners/tarjan_1092048.cfm | arşivtarihi = 30 Ekim 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Robert Tarjan]] |
|||
|- |
|- |
||
!1987 |
!1987 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[John Cocke]] |
|||
|Derleyiciler ile büyük sistemler teorisi ve tasarımı konusundaki önemli katkıları, [[RISC|indirgenmiş komut takımlı bilgisayarların]] geliştirilmesi çalışmaları dolayısıyla |
|Derleyiciler ile büyük sistemler teorisi ve tasarımı konusundaki önemli katkıları, [[RISC|indirgenmiş komut takımlı bilgisayarların]] geliştirilmesi çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/cocke_2083115.cfm | başlık = John Cocke | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170913183843/http://amturing.acm.org/award_winners/cocke_2083115.cfm | arşivtarihi = 13 Eylül 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/cocke_2083115.cfm | başlık = John Cocke | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170913183843/http://amturing.acm.org/award_winners/cocke_2083115.cfm | arşivtarihi = 13 Eylül 2017}}</ref> |
||
|- |
|- |
||
!1988 |
!1988 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Ivan Sutherland]] |
|||
|[[Bilgisayar grafikleri]]ne yaptığı (özellikle [[Sketchpad]] yazılımıyla) öncü nitelikteki katkılar dolayısıyla |
|[[Bilgisayar grafikleri]]ne yaptığı (özellikle [[Sketchpad]] yazılımıyla) öncü nitelikteki katkılar dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/sutherland_3467412.cfm | başlık = Ivan Sutherland | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171012154505/http://amturing.acm.org/award_winners/sutherland_3467412.cfm | arşivtarihi = 12 Ekim 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/sutherland_3467412.cfm | başlık = Ivan Sutherland | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171012154505/http://amturing.acm.org/award_winners/sutherland_3467412.cfm | arşivtarihi = 12 Ekim 2017}}</ref> |
||
|- |
|- |
||
!1989 |
!1989 |
||
|{{ |
|{{flagcountry|CAN}} |
||
|[[William Kahan]] |
|||
|[[Sayısal analiz|Sayısal yöntemler]] konusundaki önemli katkıları dolayısıyla. [[Kayan nokta]]lı hesaplama konusundaki uzman kişiler arasında olan Kahan kendini "dünyanın sayısal hesaplama konusunda güvenli bir yer olmasına" adamıştır. |
|[[Sayısal analiz|Sayısal yöntemler]] konusundaki önemli katkıları dolayısıyla. [[Kayan nokta]]lı hesaplama konusundaki uzman kişiler arasında olan Kahan kendini "dünyanın sayısal hesaplama konusunda güvenli bir yer olmasına" adamıştır. |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kahan_1023746.cfm | başlık = William (“Velvel”) Morton Kahan | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703194035/http://amturing.acm.org/award_winners/kahan_1023746.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kahan_1023746.cfm | başlık = William (“Velvel”) Morton Kahan | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703194035/http://amturing.acm.org/award_winners/kahan_1023746.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!1990 |
!1990 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Fernando J. Corbató]] |
|||
|Genel amaçlı, geniş ölçekli, [[Zaman paylaşımı|zaman]] ve kaynak paylaşımlı bilgisayar sistemlerinin ([[CTSS]] ve [[Multics]]) tasarlanması ve geliştirilmesi konusundaki öncü rolü dolayısıyla |
|Genel amaçlı, geniş ölçekli, [[Zaman paylaşımı|zaman]] ve kaynak paylaşımlı bilgisayar sistemlerinin ([[CTSS]] ve [[Multics]]) tasarlanması ve geliştirilmesi konusundaki öncü rolü dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/corbato_1009471.cfm | başlık = Fernando J ("Corby") Corbato | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170406232713/http://amturing.acm.org:80/award_winners/corbato_1009471.cfm | arşivtarihi = 6 Nisan 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/corbato_1009471.cfm | başlık = Fernando J ("Corby") Corbato | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170406232713/http://amturing.acm.org:80/award_winners/corbato_1009471.cfm | arşivtarihi = 6 Nisan 2017}}</ref> |
||
|- |
|- |
||
!1991 |
!1991 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Robin Milner]] |
|||
|Şu konulardaki başarısı nedeniyle:<br />1) [[Otomatik teorem kanıtlama|Makine destekli kanıtlama]] için geliştirdiği [[Logic for Computable Functions|LCF]] aracı<br />2) [[Tip güvenliği|Tip güvenlikli]] bir [[hata işleme]] yordamı ile çalışan çokbiçimli [[tip belirleme]] sisteminin ilk kez kullanıldığı [[ML (programlama dili)|ML]]<br />3) Genel bir [[paralel zamanlılık]] teorisi olan [[İletişim sistemleri cebiri|CCS]]; [[Operasyonel semantik|işletimsel]] ve [[Gösterimsel semantik|gösterimsel anlam bilimi]] arasındaki ilişki |
|Şu konulardaki başarısı nedeniyle:<br />1) [[Otomatik teorem kanıtlama|Makine destekli kanıtlama]] için geliştirdiği [[Logic for Computable Functions|LCF]] aracı<br />2) [[Tip güvenliği|Tip güvenlikli]] bir [[hata işleme]] yordamı ile çalışan çokbiçimli [[tip belirleme]] sisteminin ilk kez kullanıldığı [[ML (programlama dili)|ML]]<br />3) Genel bir [[paralel zamanlılık]] teorisi olan [[İletişim sistemleri cebiri|CCS]]; [[Operasyonel semantik|işletimsel]] ve [[Gösterimsel semantik|gösterimsel anlam bilimi]] arasındaki ilişki |
||
|<ref>{{Cite journal | last1 = Milner | first1 = R. | doi = 10.1145/151233.151240 | title = Elements of interaction: Turing award lecture | journal = Communications of the ACM | volume = 36 | pages = 78–89 | year = 1993 }}</ref> |
|<ref>{{Cite journal | last1 = Milner | first1 = R. | doi = 10.1145/151233.151240 | title = Elements of interaction: Turing award lecture | journal = Communications of the ACM | volume = 36 | pages = 78–89 | year = 1993 }}</ref> |
||
|- |
|- |
||
!1992 |
!1992 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Butler Lampson]] |
|||
|Dağıtık ve kişisel bilgisayar ortamlarının geliştirilmesine yönelik çalışmaları ile [[iş istasyonu|iş istasyonları]], [[Bilgisayar ağı|ağlar]], işletim sistemleri, programlama ortamları, [[Bilgisayar monitörü|görüntüleyiciler]], [[Bilgisayar güvenliği|güvenlik]] ve [[Kelime işlemci|belge yayımlama]] teknolojisine katkıları dolayısıyla |
|Dağıtık ve kişisel bilgisayar ortamlarının geliştirilmesine yönelik çalışmaları ile [[iş istasyonu|iş istasyonları]], [[Bilgisayar ağı|ağlar]], işletim sistemleri, programlama ortamları, [[Bilgisayar monitörü|görüntüleyiciler]], [[Bilgisayar güvenliği|güvenlik]] ve [[Kelime işlemci|belge yayımlama]] teknolojisine katkıları dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/lampson_1142421.cfm | başlık = Butler W Lampson | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704192958/http://amturing.acm.org/award_winners/lampson_1142421.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/lampson_1142421.cfm | başlık = Butler W Lampson | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704192958/http://amturing.acm.org/award_winners/lampson_1142421.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!1993 |
!rowspan=2| 1993 |
||
|{{flagcountry|LAT}} |
|||
|{{flagicon|LAT}} [[Juris Hartmanis]]<br />{{flagicon|USA}} [[Richard E. Stearns]] |
|||
|[[Juris Hartmanis]] |
|||
|[[Hesaplamalı karmaşıklık teorisi]]nin kurulmasını sağlayan açıklayıcı makaleleri dolayısıyla |
|||
|rowspan=2| [[Hesaplamalı karmaşıklık teorisi]]nin kurulmasını sağlayan açıklayıcı makaleleri dolayısıyla |
|||
|<ref>{{Cite journal | doi = 10.1145/188280.188379| title = Turing Award lecture: It's time to reconsider time| journal = Communications of the ACM| volume = 37| issue = 11| pages = 95| year = 1994| last1 = Stearns | first1 = R. E. }}</ref> |
|||
|rowspan=2| <ref>{{Cite journal | doi = 10.1145/188280.188379| title = Turing Award lecture: It's time to reconsider time| journal = Communications of the ACM| volume = 37| issue = 11| pages = 95| year = 1994| last1 = Stearns | first1 = R. E. }}</ref> |
|||
|- |
|- |
||
|{{flagcountry|USA}} |
|||
!1994 |
|||
|[[Richard E. Stearns]] |
|||
|{{flagicon|USA}} [[Edward Feigenbaum]]<br />{{flagicon|USA}} [[Raj Reddy]] |
|||
|- |
|||
|Geniş ölçekli yapay zekâ sistemlerinin kurulması konusundaki öncü rolleri ile bu teknolojinin uygulamadaki önemini gösteren çalışmaları dolayısıyla |
|||
!rowspan=2| 1994 |
|||
|<ref>{{Cite journal | last1 = Reddy | first1 = R. | title = To dream the possible dream | doi = 10.1145/229459.233436 | journal = Communications of the ACM | volume = 39 | issue = 5 | pages = 105 | year = 1996 }}</ref> |
|||
|{{flagcountry|USA}} |
|||
|[[Edward Feigenbaum]] |
|||
|rowspan=2| Geniş ölçekli yapay zekâ sistemlerinin kurulması konusundaki öncü rolleri ile bu teknolojinin uygulamadaki önemini gösteren çalışmaları dolayısıyla |
|||
|rowspan=2| <ref>{{Cite journal | last1 = Reddy | first1 = R. | title = To dream the possible dream | doi = 10.1145/229459.233436 | journal = Communications of the ACM | volume = 39 | issue = 5 | pages = 105 | year = 1996 }}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Raj Reddy]] |
|||
|- |
|- |
||
!1995 |
!1995 |
||
|{{ |
|{{flagcountry|VEN}} |
||
|[[Manuel Blum]] |
|||
|Hesaplamalı karmaşıklık teorisinin [[kriptoloji]] ve [[program doğrulama]]ya uygulanması konusundaki katkıları için |
|Hesaplamalı karmaşıklık teorisinin [[kriptoloji]] ve [[program doğrulama]]ya uygulanması konusundaki katkıları için |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/blum_4659082.cfm | başlık = Manuel Blum | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170701122906/http://amturing.acm.org/award_winners/blum_4659082.cfm | arşivtarihi = 1 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/blum_4659082.cfm | başlık = Manuel Blum | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170701122906/http://amturing.acm.org/award_winners/blum_4659082.cfm | arşivtarihi = 1 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!1996 |
!1996 |
||
|{{ |
|{{flagcountry|ISR}} |
||
|[[Amir Pnueli]] |
|||
|[[Zamansal mantık]] kavramını bilgisayar bilimine kazandırması ile program ve sistem doğrulama konusundaki önemli katkılarından dolayı |
|[[Zamansal mantık]] kavramını bilgisayar bilimine kazandırması ile program ve sistem doğrulama konusundaki önemli katkılarından dolayı |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/pnueli_4725172.cfm | başlık = Amir Pnueli | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629090242/http://amturing.acm.org/award_winners/pnueli_4725172.cfm | arşivtarihi = 29 Haziran 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/pnueli_4725172.cfm | başlık = Amir Pnueli | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629090242/http://amturing.acm.org/award_winners/pnueli_4725172.cfm | arşivtarihi = 29 Haziran 2017}}</ref> |
||
|- |
|- |
||
!1997 |
!1997 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Douglas Engelbart]] |
|||
|Etkileşimli bilişimin geleceğine yönelik öngörüsü ve bu öngörüyü gerçekleştirmek için ortaya koyduğu teknolojik çalışmalar dolayısıyla |
|Etkileşimli bilişimin geleceğine yönelik öngörüsü ve bu öngörüyü gerçekleştirmek için ortaya koyduğu teknolojik çalışmalar dolayısıyla |
||
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/engelbart_5078811.cfm | başlık = Douglas Engelbart | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704002220/http://amturing.acm.org/award_winners/engelbart_5078811.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/engelbart_5078811.cfm | başlık = Douglas Engelbart | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704002220/http://amturing.acm.org/award_winners/engelbart_5078811.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!1998 |
!1998 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Jim Gray (bilgisayar bilimcisi)|Jim Gray]] |
|||
|[[Veri tabanı]] ve [[hareket işleme]] konulu araştırmaları ve sistem uygulamalarındaki önderliği dolayısıyla |
|[[Veri tabanı]] ve [[hareket işleme]] konulu araştırmaları ve sistem uygulamalarındaki önderliği dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/gray_3649936.cfm | başlık = James ("Jim") Nicholas Gray | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171002194640/http://amturing.acm.org/award_winners/gray_3649936.cfm | arşivtarihi = 2 Ekim 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/gray_3649936.cfm | başlık = James ("Jim") Nicholas Gray | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171002194640/http://amturing.acm.org/award_winners/gray_3649936.cfm | arşivtarihi = 2 Ekim 2017}}</ref> |
||
|- |
|- |
||
!1999 |
!1999 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Fred Brooks]] |
|||
|[[Bilgisayar mimarisi]], işletim sistemleri ve [[yazılım mühendisliği]]ne yaptığı eşsiz katkılar dolayısıyla |
|[[Bilgisayar mimarisi]], işletim sistemleri ve [[yazılım mühendisliği]]ne yaptığı eşsiz katkılar dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://www.cs.unc.edu/Events/News/TuringAward.html | başlık = Frederick P. Brooks Jr. Wins the Association for Computing Machinery's 1999 A. M. Turing Award, Called "The Nobel Prize of Computing" | yayımcı = University of North Carolina, Chapel Hill | tarih = 7 Ocak 2000 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20160303204748/http://www.cs.unc.edu/Events/News/TuringAward.html | arşivtarihi = 3 Mart 2016}}</ref> |
|<ref>{{Web kaynağı | url = http://www.cs.unc.edu/Events/News/TuringAward.html | başlık = Frederick P. Brooks Jr. Wins the Association for Computing Machinery's 1999 A. M. Turing Award, Called "The Nobel Prize of Computing" | yayımcı = University of North Carolina, Chapel Hill | tarih = 7 Ocak 2000 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20160303204748/http://www.cs.unc.edu/Events/News/TuringAward.html | arşivtarihi = 3 Mart 2016}}</ref> |
||
|- |
|- |
||
!2000 |
!2000 |
||
|{{ |
|{{flagcountry|CHN}} |
||
|[[Andrew Yao]] |
|||
|[[Algoritmalar teorisi|Hesaplama teorisi]]ne yaptığı önemli katkılar ile [[Sözderastlantısal sayı üreteci|sözderastlantısal sayı üretimi]], kriptoloji ve [[iletişim karmaşıklığı]] konusundaki çalışmaları dolayısıyla |
|[[Algoritmalar teorisi|Hesaplama teorisi]]ne yaptığı önemli katkılar ile [[Sözderastlantısal sayı üreteci|sözderastlantısal sayı üretimi]], kriptoloji ve [[iletişim karmaşıklığı]] konusundaki çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/yao_1611524.cfm | başlık = Andrew Chi-Chih Yao | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703221804/http://amturing.acm.org/award_winners/yao_1611524.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = https://amturing.acm.org/award_winners/yao_1611524.cfm | başlık = Andrew Chi-Chih Yao | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703221804/http://amturing.acm.org/award_winners/yao_1611524.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!2001 |
!rowspan=2| 2001 |
||
|{{flagcountry|NOR}} |
|||
|{{flagicon|NOR}} [[Ole-Johan Dahl]]<br />{{flagicon|NOR}} [[Kristen Nygaard]] |
|||
|[[Ole-Johan Dahl]] |
|||
|[[Nesne yönelimli programlama]]nın ortaya çıkmasını sağlayan temel düşünceleri ile [[Simula|Simula I]] ve Simula 67 adlı programlama dillerini tasarladıkları için |
|||
|rowspan=2| [[Nesne yönelimli programlama]]nın ortaya çıkmasını sağlayan temel düşünceleri ile [[Simula|Simula I]] ve Simula 67 adlı programlama dillerini tasarladıkları için |
|||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/dahl_6917600.cfm | başlık = Ole-Johan Dahl | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703183656/http://amturing.acm.org/award_winners/dahl_6917600.cfm | arşivtarihi = 3 Temmuz 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/nygaard_5916220.cfm | başlık = Kristen Nygaard | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703182527/http://amturing.acm.org/award_winners/nygaard_5916220.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/dahl_6917600.cfm | başlık = Ole-Johan Dahl | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703183656/http://amturing.acm.org/award_winners/dahl_6917600.cfm | arşivtarihi = 3 Temmuz 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/nygaard_5916220.cfm | başlık = Kristen Nygaard | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703182527/http://amturing.acm.org/award_winners/nygaard_5916220.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|||
|- |
|- |
||
|{{flagcountry|NOR}} |
|||
!2002 |
|||
|[[Kristen Nygaard]] |
|||
|{{flagicon|USA}} [[Ron Rivest]]<br />{{flagicon|ISR}} [[Adi Shamir]]<br />{{flagicon|USA}} [[Leonard Adleman]] |
|||
|- |
|||
|[[Açık anahtarlı şifreleme]]yi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla |
|||
!rowspan=3| 2002 |
|||
|<ref>{{Web kaynağı | url = http://www.ams.org/notices/200307/comm-turing.pdf | başlık = Rivest, Shamir, and Adleman Receive 2002 Turing Award | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20170829061845/http://www.ams.org/notices/200307/comm-turing.pdf | arşivtarihi = 29 Ağustos 2017}}</ref> |
|||
|{{flagcountry|USA}} |
|||
|[[Ron Rivest]] |
|||
|rowspan=3| [[Açık anahtarlı şifreleme]]yi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla |
|||
|rowspan=3| <ref>{{Web kaynağı | url = http://www.ams.org/notices/200307/comm-turing.pdf | başlık = Rivest, Shamir, and Adleman Receive 2002 Turing Award | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20170829061845/http://www.ams.org/notices/200307/comm-turing.pdf | arşivtarihi = 29 Ağustos 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|ISR}} |
|||
|[[Adi Shamir]] |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Leonard Adleman]] |
|||
|- |
|- |
||
!2003 |
!2003 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Alan Kay]] |
|||
|Günümüzde kullanılan nesne yönelimli programlama dillerinin temellerini atan düşünceleri ile [[Smalltalk]] dilini oluşturan takıma önderlik yapması dolayısıyla |
|Günümüzde kullanılan nesne yönelimli programlama dillerinin temellerini atan düşünceleri ile [[Smalltalk]] dilini oluşturan takıma önderlik yapması dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kay_3972189.cfm | başlık = Alan Kay | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171012154515/http://amturing.acm.org/award_winners/kay_3972189.cfm | arşivtarihi = 12 Ekim 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kay_3972189.cfm | başlık = Alan Kay | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171012154515/http://amturing.acm.org/award_winners/kay_3972189.cfm | arşivtarihi = 12 Ekim 2017}}</ref> |
||
|- |
|- |
||
!2004 |
!rowspan=2| 2004 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Vint Cerf]]<br />{{flagicon|USA}} [[Bob Kahn]] |
|||
|[[Vint Cerf]] |
|||
|[[İnternet (terim isim)|Ağ kümeleri]] konusundaki öncü rolleri ile [[internet]]in temel iletişim kurallarından [[İnternet iletişim kuralları dizisi|TCP/IP]]'nin tasarım ve uygulaması konusundaki çalışmaları dolayısıyla |
|||
|rowspan=2| [[İnternet (terim isim)|Ağ kümeleri]] konusundaki öncü rolleri ile [[internet]]in temel iletişim kurallarından [[İnternet iletişim kuralları dizisi|TCP/IP]]'nin tasarım ve uygulaması konusundaki çalışmaları dolayısıyla |
|||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/cerf_1083211.cfm | başlık = Vinton (“Vint”) Gray Cerf | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629090105/http://amturing.acm.org/award_winners/cerf_1083211.cfm | arşivtarihi = 29 Haziran 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kahn_4598637.cfm | başlık = Robert (“Bob”) Elliot Kahn | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171114202614/https://amturing.acm.org/award_winners/kahn_4598637.cfm | arşivtarihi = 14 Kasım 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/cerf_1083211.cfm | başlık = Vinton (“Vint”) Gray Cerf | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170629090105/http://amturing.acm.org/award_winners/cerf_1083211.cfm | arşivtarihi = 29 Haziran 2017}}</ref><ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/kahn_4598637.cfm | başlık = Robert (“Bob”) Elliot Kahn | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171114202614/https://amturing.acm.org/award_winners/kahn_4598637.cfm | arşivtarihi = 14 Kasım 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Bob Kahn]] |
|||
|- |
|- |
||
!2005 |
!2005 |
||
|{{ |
|{{flagcountry|DEN}} |
||
|[[Peter Naur]] |
|||
|Programlama dili tasarımı, [[ALGOL 60]], derleyici tasarımı ve programlama sanatına yaptığı önemli katkılar dolayısıyla |
|Programlama dili tasarımı, [[ALGOL 60]], derleyici tasarımı ve programlama sanatına yaptığı önemli katkılar dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/naur_1024454.cfm | başlık = Peter Naur | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703194450/http://amturing.acm.org/award_winners/naur_1024454.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/naur_1024454.cfm | başlık = Peter Naur | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703194450/http://amturing.acm.org/award_winners/naur_1024454.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!2006 |
!2006 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Frances E. Allen]] |
|||
|Bilgisayar programlarının başarımı ve [[süper bilgisayar]]ların kullanımını artırmaya yönelik çalışmaları dolayısıyla |
|Bilgisayar programlarının başarımı ve [[süper bilgisayar]]ların kullanımını artırmaya yönelik çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/allen_1012327.cfm | başlık = Frances ("Fran") Elizabeth Allen | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170324170217/http://amturing.acm.org:80/award_winners/allen_1012327.cfm | arşivtarihi = 24 Mart 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/allen_1012327.cfm | başlık = Frances ("Fran") Elizabeth Allen | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170324170217/http://amturing.acm.org:80/award_winners/allen_1012327.cfm | arşivtarihi = 24 Mart 2017}}</ref> |
||
|- |
|- |
||
!2007 |
!rowspan=3| 2007 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Edmund M. Clarke]]<br />{{flagicon|USA}} [[E. Allen Emerson]]<br />{{flagicon|GRE}} [[Joseph Sifakis]] |
|||
|[[Edmund M. Clarke]] |
|||
|Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve [[model kontrolü]] ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için |
|||
|rowspan=3| Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve [[model kontrolü]] ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için |
|||
|<ref>{{Web kaynağı | url = http://www.ddj.com/206103622 | başlık = 2007 Turing Award Winners Announced | yayımcı = Dr. Dobb's | arşivurl = http://web.archive.org/web/20091102080853/http://www.ddj.com:80/206103622 | arşivtarihi = 2 Kasım 2009}}</ref> |
|||
|rowspan=3| <ref>{{Web kaynağı | url = http://www.ddj.com/206103622 | başlık = 2007 Turing Award Winners Announced | yayımcı = Dr. Dobb's | arşivurl = http://web.archive.org/web/20091102080853/http://www.ddj.com:80/206103622 | arşivtarihi = 2 Kasım 2009}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[E. Allen Emerson]] |
|||
|- |
|||
|{{flagcountry|GRE}} |
|||
|[[Joseph Sifakis]] |
|||
|- |
|- |
||
!2008 |
!2008 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Barbara Liskov]] |
|||
|Programlama dili tasarımı, [[soyutlama (bilgisayar bilimi)|veri soyutlama]], [[arızaya dayanıklılık]] ve [[dağıtık hesaplama]] konusundaki katkıları dolayısıyla |
|Programlama dili tasarımı, [[soyutlama (bilgisayar bilimi)|veri soyutlama]], [[arızaya dayanıklılık]] ve [[dağıtık hesaplama]] konusundaki katkıları dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://news.mit.edu/2009/turing-liskov-0310 | başlık = Barbara Liskov wins Turing Award | yayımcı = MIT News | tarih = 10 Mart 2009 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20170517203224/http://news.mit.edu/2009/turing-liskov-0310 | arşivtarihi = 17 Mayıs 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://news.mit.edu/2009/turing-liskov-0310 | başlık = Barbara Liskov wins Turing Award | yayımcı = MIT News | tarih = 10 Mart 2009 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20170517203224/http://news.mit.edu/2009/turing-liskov-0310 | arşivtarihi = 17 Mayıs 2017}}</ref> |
||
|- |
|- |
||
!2009 |
!2009 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Charles P. Thacker]] |
|||
|İlk çağdaş kişisel bilgisayar olan [[Xerox Alto]]'yu tasarlaması, [[ethernet]] ve [[tablet bilgisayar]] konusundaki çalışmaları dolayısıyla |
|İlk çağdaş kişisel bilgisayar olan [[Xerox Alto]]'yu tasarlaması, [[ethernet]] ve [[tablet bilgisayar]] konusundaki çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/thacker_1336106.cfm | başlık = Charles P. (Chuck) Thacker | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170324170227/http://amturing.acm.org:80/award_winners/thacker_1336106.cfm | arşivtarihi = 24 Mart 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/thacker_1336106.cfm | başlık = Charles P. (Chuck) Thacker | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170324170227/http://amturing.acm.org:80/award_winners/thacker_1336106.cfm | arşivtarihi = 24 Mart 2017}}</ref> |
||
|- |
|- |
||
!2010 |
!2010 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Leslie Valiant]] |
|||
|Hesaplama teorisine yaptığı etkileyici katkılar ile [[yüksek olasılıklı öğrenme]] (PAC), sayım ve cebirsel hesaplama karmaşıklığı, [[Paralel hesaplama|paralel]] ve dağıtık hesaplama teorisi konusundaki çalışmaları dolayısıyla |
|Hesaplama teorisine yaptığı etkileyici katkılar ile [[yüksek olasılıklı öğrenme]] (PAC), sayım ve cebirsel hesaplama karmaşıklığı, [[Paralel hesaplama|paralel]] ve dağıtık hesaplama teorisi konusundaki çalışmaları dolayısıyla |
||
|<ref>{{Web kaynağı | url = https://www.seas.harvard.edu/news/2011/03/leslie-valiant-wins-2010-acm-m-turing-award | başlık = Leslie Valiant wins 2010 ACM A. M. Turing Award | yayımcı = Harvard Üniversitesi | tarih = 9 Mart 2011 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20160905182758/http://www.seas.harvard.edu:80/news/2011/03/leslie-valiant-wins-2010-acm-m-turing-award | arşivtarihi = 5 Eylül 2016}}</ref> |
|<ref>{{Web kaynağı | url = https://www.seas.harvard.edu/news/2011/03/leslie-valiant-wins-2010-acm-m-turing-award | başlık = Leslie Valiant wins 2010 ACM A. M. Turing Award | yayımcı = Harvard Üniversitesi | tarih = 9 Mart 2011 | erişimtarihi = 18 Kasım 2017 | arşivurl = http://web.archive.org/web/20160905182758/http://www.seas.harvard.edu:80/news/2011/03/leslie-valiant-wins-2010-acm-m-turing-award | arşivtarihi = 5 Eylül 2016}}</ref> |
||
|- |
|- |
||
!2011 |
!2011 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Judea Pearl]]<ref>{{cite journal | last1 = Pearl | first1 = Judea | last2 = | first2 = | year = 2011 | title = The Mechanization of Causal Inference: A "mini" Turing Test and Beyond | journal = ACM Turing award lectures | volume = | issue = | pages = | publisher = ACM | isbn = 978-1-4503-1049-9 | jstor = | doi = 10.1145/1283920.2351636 | url = http://dl.acm.org/citation.cfm?id=1283920.2351636 | format = mp4 | accessdate = | doi-broken-date = 2017-08-22 }}</ref> |
|||
|[[Judea Pearl]]<ref>{{cite journal | last1 = Pearl | first1 = Judea | last2 = | first2 = | year = 2011 | title = The Mechanization of Causal Inference: A "mini" Turing Test and Beyond | journal = ACM Turing award lectures | volume = | issue = | pages = | publisher = ACM | isbn = 978-1-4503-1049-9 | jstor = | doi = 10.1145/1283920.2351636 | url = http://dl.acm.org/citation.cfm?id=1283920.2351636 | format = mp4 | accessdate = | doi-broken-date = 2017-08-22 }}</ref> |
|||
|Olasılık ve olay tabanlı karar verme [[kalkülüs]]ü yoluyla yapay zekâya yaptığı katkılar dolayısıyla |
|Olasılık ve olay tabanlı karar verme [[kalkülüs]]ü yoluyla yapay zekâya yaptığı katkılar dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/pearl_2658896.cfm | başlık = Judea Pearl | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170826024415/http://amturing.acm.org/award_winners/pearl_2658896.cfm | arşivtarihi = 26 Ağustos 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/pearl_2658896.cfm | başlık = Judea Pearl | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170826024415/http://amturing.acm.org/award_winners/pearl_2658896.cfm | arşivtarihi = 26 Ağustos 2017}}</ref> |
||
|- |
|- |
||
!2012 |
!rowspan=2| 2012 |
||
|{{flagcountry|ITA}} |
|||
|{{flagicon|ITA}} [[Silvio Micali]]<br />{{flagicon|USA}}{{flagicon|ISR}} [[Shafi Goldwasser]] |
|||
|[[Silvio Micali]] |
|||
|Kriptolojinin karmaşıklık teorisini açıklayan etkileyici çalışmaları ile matematiksel kanıtların vermli bir biçimde doğrulanmasını sağlayan yeni yöntemler geliştirmeleri dolayısıyla |
|||
|rowspan=2| Kriptolojinin karmaşıklık teorisini açıklayan etkileyici çalışmaları ile matematiksel kanıtların vermli bir biçimde doğrulanmasını sağlayan yeni yöntemler geliştirmeleri dolayısıyla |
|||
|<ref>{{Web kaynağı | url = http://www.acm.org/press-room/news-releases/2013/turing-award-12/ | başlık = Turing award 2012 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171016065932/http://www.acm.org/press-room/news-releases/2013/turing-award-12 | arşivtarihi = 16 Ekim 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://www.acm.org/press-room/news-releases/2013/turing-award-12/ | başlık = Turing award 2012 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20171016065932/http://www.acm.org/press-room/news-releases/2013/turing-award-12 | arşivtarihi = 16 Ekim 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}}<br />{{flagcountry|ISR}} |
|||
|[[Shafi Goldwasser]] |
|||
|- |
|- |
||
!2013 |
!2013 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Leslie Lamport]] |
|||
|Dağıtık ve paralel sistemlerin tasarım ve uygulaması konusundaki önemli katkıları ile mantıksal saatler, güvenlik ve canlılık, eşlenen durum makineleri ve sıralı tutarlılık gibi kavramları geliştirmesi dolayısıyla |
|Dağıtık ve paralel sistemlerin tasarım ve uygulaması konusundaki önemli katkıları ile mantıksal saatler, güvenlik ve canlılık, eşlenen durum makineleri ve sıralı tutarlılık gibi kavramları geliştirmesi dolayısıyla |
||
|<ref>{{Cite journal | last1 = Lamport | first1 = L. |authorlink1=Leslie Lamport| title = Time, clocks, and the ordering of events in a distributed system | doi = 10.1145/359545.359563 | journal = [[Communications of the ACM ]]| volume = 21 | issue = 7 | pages = 558-565| year = 1978 | url=http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf }}</ref> |
|<ref>{{Cite journal | last1 = Lamport | first1 = L. |authorlink1=Leslie Lamport| title = Time, clocks, and the ordering of events in a distributed system | doi = 10.1145/359545.359563 | journal = [[Communications of the ACM ]]| volume = 21 | issue = 7 | pages = 558-565| year = 1978 | url=http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf }}</ref> |
||
|- |
|- |
||
!2014 |
!2014 |
||
|{{ |
|{{flagcountry|USA}} |
||
|[[Michael Stonebraker]] |
|||
|Çağdaş veri tabanı sistemlerinin altyapısını oluşturan kavramlara yaptığı önemli katkılar dolayısıyla |
|Çağdaş veri tabanı sistemlerinin altyapısını oluşturan kavramlara yaptığı önemli katkılar dolayısıyla |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/stonebraker_1172121.cfm | başlık = Turing award 2014 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703233056/http://amturing.acm.org/award_winners/stonebraker_1172121.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/stonebraker_1172121.cfm | başlık = Turing award 2014 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170703233056/http://amturing.acm.org/award_winners/stonebraker_1172121.cfm | arşivtarihi = 3 Temmuz 2017}}</ref> |
||
|- |
|- |
||
!2015 |
!rowspan=2| 2015 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[Martin Hellman]]<br />{{flagicon|USA}} [[Whitfield Diffie]] |
|||
|[[Martin Hellman]] |
|||
|Çağdaş kriptolojiye yaptıkları katkılar için. Diffie ve Hellman'ın 1976'da yazdığı "New Directions in Cryptography"<ref name="DiffieHellman1976">{{cite journal|last1=Diffie|first1=W.|last2=Hellman|first2=M.|title=New directions in cryptography|journal=IEEE Transactions on Information Theory|volume=22|issue=6|year=1976|pages=644–654|url=https://www-ee.stanford.edu/~hellman/publications/24.pdf|doi=10.1109/TIT.1976.1055638}}</ref> başlıklı makale günümüzde internet üzerinde yaygın olarak kullanılan güvenlik sistemlerinden açık anahtarlı şifreleme ve [[elektronik imza]]ların gelişimine önayak olmuştur. |
|||
|rowspan=2| Çağdaş kriptolojiye yaptıkları katkılar için. Diffie ve Hellman'ın 1976'da yazdığı "New Directions in Cryptography"<ref name="DiffieHellman1976">{{cite journal|last1=Diffie|first1=W.|last2=Hellman|first2=M.|title=New directions in cryptography|journal=IEEE Transactions on Information Theory|volume=22|issue=6|year=1976|pages=644–654|url=https://www-ee.stanford.edu/~hellman/publications/24.pdf|doi=10.1109/TIT.1976.1055638}}</ref> başlıklı makale günümüzde internet üzerinde yaygın olarak kullanılan güvenlik sistemlerinden açık anahtarlı şifreleme ve [[elektronik imza]]ların gelişimine önayak olmuştur. |
|||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/diffie_8371646.cfm | başlık = Cryptography Pioneers Receive 2015 ACM A.M. Turing Award | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704184453/http://amturing.acm.org/award_winners/diffie_8371646.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/diffie_8371646.cfm | başlık = Cryptography Pioneers Receive 2015 ACM A.M. Turing Award | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170704184453/http://amturing.acm.org/award_winners/diffie_8371646.cfm | arşivtarihi = 4 Temmuz 2017}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[Whitfield Diffie]] |
|||
|- |
|- |
||
!2016 |
!2016 |
||
|{{ |
|{{flagcountry|GBR}} |
||
|[[Tim Berners-Lee]] |
|||
|[[World Wide Web]]'i, ilk [[web tarayıcısı]]nı ve internetin geniş ölçekli kullanımını güvence altına alan kural ve algoritmaları geliştirdiği için |
|[[World Wide Web]]'i, ilk [[web tarayıcısı]]nı ve internetin geniş ölçekli kullanımını güvence altına alan kural ve algoritmaları geliştirdiği için |
||
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/berners-lee_8087960.cfm | başlık = Turing award 2016 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170406225836/http://amturing.acm.org:80/award_winners/berners-lee_8087960.cfm | arşivtarihi = 6 Nisan 2017}}</ref> |
|<ref>{{Web kaynağı | url = http://amturing.acm.org/award_winners/berners-lee_8087960.cfm | başlık = Turing award 2016 | yayımcı = ACM | arşivurl = http://web.archive.org/web/20170406225836/http://amturing.acm.org:80/award_winners/berners-lee_8087960.cfm | arşivtarihi = 6 Nisan 2017}}</ref> |
||
|- |
|- |
||
!2017 |
!rowspan=2| 2017 |
||
|{{flagcountry|USA}} |
|||
|{{flagicon|USA}} [[John L. Hennessy]]<br />{{flagicon|USA}} [[David Patterson (bilgisayar bilimcisi)|David Patterson]] |
|||
|[[John L. Hennessy]] |
|||
|[[Bilgisayar mimarisi|Bilgisayar mimarilerinin]] tasarım ve değerlendirmesine getirdikleri sistemli ve niceliksel yaklaşım ile [[mikroişlemci]] sanayiine yaptıkları kalıcı etki dolayısıyla |
|||
|rowspan=2| [[Bilgisayar mimarisi|Bilgisayar mimarilerinin]] tasarım ve değerlendirmesine getirdikleri sistemli ve niceliksel yaklaşım ile [[mikroişlemci]] sanayiine yaptıkları kalıcı etki dolayısıyla |
|||
|<ref>{{Web kaynağı | url = https://www.acm.org/media-center/2018/march/turing-award-2017 | başlık = Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award | yayımcı = ACM | erişimtarihi = 23 Mart 2018 | arşivurl = http://web.archive.org/web/20180325102258/https://www.acm.org/media-center/2018/march/turing-award-2017 | arşivtarihi = 25 Mart 2018}}</ref> |
|||
|rowspan=2| <ref>{{Web kaynağı | url = https://www.acm.org/media-center/2018/march/turing-award-2017 | başlık = Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award | yayımcı = ACM | erişimtarihi = 23 Mart 2018 | arşivurl = http://web.archive.org/web/20180325102258/https://www.acm.org/media-center/2018/march/turing-award-2017 | arşivtarihi = 25 Mart 2018}}</ref> |
|||
|- |
|||
|{{flagcountry|USA}} |
|||
|[[David Patterson (bilgisayar bilimcisi)|David Patterson]] |
|||
|} |
|} |
||
Sayfanın 13.22, 14 Nisan 2018 tarihindeki hâli
ACM Turing Ödülü | |
---|---|
Açıklama | Bilgisayar bilimine yapılan önemli katkılar |
Dağıtan | Association for Computing Machinery (ACM) |
Tarih | 1966 | )
Ülke | Amerika Birleşik Devletleri |
Kazanç | $1.000.000[1] |
Son verildiği yıl | John L. Hennessy, David Patterson (2017) |
Resmî sitesi | amturing.acm.org |
Turing Ödülü, modern bilgisayar biliminin kurucularından sayılan Alan Turing anısına, 1966'dan beri her yıl Association for Computing Machinery (ACM) tarafından bilişim dünyasına katkıda bulunanlara verilen bir ödüldür. Ödüle değer görülen katkılarda "kalıcı olma ve bilgisayar bilimi dünyasına önemli bir etki yapma" koşulu aranmaktadır.[2] Bilişim konulu en önemli ödül olduğu düşünülen[3][4] Turing Ödülü bilgisayar dünyasının Nobel Ödülü olarak da anılmaktadır.[5][6]
Ödül, adını Manchester Üniversitesi'nde reader olarak çalışan Britanyalı matematikçi ve yazar Alan Turing'den almıştır. Alan Turing teorik bilgisayar bilimi ve yapay zekanın kurucusu olarak kabul edilmektedir.[7] Her yıl ACM Awards Banquet'te sahibini bulan Turing Ödülü'ne değer görülen araştırmacılar ACM konferanslarına konuşmacı olarak katılma hakkını da elde etmektedirler.
Turing Ödülü 2003 yılına değin $25.000 maddi desteği içermiştir. Para ödülü 2003 yılında $100.000, 2007-2013 yılları arasında ise $250.000 olmuş ve Intel ile Google tarafından sağlanmıştır.[2] 2014'te ise para ödülü $1 milyona çıkarılmış[1] ve Google tarafından karşılanmaya başlamıştır.[8]
50 yılı aşkın tarihinde ilk ödül 1966 yılında Carnegie Mellon Üniversitesi'nden Alan Perlis tarafından alınırken 2006 yılında IBM'den Frances E. Allen bu ödülü kazanan ilk kadın olmuştur.[9] 1975 yılında ise ödül ilk kez birden çok araştırmacıya (yapay zekâ konulu araştırmaları için Allen Newell ve Herbert Simon'a) verilmiştir.
Ödül sahipleri
Yıla göre
Yıl | Ülke | Kazanan | Açıklama | Kay |
---|---|---|---|---|
1966 | ABD | Alan Perlis | Programlama ve derleyici tasarımı alanına yaptığı katkılardan dolayı | [10] |
1967 | Büyük Britanya | Maurice Wilkes | Profesör Wilkes dahili program saklayabilen ilk bilgisayar olan EDSAC'ın tasarımcısı ve mimarı olarak bilinir. 1949 yılında EDSAC bir delay line memory kullandı. Ayrıca, Wilkes 1951 yılında yazılan "Preparation of Programs for Electronic Digital Computers" kitabının yazarlarından biridir ve bu kitap program kütüphanelerini iyi bir biçimde tanıtmıştır. | [11] |
1968 | ABD | Richard Hamming | Hata bulma ve düzeltme kodları, otomatik kodlama dizgeleri ve sayısal yöntemler konusundaki çalışmalarından dolayı | [12] |
1969 | ABD | Marvin Minsky | Yapay zekânın oluşturulması, biçimlendirilmesi ve geliştirilmesine yönelik kayda değer etkilerinden dolayı | [13] |
1970 | Büyük Britanya | James H. Wilkinson | Yüksek hızlı sayısal bilgisayarların kullanımını kolaylaştıran sayısal analiz çalışmaları ile lineer cebir ve geriye dönük hata analizine yaptığı katkılardan dolayı | [14] |
1971 | ABD | John McCarthy | McCarthy'nin çalışma alanındaki bilinirliğini ortaya koyan "The Present State of Research on Artificial Intelligence" başlıklı konuşması | [15] |
1972 | Hollanda | Edsger Dijkstra | Edsger Dijkstra 1950'lerde ALGOL adlı yüksek düzey programlama diline en çok katkı yapan kişilerden biridir. Programlama dillerine genel anlamda katkı sunmuş olan ilk bilim insanları arasındadır ve bunların yapısı, tanımı ve uygulaması konusundaki çalışmalarıyla bilinir. Dijkstra'nın on beş yılı bulan yayım geçmişi çizge teorisine ilişkin teorik makalelerden el kitaplarına, açıklayıcı metinlerden programlama dilleri konulu felsefi gözlemlere uzanmaktadır. | [16] |
1973 | ABD | Charles Bachman | Veri tabanı teknolojisine yaptığı büyük katkılardan dolayı | [17] |
1974 | ABD | Donald Knuth | Algoritma analizi ve programlama dili tasarımı konusundaki değerli çalışmaları ile özellikle "The Art of Computer Programming" adlı kitabı dolayısıyla | [18] |
1975 | ABD | Allen Newell | RAND Corporation'da J. C. Shaw'la, Carnegie Mellon Üniversitesi'nde fakülte üyeleri ve öğrencilerle yürütülen çalışmalar sonucunda yapay zekâ, insanın bilişsel yapısı ve liste işleme konusundaki katkılarından dolayı | [19] |
ABD | Herbert Simon | |||
1976 | İsrail | Michael O. Rabin | Deterministik olmayan sonlu durum makinelerinin geliştirilmesine önayak olan "Finite Automata and Their Decision Problem" adlı makaleleri dolayısıyla.[20] Scott ve Rabin'in klasik makalesi bu alandaki diğer çalışmalara esin kaynağı olmuştur. | [21][22] |
ABD | Dana Scott | |||
1977 | ABD | John Backus | FORTRAN gibi yüksek düzey programlama dillerine yaptığı etkileyici katkıları ve programlama dillerinin temel niteliklerine ilişkin resmî yordamlar konulu yayınlarından dolayı | [23] |
1978 | ABD | Robert W. Floyd | Verimli ve güvenilir yazılımlar oluşturma yöntemleri konusundaki çalışmaları ile bilgisayar biliminin şu alt dallarının kurulmasına yaptığı katkıları dolayısıyla: normalizasyon teorisi, programlama dilleri anlam bilimi, otomatik program doğrulama, otomatik programlama ve algoritma analizi | [24] |
1979 | Kanada | Kenneth E. Iverson | Günümüzde APL olarak bilinen dala zemin hazırlayan çalışmaları, etkileşimli sistemler, programlama dili teorisi ve uygulamasına yaptığı katkılardan dolayı | [25] |
1980 | Büyük Britanya | Tony Hoare | Programlama dili tanımı ve tasarımı alanındaki önemli katkılarından dolayı | [26] |
1981 | Büyük Britanya | Edgar F. Codd | Veri tabanı yönetim sistemleri (özellikle ilişkisel veri tabanları) teorisi ve uygulamaları konusundaki önemli katkılarından dolayı | [27] |
1982 | ABD Kanada |
Stephen A. Cook | Berim karmaşıklığı konusundaki bilgi birikimini önemli ölçüde değiştirdiği için | [28] |
1983 | ABD | Ken Thompson | Genel işletim sistemi teorisinin geliştirilmesi ve bu teorinin Unix işletim sistemi olarak gerçekleştirilmesi dolayısıyla | [29][30] |
ABD | Dennis Ritchie | |||
1984 | İsviçre | Niklaus Wirth | EULER, ALGOL W, Modula ve Pascal gibi yenilikçi programlama dillerini geliştirdiği için | [31] |
1985 | ABD | Richard M. Karp | Ağ akışı ve kombinatorik iyileştirme problemlerine yönelik verimli algoritmalar geliştirme konusundaki katkıları, polinomsal zaman algoritmalarının verimliliği ve NP-tam kavramının tanımlanması konusundaki çalışmaları dolayısıyla | [32] |
1986 | ABD | John Hopcroft | Algoritma ve veri yapılarının tasarım ve çözümlemesine yaptığı önemli katkılar dolayısıyla | [33][34] |
ABD | Robert Tarjan | |||
1987 | ABD | John Cocke | Derleyiciler ile büyük sistemler teorisi ve tasarımı konusundaki önemli katkıları, indirgenmiş komut takımlı bilgisayarların geliştirilmesi çalışmaları dolayısıyla | [35] |
1988 | ABD | Ivan Sutherland | Bilgisayar grafiklerine yaptığı (özellikle Sketchpad yazılımıyla) öncü nitelikteki katkılar dolayısıyla | [36] |
1989 | Kanada | William Kahan | Sayısal yöntemler konusundaki önemli katkıları dolayısıyla. Kayan noktalı hesaplama konusundaki uzman kişiler arasında olan Kahan kendini "dünyanın sayısal hesaplama konusunda güvenli bir yer olmasına" adamıştır. | [37] |
1990 | ABD | Fernando J. Corbató | Genel amaçlı, geniş ölçekli, zaman ve kaynak paylaşımlı bilgisayar sistemlerinin (CTSS ve Multics) tasarlanması ve geliştirilmesi konusundaki öncü rolü dolayısıyla | [38] |
1991 | Büyük Britanya | Robin Milner | Şu konulardaki başarısı nedeniyle: 1) Makine destekli kanıtlama için geliştirdiği LCF aracı 2) Tip güvenlikli bir hata işleme yordamı ile çalışan çokbiçimli tip belirleme sisteminin ilk kez kullanıldığı ML 3) Genel bir paralel zamanlılık teorisi olan CCS; işletimsel ve gösterimsel anlam bilimi arasındaki ilişki |
[39] |
1992 | ABD | Butler Lampson | Dağıtık ve kişisel bilgisayar ortamlarının geliştirilmesine yönelik çalışmaları ile iş istasyonları, ağlar, işletim sistemleri, programlama ortamları, görüntüleyiciler, güvenlik ve belge yayımlama teknolojisine katkıları dolayısıyla | [40] |
1993 | Letonya | Juris Hartmanis | Hesaplamalı karmaşıklık teorisinin kurulmasını sağlayan açıklayıcı makaleleri dolayısıyla | [41] |
ABD | Richard E. Stearns | |||
1994 | ABD | Edward Feigenbaum | Geniş ölçekli yapay zekâ sistemlerinin kurulması konusundaki öncü rolleri ile bu teknolojinin uygulamadaki önemini gösteren çalışmaları dolayısıyla | [42] |
ABD | Raj Reddy | |||
1995 | Venezuela | Manuel Blum | Hesaplamalı karmaşıklık teorisinin kriptoloji ve program doğrulamaya uygulanması konusundaki katkıları için | [43] |
1996 | İsrail | Amir Pnueli | Zamansal mantık kavramını bilgisayar bilimine kazandırması ile program ve sistem doğrulama konusundaki önemli katkılarından dolayı | [44] |
1997 | ABD | Douglas Engelbart | Etkileşimli bilişimin geleceğine yönelik öngörüsü ve bu öngörüyü gerçekleştirmek için ortaya koyduğu teknolojik çalışmalar dolayısıyla | [45] |
1998 | ABD | Jim Gray | Veri tabanı ve hareket işleme konulu araştırmaları ve sistem uygulamalarındaki önderliği dolayısıyla | [46] |
1999 | ABD | Fred Brooks | Bilgisayar mimarisi, işletim sistemleri ve yazılım mühendisliğine yaptığı eşsiz katkılar dolayısıyla | [47] |
2000 | Çin | Andrew Yao | Hesaplama teorisine yaptığı önemli katkılar ile sözderastlantısal sayı üretimi, kriptoloji ve iletişim karmaşıklığı konusundaki çalışmaları dolayısıyla | [48] |
2001 | Norveç | Ole-Johan Dahl | Nesne yönelimli programlamanın ortaya çıkmasını sağlayan temel düşünceleri ile Simula I ve Simula 67 adlı programlama dillerini tasarladıkları için | [49][50] |
Norveç | Kristen Nygaard | |||
2002 | ABD | Ron Rivest | Açık anahtarlı şifrelemeyi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla | [51] |
İsrail | Adi Shamir | |||
ABD | Leonard Adleman | |||
2003 | ABD | Alan Kay | Günümüzde kullanılan nesne yönelimli programlama dillerinin temellerini atan düşünceleri ile Smalltalk dilini oluşturan takıma önderlik yapması dolayısıyla | [52] |
2004 | ABD | Vint Cerf | Ağ kümeleri konusundaki öncü rolleri ile internetin temel iletişim kurallarından TCP/IP'nin tasarım ve uygulaması konusundaki çalışmaları dolayısıyla | [53][54] |
ABD | Bob Kahn | |||
2005 | Danimarka | Peter Naur | Programlama dili tasarımı, ALGOL 60, derleyici tasarımı ve programlama sanatına yaptığı önemli katkılar dolayısıyla | [55] |
2006 | ABD | Frances E. Allen | Bilgisayar programlarının başarımı ve süper bilgisayarların kullanımını artırmaya yönelik çalışmaları dolayısıyla | [56] |
2007 | ABD | Edmund M. Clarke | Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve model kontrolü ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için | [57] |
ABD | E. Allen Emerson | |||
Yunanistan | Joseph Sifakis | |||
2008 | ABD | Barbara Liskov | Programlama dili tasarımı, veri soyutlama, arızaya dayanıklılık ve dağıtık hesaplama konusundaki katkıları dolayısıyla | [58] |
2009 | ABD | Charles P. Thacker | İlk çağdaş kişisel bilgisayar olan Xerox Alto'yu tasarlaması, ethernet ve tablet bilgisayar konusundaki çalışmaları dolayısıyla | [59] |
2010 | Büyük Britanya | Leslie Valiant | Hesaplama teorisine yaptığı etkileyici katkılar ile yüksek olasılıklı öğrenme (PAC), sayım ve cebirsel hesaplama karmaşıklığı, paralel ve dağıtık hesaplama teorisi konusundaki çalışmaları dolayısıyla | [60] |
2011 | ABD | Judea Pearl[61] | Olasılık ve olay tabanlı karar verme kalkülüsü yoluyla yapay zekâya yaptığı katkılar dolayısıyla | [62] |
2012 | İtalya | Silvio Micali | Kriptolojinin karmaşıklık teorisini açıklayan etkileyici çalışmaları ile matematiksel kanıtların vermli bir biçimde doğrulanmasını sağlayan yeni yöntemler geliştirmeleri dolayısıyla | [63] |
ABD İsrail |
Shafi Goldwasser | |||
2013 | ABD | Leslie Lamport | Dağıtık ve paralel sistemlerin tasarım ve uygulaması konusundaki önemli katkıları ile mantıksal saatler, güvenlik ve canlılık, eşlenen durum makineleri ve sıralı tutarlılık gibi kavramları geliştirmesi dolayısıyla | [64] |
2014 | ABD | Michael Stonebraker | Çağdaş veri tabanı sistemlerinin altyapısını oluşturan kavramlara yaptığı önemli katkılar dolayısıyla | [65] |
2015 | ABD | Martin Hellman | Çağdaş kriptolojiye yaptıkları katkılar için. Diffie ve Hellman'ın 1976'da yazdığı "New Directions in Cryptography"[66] başlıklı makale günümüzde internet üzerinde yaygın olarak kullanılan güvenlik sistemlerinden açık anahtarlı şifreleme ve elektronik imzaların gelişimine önayak olmuştur. | [67] |
ABD | Whitfield Diffie | |||
2016 | Büyük Britanya | Tim Berners-Lee | World Wide Web'i, ilk web tarayıcısını ve internetin geniş ölçekli kullanımını güvence altına alan kural ve algoritmaları geliştirdiği için | [68] |
2017 | ABD | John L. Hennessy | Bilgisayar mimarilerinin tasarım ve değerlendirmesine getirdikleri sistemli ve niceliksel yaklaşım ile mikroişlemci sanayiine yaptıkları kalıcı etki dolayısıyla | [69] |
ABD | David Patterson |
Millete göre
Turing Ödülü sahiplerinin ülkelere göre dağılımı aşağıdaki tabloda gösterilmektedir. Çift vatandaşlık sahibi kişiler için, ait oldukları ülkelere 1'er puan eklenmiştir.
Millet | Ödül sayısı |
---|---|
ABD | 45 |
Birleşik Krallık | 7 |
İsrail | 4 |
Kanada | 3 |
Norveç | 2 |
Hollanda | 1 |
İsviçre | 1 |
Letonya | 1 |
Venezuela | 1 |
Çin | 1 |
Danimarka | 1 |
Yunanistan | 1 |
İtalya | 1 |
Ayrıca bakınız
Kaynakça
- ^ a b Cacm Staff (2014). "ACM's Turing Award prize raised to $1 million". Communications of the ACM. 57 (12): 20. doi:10.1145/2685372.
- ^ a b "A. M. Turing Award". ACM. 12 Aralık 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Kasım 2017.
- ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms. McGraw-Hill. s. 317. ISBN 978-0-07-352340-8.
- ^ "Bibliography of Turing Award lectures". DBLP. 2 Ocak 2015 tarihinde kaynağından arşivlendi.
- ^ Steven Geringer (27 Temmuz 2007). "ACM'S Turing Award Prize Raised To $250,000". ACM press release. 30 Ocak 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Kasım 2017.
- ^ Brown, Bob (6 Haziran 2011). "Why there's no Nobel Prize in Computing". Network World. 22 Ekim 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Kasım 2017.
- ^ Homer, Steven and Alan L. (2001). Computability and Complexity Theory. Springer via Google Books limited view. s. 35. ISBN 0-387-95055-9. Erişim tarihi: 16 Kasım 2017.
- ^ "ACM's Turing Award Prize Raised to $1 Million". ACM. 10 Temmuz 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Kasım 2017.
- ^ "First Woman to Receive ACM Turing Award" (Basın açıklaması). The Association for Computing Machinery. 21 Şubat 2007. Erişim tarihi: 16 Kasım 2017.
- ^ Perlis, A. J. (1967). "The Synthesis of Algorithmic Systems". Journal of the ACM. 14: 1. doi:10.1145/321371.321372.
- ^ Wilkes, M. V. (1968). "Computers then and Now". Journal of the ACM. 15: 1. doi:10.1145/321439.321440.
- ^ Hamming, R. W. (1969). "One Man's View of Computer Science". Journal of the ACM. 16: 3. doi:10.1145/321495.321497.
- ^ Minsky, M. (1970). "Form and Content in Computer Science (1970 ACM turing lecture)". Journal of the ACM. 17 (2): 197. doi:10.1145/321574.321575.
- ^ Wilkinson, J. H. (1971). "Some Comments from a Numerical Analyst". Journal of the ACM. 18 (2): 137. doi:10.1145/321637.321638.
- ^ McCarthy, J. (1987). "Generality in artificial intelligence". Communications of the ACM. 30 (12): 1030. doi:10.1145/33447.33448.
- ^ Dijkstra, E. W. (1972). "The humble programmer". Communications of the ACM. 15 (10): 859. doi:10.1145/355604.361591.
- ^ Bachman, C. W. (1973). "The programmer as navigator". Communications of the ACM. 16 (11): 653. doi:10.1145/355611.362534.
- ^ Knuth, D. E. (1974). "Computer programming as an art". Communications of the ACM. 17 (12): 667. doi:10.1145/361604.361612.
- ^ 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.
- ^ 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.
- ^ Rabin, M. O. (1977). "Complexity of computations". Communications of the ACM. 20 (9): 625. doi:10.1145/359810.359816.
- ^ Scott, D. S. (1977). "Logic and programming languages". Communications of the ACM. 20 (9): 634. doi:10.1145/359810.359826.
- ^ 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. doi:10.1145/359576.359579.
- ^ Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455. doi:10.1145/359138.359140.
- ^ Iverson, K. E. (1980). "Notation as a tool of thought". Communications of the ACM. 23 (8): 444. doi:10.1145/358896.358899.
- ^ Hoare, C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75. doi:10.1145/358549.358561.
- ^ Codd, E. F. (1982). "Relational database: A practical foundation for productivity". Communications of the ACM. 25 (2): 109. doi:10.1145/358396.358400.
- ^ Cook, S. A. (1983). "An overview of computational complexity". Communications of the ACM. 26 (6): 400. doi:10.1145/358141.358144.
- ^ "Kenneth Lane Thompson". ACM. 2 Nisan 2017 tarihinde kaynağından arşivlendi.
- ^ "Dennis M. Ritchie". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Niklaus E. Wirth". ACM. 29 Haziran 2017 tarihinde kaynağından arşivlendi.
- ^ "Richard ("Dick") Manning Karp". ACM. 4 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "John E Hopcroft". ACM. 29 Haziran 2017 tarihinde kaynağından arşivlendi.
- ^ "Robert (Bob) Endre Tarjan". ACM. 30 Ekim 2017 tarihinde kaynağından arşivlendi.
- ^ "John Cocke". ACM. 13 Eylül 2017 tarihinde kaynağından arşivlendi.
- ^ "Ivan Sutherland". ACM. 12 Ekim 2017 tarihinde kaynağından arşivlendi.
- ^ "William ("Velvel") Morton Kahan". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Fernando J ("Corby") Corbato". ACM. 6 Nisan 2017 tarihinde kaynağından arşivlendi.
- ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
- ^ "Butler W Lampson". ACM. 4 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ Stearns, R. E. (1994). "Turing Award lecture: It's time to reconsider time". Communications of the ACM. 37 (11): 95. doi:10.1145/188280.188379.
- ^ Reddy, R. (1996). "To dream the possible dream". Communications of the ACM. 39 (5): 105. doi:10.1145/229459.233436.
- ^ "Manuel Blum". ACM. 1 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Amir Pnueli". ACM. 29 Haziran 2017 tarihinde kaynağından arşivlendi.
- ^ "Douglas Engelbart". ACM. 4 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "James ("Jim") Nicholas Gray". ACM. 2 Ekim 2017 tarihinde kaynağından arşivlendi.
- ^ "Frederick P. Brooks Jr. Wins the Association for Computing Machinery's 1999 A. M. Turing Award, Called "The Nobel Prize of Computing"". University of North Carolina, Chapel Hill. 7 Ocak 2000. 3 Mart 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 18 Kasım 2017.
- ^ "Andrew Chi-Chih Yao". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Ole-Johan Dahl". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Kristen Nygaard". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Rivest, Shamir, and Adleman Receive 2002 Turing Award" (PDF). 29 Ağustos 2017 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 18 Kasım 2017.
- ^ "Alan Kay". ACM. 12 Ekim 2017 tarihinde kaynağından arşivlendi.
- ^ "Vinton ("Vint") Gray Cerf". ACM. 29 Haziran 2017 tarihinde kaynağından arşivlendi.
- ^ "Robert ("Bob") Elliot Kahn". ACM. 14 Kasım 2017 tarihinde kaynağından arşivlendi.
- ^ "Peter Naur". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Frances ("Fran") Elizabeth Allen". ACM. 24 Mart 2017 tarihinde kaynağından arşivlendi.
- ^ "2007 Turing Award Winners Announced". Dr. Dobb's. 2 Kasım 2009 tarihinde kaynağından arşivlendi.
- ^ "Barbara Liskov wins Turing Award". MIT News. 10 Mart 2009. 17 Mayıs 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 18 Kasım 2017.
- ^ "Charles P. (Chuck) Thacker". ACM. 24 Mart 2017 tarihinde kaynağından arşivlendi.
- ^ "Leslie Valiant wins 2010 ACM A. M. Turing Award". Harvard Üniversitesi. 9 Mart 2011. 5 Eylül 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 18 Kasım 2017.
- ^ Pearl, Judea (2011). "The Mechanization of Causal Inference: A "mini" Turing Test and Beyond" (mp4). ACM Turing award lectures. ACM. doi:10.1145/1283920.2351636 (kapalı 2017-08-22). ISBN 978-1-4503-1049-9.
- ^ "Judea Pearl". ACM. 26 Ağustos 2017 tarihinde kaynağından arşivlendi.
- ^ "Turing award 2012". ACM. 16 Ekim 2017 tarihinde kaynağından arşivlendi.
- ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM . 21 (7): 558-565. doi:10.1145/359545.359563.
- ^ "Turing award 2014". ACM. 3 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ Diffie, W.; Hellman, M. (1976). "New directions in cryptography" (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. doi:10.1109/TIT.1976.1055638.
- ^ "Cryptography Pioneers Receive 2015 ACM A.M. Turing Award". ACM. 4 Temmuz 2017 tarihinde kaynağından arşivlendi.
- ^ "Turing award 2016". ACM. 6 Nisan 2017 tarihinde kaynağından arşivlendi.
- ^ "Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award". ACM. 25 Mart 2018 tarihinde kaynağından arşivlendi. Erişim tarihi: 23 Mart 2018.
Dış bağlantılar
Wikimedia Commons'ta Turing Ödülü ile ilgili ortam dosyaları bulunmaktadır. |
- Turing Ödülü sahipleri (İngilizce)