Turing Ödülü: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Superyetkin (mesaj | katkılar) + |
Superyetkin (mesaj | katkılar) + |
||
1. satır:
{{Ödül bilgi kutusu
| ad = ACM Turing Ödülü
Satır 112 ⟶ 111:
!1982
|{{flagicon|USA}}{{flagicon|CAN}} [[Stephen A. Cook]]
|[[Hesaplama]] 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>
|-
!1983
|{{flagicon|USA}} [[Ken Thompson]]<br />{{flagicon|USA}} [[Dennis Ritchie|Dennis M. Ritchie]]
|
|-
!1984
|{{flagicon|CHE}} [[Niklaus Wirth]]
|[[Euler programlama dili|EULER]], [[Algol-W|ALGOL-W]], [[Modula|MODULA]] ve [[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 }}</ref>
|-
!1985
|{{flagicon|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<ref>{{Web kaynağı| url = https://amturing.acm.org/award_winners/karp_3256708.cfm | başlık = Richard ("Dick") Manning Karp | yayımcı = ACM }}</ref>
|-
!1986
|{{flagicon|USA}} [[John Hopcroft]]<br />{{flagicon|USA}} [[Robert Tarjan]]
|Algoritma ve [[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 }}</ref><ref>{{Web kaynağı| url = https://amturing.acm.org/award_winners/tarjan_1092048.cfm | başlık = Robert (Bob) Endre Tarjan | yayımcı = ACM }}</ref>
|-
!1987
|{{flagicon|USA}} [[John Cocke]]
|Derleyiciler ile büyük sistemler kuramı 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 }}</ref>
|-
!1988
|{{flagicon|USA}} [[Ivan Sutherland]]
|[[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 }}</ref>
|-
!1989
|{{flagicon|CAN}} [[William Kahan]]
|[[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 }}</ref>
|-
!1990
|{{flagicon|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<ref>{{Web kaynağı| url = http://amturing.acm.org/award_winners/corbato_1009471.cfm | başlık = Fernando J ("Corby") Corbato | yayımcı = ACM }}</ref>
|-
!1991
|{{flagicon|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 yakalama]] işlergesi ile çalışan çokbiçimli [[tip belirleme]] sisteminin ilk kez kullanıldığı [[ML (programlama dili)|ML]]<br />3) Genel bir [[koşut zamanlılık]] kuramı olan [[CCS]]; [[İşletimsel anlma bilimi|işletimsel]] ve [[simgesel 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>
|-
!1992
|{{flagicon|USA}} [[Butler W. Lampson]]
|Dağıtık ve kişisel bilgisayar ortamlarının geliştirilmesine yönelik çalışmaları ile [[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 }}</ref>
|-
!1993
|{{flagicon|LAT}} [[Juris Hartmanis]]<br />{{flagicon|USA}} [[Richard E. Stearns]]
|[[Hesaplamalı karmaşıklık kuramı]]nın kurulmasını sağlayan açıklayıcı makalesi 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>
|-
!1994
|{{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<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>
|-
!1995
|{{flagicon|VEN}} [[Manuel Blum]]
|Hesaplamalı karmaşıklık kuramının [[kriptografi]] 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 }}</ref>
|-
!1996
|{{flagicon|ISR}} [[Amir Pnueli]]
|[[Süreli 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 }}</ref>
|-
!1997
|{{flagicon|USA}} [[Douglas Engelbart]]
|Etkileşimli bilişimin geleceğine yönelik öngörü ve bu öngörüyü gerçekltşrmek 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 }}</ref>
|-
!1998
|{{flagicon|USA}} [[Jim Gray (bilgisayar bilimcisi)|Jim Gray]]
|[[Veritabanı]] ve [[işlem 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 }}</ref>
|-
!1999
|{{flagicon|USA}} [[Frederick P. Brooks|Frederick P. Brooks, Jr.]]
|[[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 }}</ref>
|-
!2000
|{{flagicon|CHN}} [[Andrew Chi-Chih Yao]]
|[[Hesaplama kuramı]]na yaptığı önemli katkıları ile [[Sözderastlantısal sayı üreteci|sözderastlantısal sayı üretimi]], kriptografi 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 }}</ref>
|-
!2001
|{{flagicon|NOR}} [[Ole-Johan Dahl]]<br />{{flagicon|NOR}} [[Kristen Nygaard]]
|[[Nesne yönelimli programlama]]nın ortaya çıkışını sağlayan temel düşünceleri ile [[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 }}</ref><ref>{{Web kaynağı| url = http://amturing.acm.org/award_winners/nygaard_5916220.cfm | başlık = Kristen Nygaard | yayımcı = ACM }}</ref>
|-
!2002
|{{flagicon|USA}} [[Ron Rivest|Ronald L. Rivest]]<br />{{flagicon|ISR}} [[Adi Shamir]]<br />{{flagicon|USA}} [[Leonard Adleman|Leonard M. Adleman]]
|[[Açık anahtarlı şifreleme]]yi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla<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 }}</ref>
|-
!2003
|{{flagicon|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<ref>{{Web kaynağı| url = http://amturing.acm.org/award_winners/kay_3972189.cfm | başlık = Alan Kay | yayımcı = ACM }}</ref>
|-
!2004
|{{flagicon|USA}} [[Vinton G. Cerf]]<br />{{flagicon|USA}} [[Robert E. Kahn]]
|[[İnternet (terim isim)|Ağ kümeleri]] konusundaki öncü rolleri ile [[internet]]in temel iletişim kurallarından [[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 }}</ref><ref>{{Web kaynağı| url = http://amturing.acm.org/award_winners/kahn_4598637.cfm | başlık = Robert (“Bob”) Elliot Kahn | yayımcı = ACM }}</ref>
|-
!2005
|{{flagicon|DEN}} [[Peter Naur]]
|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 }}</ref>
|-
!2006
|{{flagicon|USA}} [[Fran Allen|Frances E. Allen]]
|Bilgisayar programlarının başarımını artırmaya 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 }}</ref>
|-
!2007
|{{flagicon|USA}} [[Edmund M. Clarke]]<br />{{flagicon|USA}} [[E. Allen Emerson]]<br />{{flagicon|GRE}} [[Joseph Sifakis]]
|Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve [[model denetimi]] ilkesine dayanan verimli doğrılama teknolojisine yaptıkları katkılar için<ref>[http://www.ddj.com/206103622 2007 Turing Award Winners Announced]</ref>
|-
!2008
|{{flagicon|USA}} [[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<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 }}</ref>
|-
!2009
|{{flagicon|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<ref>{{Web kaynağı| url = http://amturing.acm.org/award_winners/thacker_1336106.cfm | başlık = Charles P. (Chuck) Thacker | yayımcı = ACM }}</ref>
|-
!2010
|{{flagicon|GBR}} [[Leslie Valiant]]
|Hesaplama kuramına yaptığı etkileyici katkılar ile yüksek olasılıklı öğrenme (PAC), sayım ve cebirsel hesaplama karmaşıklığı, [[Koşut hesplama|koşut]] ve dağıtık hesaplama kuramı 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 }}</ref>
|-
!2011
|{{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>
|
|-
!2012
|{{flagicon|
|
|-
!2013
|{{flagicon|USA}} [[Leslie Lamport]]
|
|-
!2014
|{{flagicon|USA}} [[Michael Stonebraker]]
|
|-
!2015
|{{flagicon|USA}} [[Martin E. Hellman]]<br />{{flagicon|USA}} [[Whitfield Diffie]]
|Çağdaş
|url=http://amturing.acm.org/award_winners/diffie_8371646.cfm|
|-
!2016
|{{flagicon|GBR}} [[Tim Berners-Lee]]
|
|}
Satır 259 ⟶ 258:
|-
! scope="row" align=left| {{USA}}
|
|-
! scope="row" align=left| {{GBR}}
|
|-
! scope="row" align=left| {{ISR}}
| 4
|-▼
|-
! scope="row" align=left| {{NOR}}
| 2
|-
! scope="row" align=left| {{
▲| 2
▲|-
▲! scope="row" align=left| {{CHN}}
| 1
|-
! scope="row" align=left| {{
| 1
|-
Satır 282 ⟶ 281:
| 1
|-
! scope="row" align=left| {{
| 1
|-
! scope="row" align=left| {{
| 1
|-
! scope="row" align=left| {{
| 1
|-
Satır 294 ⟶ 293:
| 1
|-
! scope="row" align=left| {{
| 1
|}
Satır 306 ⟶ 305:
== Dış bağlantılar ==
{{Commons cat|Turing Award}}
* [http://amturing.acm.org/byyear.cfm
{{Turing ödülü}}
|