"Turing Ödülü" sayfasının sürümleri arasındaki fark

düzen
(düzeltme)
(düzen)
!1968
|{{flagicon|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ı
|<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>
|-
!1970
|{{flagicon|GBR}} [[James H. Wilkinson]]
|Yüksek hızlı sayısal bilgisayarların kullanımını kolaylaştıran [[sayısal çözümlemeanaliz]] çalışmaları ile [[doğrusallineer cebir]] ve geriye dönük hata çözümlemesineanalizine 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>
|-
!1974
|{{flagicon|USA}} [[Donald Knuth]]
|[[Algoritma]] çözümlemesianalizi 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>
|-
!1975
|{{flagicon|USA}} [[Allen Newell]]<br />{{flagicon|USA}} [[Herbert Simon]]
|[[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>
|-
!1978
|{{flagicon|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: [[ayrıştırmanormalizasyon]] teorisi, programlama dilleri [[anlam bilimi]], otomatik [[program doğrulama]], [[otomatik programlama]] ve [[algoritma çözümlemesianalizi]]
|<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>
|-
!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 işleme]] yordamı ile çalışan çokbiçimli [[tip belirleme]] sisteminin ilk kez kullanıldığı [[ML (programlama dili)|ML]]<br />3) Genel bir [[koşutparalel 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>
|-
!1992
|{{flagicon|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
|<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>
|-
!1996
|{{flagicon|ISR}} [[Amir Pnueli]]
|[[SüreliZamansal 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>
|-
!2001
|{{flagicon|NOR}} [[Ole-Johan Dahl]]<br />{{flagicon|NOR}} [[Kristen Nygaard]]
|[[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>
|-
!2004
|{{flagicon|USA}} [[Vint Cerf]]<br />{{flagicon|USA}} [[Bob Kahn]]
|[[İ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>
|-
!2005
|{{flagicon|DEN}} [[Peter Naur]]
|Programlama dili tasarımı, [[AlgolALGOL 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>
|-
!2006
|{{flagicon|USA}} [[Fran Allen|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
|<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
|{{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 denetimikontrolü]] 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>
|-
!2008
|{{flagicon|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
|<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>
|-
!2010
|{{flagicon|GBR}} [[Leslie Valiant]]
|Hesaplama teorisine yaptığı etkileyici katkılar ile [[yüksek olasılıklı öğrenme]] (PAC), sayım ve cebirsel hesaplama karmaşıklığı, [[KoşutParalel hesaplama|koşutparalel]] 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>
|-
!2013
|{{flagicon|USA}} [[Leslie Lamport]]
|Dağıtık ve koşutparalel 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>
|-
!2015
|{{flagicon|USA}} [[Martin Hellman]]<br />{{flagicon|USA}} [[Whitfield Diffie]]
|Ç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 [[sayısalelektronik 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>
|-