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

The Greatest Scientists

By Ranking

By Country

By Name

By Genre

By Year

Contact

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

# Name
Year
Country
Science
achievements
451 E._Allen_Emerson_1745.jpg
E. Allen Emerson



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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



Computer science

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)

Last updated: 2017-11-19

Copyright © 2009

CultureSite.org Books Buildings Cinemas Cities Festivals Games Graffiti Movies Museums Music Opera houses Operas Paintings Photos Places Plays Poetry Scientists Sculptures Serials Theatres Websites