3 ilişkiler: Edmund M. Clarke, Joseph Sifakis, Turing Ödülü.
Edmund M. Clarke
Edmund Melson Clarke, Jr. (d. 27 Temmuz 1945), Amerikalı bilgisayar bilimcisi.
Yeni!!: E. Allen Emerson ve Edmund M. Clarke · Daha fazla Gör »
Joseph Sifakis
Joseph Sifakis (Ιωσήφ Σηφάκης), Fransız-Yunan bilgisayar bilimcisi.
Yeni!!: E. Allen Emerson ve Joseph Sifakis · Daha fazla Gör »
Turing Ödülü
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.