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

De Grootste Wetenschappers

Op Classificatie

Op Land

Op Naam

Op Genre

Door Jaar

Contact

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

#: 441 - 450

# Naam
Jaar
Land
Wetenschap
Verwezenlijkingen
441 David_Caminer_1733.jpg
David Caminer

1915-2008
Verenigd Koninkrijk
Informatica

Developed the LEO computer the first business computer, for J. Lyons and Co (1951)
442 Vint_Cerf_1734.jpg
Vint Cerf

1943-
Verenigde Staten
Informatica

Designed the Transmission Control Protocol and Internet Protocol (TCP/IP), the primary data communication protocols of the Internet and other computer networks. (1978)
443 Noam_Chomsky_1735.jpg
Noam Chomsky

1928-
Verenigde Staten
Informatica

Made contributions to computer science with his work in Linguistics. He developed Chomsky hierarchy, a discovery which has directly impacted Programming language theory and other branches of computer science. (1956)
444 Alonzo_Church_1736.jpg
Alonzo Church

1903-1995
Verenigde Staten
Informatica, Wiskunde

Founded contributions to theoretical computer science, specifically for the development of the lambda calculus and the discovery of the undecidability problem within it. (1936)
445 Edmund_M._Clarke_1738.jpg
Edmund M. Clarke

1945-
Verenigde Staten
Informatica

Developed model checking and formal verification of software and hardware together with E. Allen Emerson. (1981)
446 Stephen_Cook_1740.jpg
Stephen Cook



Informatica

Formalized the notion of NP-completeness, inspiring a great deal of research in computational complexity theory. (1971)
447 James_Cooley_1741.jpg
James Cooley



Informatica

With John W. Tukey, created the Fast Fourier Transform. (1965)
448 Ole-Johan_Dahl_1742.jpg
Ole-Johan Dahl



Informatica

With Kristen Nygaard, invented the proto-object oriented language SIMULA. (1962)
449 Edsger_Dijkstra_1743.jpg
Edsger Dijkstra



Informatica

Made advances in algorithms, Goto considered harmful, the semaphore (programming), rigor, and pedagogy. (1968)
450 J._Presper_Eckert_1744.jpg
J. Presper Eckert



Informatica

With John Mauchly, designed and built the ENIAC, the first modern (all electronic, Turing-complete) computer, and the UNIVAC I, the first commercially available computer. (1943)

Laatst bijgewerkt op: 2017-11-20

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