Penghargaan Turing: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k r2.7.3) (Robot: Mengubah da:Turing Award menjadi da:Turing-prisen |
2007-2012 laureates (http://amturing.acm.org/byyear.cfm), removed interwiki links (now from Wikidata) |
||
Baris 170:
|[[Peter Naur]]
|''Atas kontribusi yang mendasar pada perancangan [[bahasa pemrograman]] dan [[Algol 60]], pada perancangan [[kompilator]], dan pada seni dan praktik pemrograman komputer.''
|▼
|-
|[[2006]]
|[[Frances Allen]]
|''Dia menciptakan teknik untuk mengoptimalkan performa ''compiler'', program yang menerjemahkan bahasa komputer. Allen bekerja di IBM sejak 1957, setelah menyelesaikan pendidikan master bidang Matematika di Universitas Michigan. Selama di IBM, Allen sempat ditugasi membuat software analisis kecerdasan, untuk National Security Agency. Dia juga membantu merancang perangkat lunak untuk superkomputer IBM Blue Gene.''
|-
![[2007]].
|[[Edmund M. Clarke]], [[E. Allen Emerson]] dan [[Joseph Sifakis]]
▲|
|-
![[2008]].
|[[Barbara Liskov]]
|
|-
![[2009]].
|[[Charles P. Thacker]]
|
|-
![[2010]].
|[[Leslie Valiant]]
|
|-
![[2011]].
|[[Judea Pearl]]
|
|-
![[2012]].
|[[Shafi Goldwasser]] dan [[Silvio Micali]]
|
|}
Baris 183 ⟶ 206:
[[Kategori:Penghargaan dalam bidang komputer]]
[[Kategori:Artikel yang perlu diperbaiki bertopik teknologi informasi]]
| |||