Penghargaan Turing: Perbedaan antara revisi

|''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.''

|-

|[[Edmund M. Clarke]], [[E. Allen Emerson]] dan [[Joseph Sifakis]]

|

|-

|[[Barbara Liskov]]

|

|-

|[[Charles P. Thacker]]

|

|-

|[[Leslie Valiant]]

|

|-

|[[Judea Pearl]]

|

|-

|[[Shafi Goldwasser]] dan [[Silvio Micali]]

|

|}