English 简体中文 / Chinese Simplified हिन्दी / Hindi Español / Spanish العربية / Arabic Français / French Русский / Russian Portuguese / Portuguęs বাংলা / Bengali Bahasa Indonesia / Indonesian اردو / Urdu 日本語 / Japanese Deutsch / German tiếng Việt / Vietnamese 한국어/조선말 / Korean فارسی / Persian Türkçe / Turkish ภาษาไทย / Thai Italiano / Italian Polski / Polish украї́нська мо́ва / Ukrainian Bahasa Melayu / Malay Românește / Romanian Pilipino / Filipino Nederlands / Dutch Ελληνικά / Greek Magyar nyelv / Hungarian српски / Serbian čeština / Czech български език / Bulgarian Svenska / Swedish עִבְרִית / Hebrew Slovenský jazyk / Slovak Dansk / Danish Suomi / Finnish Norsk / Norwegian Lietuvių kalba / Lithuanian

Ilmuwan Terbesar

Berdasarkan Peringkat

Menurut Negara

Dengan Nama

Dengan Genre

Dengan Tahun

Hubungi

1 - 10 - ... - 401 - 410 - 411 - 420 - 421 - 430 - 431 - 440 - 441 - 450 - 451 - 460 - 461 - 470 - 471 - 480 - 481 - 490 - 491 - 500 - 501 - 510 - ... - 991 - 1000

#: 451 - 460

# Nama
Tahun
Negara
Ilmu
Prestasi
451 E._Allen_Emerson_1745.jpg
E. Allen Emerson



Ilmu Komputer

Developed model checking and formal verification of software and hardware together with Edmund M. Clarke. (1981)
452 Douglas_Engelbart_1746.jpg
Douglas Engelbart



Ilmu Komputer

Best known for inventing the computer mouse (in a joint effort with Bill English); as a pioneer of human-computer interaction whose Augment team developed hypertext, networked computers, and precursors to GUIs. (1963)
453 Tommy_Flowers_1747.jpg
Tommy Flowers



Ilmu Komputer

Designed and built the Mark 1 and the ten improved Mark 2 Colossus computers, the world’s first programmable, digital, electronic, computing devices. (1943)
454 Seymour_Ginsburg_1749.jpg
Seymour Ginsburg



Ilmu Komputer

Proved 'don't-care' circuit minimization does not necessarily yield optimal results, proved that the ALGOL programming language is context-free and invented AFL Theory. (1958)
455 Kurt_Godel_1750.jpg
Kurt Godel



Ilmu Komputer

Proved that Peano axiomatized arithmetic could not be both logically consistent and complete in first-order predicate calculus. Church, Kleene, and Turing developed the foundations of computation theory based on corollaries to Gödel's work. (1931)
456 Lois_Haibt_1751.jpg
Lois Haibt



Ilmu Komputer

Was a member of the ten person team that invented Fortran and among the first women to play a crucial role in the development of computer science. (1954)
457 C.A.R._Hoare_1752.jpg
C.A.R. Hoare



Ilmu Komputer

Developed the formal language Communicating Sequential Processes (CSP) and Quicksort. (1960)
458 Grace_Hopper_1753.jpg
Grace Hopper



Ilmu Komputer

Pioneered work on the necessity for high-level programming languages, which she termed automatic programming, and wrote the A-O compiler, which heavily influenced the COBOL language. (1952)
459 Cuthbert_Hurd_1754.jpg
Cuthbert Hurd



Ilmu Komputer

Helped the International Business Machines Corporation develop its first general-purpose computer, the IBM 701. (1952)
460 Kenneth_E._Iverson_1755.jpg
Kenneth E. Iverson



Ilmu Komputer

Assisted in establishing the first graduate course in computer science (at Harvard) and taught that course; invented the APL programming language and made contribution to interactive computing. (1954)

Terakhir diperbarui: 2018-10-21

Copyright © 2009

CultureSite.org Amusement Parks Art Galleries Books Buildings Cinemas Cities Festivals Games Graffiti Movies Museums Music Nightclubs Opera houses Operas Paintings Photos Places Plays Poetry Scientists Sculptures Serials Shopping Malls Theatres Waterparks Websites