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

Cei Mai Mari Oameni De știință

De Clasament

De Țară

Pe Denumire

De Gen

An

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

# Nume
An
Țară
Știință
Realizări
451 E._Allen_Emerson_1745.jpg
E. Allen Emerson



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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



Informatică

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)

Ultima actualizare: 2018-05-27

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