Lista informatyków - List of computer scientists
Jest to lista informatyków , osób zajmujących się informatyką , w szczególności badaczy i autorów.
Niektóre osoby znane jako programiści są tutaj uwzględnione, ponieważ pracują zarówno w badaniach, jak i programach. Kilkoro z tych osób miało już przed wynalezieniem komputera cyfrowego; są teraz uważani za informatyków, ponieważ ich praca może być postrzegana jako prowadząca do wynalezienia komputera. Inni to matematycy, których praca mieści się w ramach tego, co teraz nazwalibyśmy informatyką teoretyczną, taką jak teoria złożoności i algorytmiczna teoria informacji .
A
- Wil van der Aalst – zarządzanie procesami biznesowymi , eksploracja procesów , sieci Petriego
- Scott Aaronson – obliczenia kwantowe i teoria złożoności
- Rediet Abebe – algorytmy , sztuczna inteligencja
- Hal Abelson – skrzyżowanie informatyki i nauczania
- Serge Abiteboul – teoria baz danych
- Samson Abramsky – semantyka gry
- Leonard Adleman – RSA , Obliczanie DNA
- Manindra Agrawal – testowanie pierwszości w czasie wielomianowym
- Luis von Ahn – obliczenia oparte na człowieku
- Alfred Aho – księga kompilatorów, „a” w AWK
- Frances E. Allen – optymalizacja kompilatora
- Gene Amdahl – programista superkomputerów , założyciel Amdahl Corporation
- David P. Anderson – obliczenia ochotnicze
- Lisa Anthony – naturalne interfejsy użytkownika
- Andrew Appel – kompilator podręczników
- Cecilia R. Aragon – wymyślona pułapka , nauka o danych skoncentrowana na człowieku
- Bruce Arden – kompilatory języków programowania (GAT, Michigan Algorithm Decoder (MAD)), architektura pamięci wirtualnej, Michigan Terminal System (MTS)
- Sanjeev Arora – twierdzenie PCP
- Winifred „Tim” Alice Asprey – ustanowiła program nauczania informatyki w Vassar College
- John Vincent Atanasoff – pionier komputerowy, twórca ABC lub Atanasoff Berry Computer
b
- Charles Babbage (1791–1871) – wynalazł pierwszy komputer mechaniczny zwany najwyższym matematykiem
- Charles Bachman – amerykański informatyk, znany z Integrated Data Store
- Roland Carl Backhouse – matematyka budowy programów komputerowych , algorytmiczne rozwiązywanie problemów, ALGOL
- John Backus – FORTRAN , formularz Backus–Naur , pierwszy kompletny kompilator
- David F. Bacon – języki programowania, garbage collection
- David A. Bader
- Wiktor Bahl
- Anthony James Barr – System SAS
- Jean Bartik (1924-2011) - jeden z pierwszych programistów komputerowych , na ENIAC (1946), jeden z pierwszych lampowym komputerów , z powrotem, gdy „programowanie” zaangażowany przy użyciu kabli, tarcze, i przełącza się fizycznie rewire maszynę; współpracował z Johnem Mauchly w kierunku BINAC (1949), EDVAC (1949), UNIVAC (1951), aby opracować wczesne komputery z „ programami przechowywanymi ”
- Andrzej Barto
- Friedrich L. Bauer – Stack (struktura danych) , Sequential Formula Translation , ALGOL , inżynieria oprogramowania , twierdzenie Bauera–Fike'a
- Rudolf Bayer – B-drzewo
- Gordon Bell (ur. 1934) – projektant komputerowy DEC VAX , autor: Computer Structures
- Steven M. Bellovin – bezpieczeństwo sieci
- Cecilia Berdichevsky (1925-2010) pionierka argentyńskiego informatyka
- Tim Berners-Lee – Sieć WWW
- Daniel J. Bernstein – qmail, oprogramowanie jako ochrona mowy
- Piotr Bernus
- Abhay Bhushan
- Dines Bjørner – Wiedeńska Metoda Rozwoju (VDM), RAISE
- Gerrit Blaauw – jeden z głównych projektantów linii komputerów IBM System 360
- Sue Black
- David Blei
- Dorothy Blum – Agencja Bezpieczeństwa Narodowego
- Lenore Blum – złożoność
- Manuel Blum – kryptografia
- Barry Boehm – ekonomika inżynierii oprogramowania, rozwój spirali
- Corrado Böhm – autor twierdzenia o programie strukturalnym
- Kurt Bollacker
- Jeff Bonwick – wynalazł alokację płyt i ZFS
- Grady Booch – Zunifikowany Język Modelowania , Grupa Zarządzania Obiektami
- George Boole – logika Boole'a
- Andrew Booth – opracował pierwsze obrotowe urządzenie do przechowywania bębnów
- Kathleen Booth – opracowała pierwszy język asemblera
- Anita Borg (1949–2003) – amerykańska informatyk, założycielka Anita Borg Institute for Women and Technology
- Bert Bos – Kaskadowe arkusze stylów
- Mikhail Botvinnik – mistrz świata w szachach, informatyk i inżynier elektryk, pionier wczesnej sztucznej inteligencji systemów eksperckich i szachów komputerowych
- Jonathan Bowen – notacja Z , metody formalne
- Stephen R. Bourne – powłoka Bourne'a , przenośny kompilator ALGOL 68C
- Harry Bouwman (ur. 1953) – holenderski badacz systemów informatycznych i profesor na Uniwersytecie Åbo Akademi
- Robert S. Boyer – wyszukiwanie ciągów, dowodzenie twierdzenia ACL2
- Karlheinz Brandenburg – Główny współtwórca mp3
- Lawrence M. Breed – wdrożenie Iverson Notation (APL), współtworzenie APL \360, współzałożyciel Scientific Time Sharing Corporation
- Jack E. Bresenham – wczesne wkłady grafiki komputerowej, w tym algorytm Bresenhama
- Sergey Brin – współzałożyciel Google
- David J. Brown – zunifikowana architektura pamięci , kompatybilność binarna
- Per Brinch Hansen (nazwisko "Brinch Hansen") – system multiprogramowania RC 4000 , jądra systemu operacyjnego , mikrojądra , monitory , programowanie współbieżne , Concurrent Pascal , obliczenia i procesy rozproszone, obliczenia równoległe
- Sjaak Brinkkemper – metodyka tworzenia oprogramowania produktowego
- Fred Brooks – System 360 , OS/360 , Mityczny Człowiek-Miesiąc , Bez Srebrnego Pocisku
- Rod Brooks
- Margaret Burnett - języki programowania wizualnego , inżynieria oprogramowania użytkownika końcowego oraz oprogramowanie płci inclusive
- Michael Butler – Wydarzenie-B
C
- Tracy Camp – komputery bezprzewodowe
- Martin Campbell-Kelly – historia informatyki
- Rozmaryn Candlin
- Bryan Cantrill – wynalazł DTrace
- Luca Cardelli –
- John Carmack – opracowany w kodzie Doom
- Edwin Catmull – grafika komputerowa
- Vinton Cerf – Internet, TCP/IP
- Grzegorz Chaitin
- Robert Cailliau – belgijski informatyk
- Zhou Chaochen – rachunek czasu trwania
- Peter Chen – model podmiotowo-relacyjny , modelowanie danych , model koncepcyjny
- Leonardo Chiariglione – założyciel MPEG
- Tracy Chou – informatyk i aktywista
- Alonzo Church – matematyka kombinatorów, rachunek lambda
- Alberto Ciaramella – rozpoznawanie mowy , informatyka patentowa
- Edmund M. Clarke – sprawdzanie modelu
- John Cocke – RYZYKO
- Edgar F. Codd (1923–2003) – sformułował relacyjny model bazy danych
- Jacques Cohen – profesor informatyki
- Simon Colton – kreatywność obliczeniowa
- Alain Colmerauer – Prolog
- Douglas Comer – Xinu
- Paul Justin Compton – zasady Ripple Down
- Gordon Cormack – współtwórca dynamicznej kompresji Markowa
- Stephen Cook – NP-zupełność
- James Cooley – szybka transformata Fouriera (FFT)
- Danese Cooper – oprogramowanie open-source
- Fernando J. Corbató – kompatybilny system podziału czasu (CTSS), Multics
- Kit Cosper – oprogramowanie open-source
- Patrick Cousot – abstrakcyjna interpretacja
- Ingemar Cox – cyfrowy znak wodny
- Seymour Cray – Cray Research , superkomputer
- Nello Cristianini – uczenie maszynowe, analiza wzorców, sztuczna inteligencja
- Jon Crowcroft – networking
- W. Bruce Croft
- Glen Culler – obliczenia interaktywne, grafika komputerowa, obliczenia wysokiej wydajności
- Haskell Curry
D
- Luigi Dadda – projektant multiplikatora Dadda
- Ole-Johan Dahl – Simula , programowanie obiektowe
- Ryan Dahl – założyciel projektu node.js
- Andries van Dam – grafika komputerowa , hipertekst
- Samir Das - Wireless Networks , Mobile Computing , kołowego sieci ad hoc , sieci czujników , topologia siatki , Bezprzewodowa sieć ad hoc
- Neil Daswani – bezpieczeństwo komputerowe , współzałożyciel i współdyrektor Stanford Advanced Computer Security Program, współzałożyciel Dasient (przejętego przez Twitter), były szef bezpieczeństwa informacji w LifeLock i Symantec’s Consumer Business Unit
- Christopher J. Date – zwolennik relacyjnego modelu bazy danych
- Jeff Dean – Bigtable , MapReduce , Spanner Google
- Erik Demaine – origami obliczeniowe
- Tom DeMarco
- Richard DeMillo – bezpieczeństwo komputerowe , inżynieria oprogramowania , technologia edukacyjna
- Dorothy E. Denning – bezpieczeństwo komputerowe
- Peter J. Denning - zidentyfikowane zastosowanie systemu operacyjnego „s zestaw pracuje i ustawić balans, prezes ACM
- Michael Dertouzos – dyrektor Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) od 1974 do 2001
- Aleksander Dewdney
- Robert Dewar – członek IFIP WG 2.1 , ALGOL 68 , przewodniczący; Współzałożyciel AdaCore , prezes, dyrektor generalny
- Vinod Dham - P5 Pentium procesor
- Jan Dietz (ur. 1945) ( stała rozpadu ) – teoria systemów informatycznych oraz metodologia projektowania i inżynierii dla organizacji
- Whitfield Diffie (ur. 1944) ( funkcja odpowiedzi liniowej ) – kryptografia klucza publicznego , wymiana kluczy Diffie-Hellman
- Edsger Dijkstra – algorytmy , algorytm Dijkstry , przejdź do stwierdzenia uznane za szkodliwe , semafor (programowanie) , członek IFIP WG 2.1
- Matthew Dillon - DragonFly BSD z LWKT , vkernel wirtualizacji OS-poziomu, systemów plików : HAMMER 1 HAMMER2
- Alan Dix – napisał ważny podręcznik na poziomie uniwersyteckim na temat interakcji człowiek-komputer
- Jack Dongarra – algebra liniowa o wysokiej wydajności (HCI)
- Marco Dorigo – optymalizacja kolonii mrówek
- Paul Dourish – interakcja człowiek-komputer
- Charles Stark Draper (1901–1987) – projektant Apollo Guidance Computer , „ojciec nawigacji inercyjnej ”, profesor MIT
- Susan Dumais – wyszukiwanie informacji
- Jon Michael Dunn – dziekan założyciel Indiana University School of Informatics, logiki oparte na informacjach, w szczególności logika istotności
- Schahram Dustdar – systemy rozproszone, TU Wien, Austria
mi
- Peter Eades – rysowanie wykresu
- Annie J.Easley
- Wim Ebbinkhuijsen – COBOL
- John Presper Eckert – ENIAC
- Alan Edelman - współtwórca Julii (język programowania) ; obliczenia o wysokiej wydajności i obliczenia numeryczne
- Brendan Eich – JavaScript , Mozilla
- Philip Emeagwali – superkomputer
- E. Allen Emerson – sprawdzenie modelu
- Douglas Engelbart – okna kafelkowe , hipertekst , mysz komputerowa
- David Eppstein
- Andrey Ershov – języki ALFA , Rapira ; pierwszy radziecki system podziału czasu AIST-0 , elektroniczny system wydawniczy RUBIN , wieloprocesorowa stacja robocza MRAMOR , członek IFIP WG 2.1 , Estetyka i czynnik ludzki w programowaniu
- Don Estridge (1937-1985) – kierował rozwojem oryginalnego komputera osobistego IBM (PC); znany jako „ojciec IBM PC”
- Oren Etzioni – MetaCrawler , Netbot
- Christopher Riche Evans
- David C. Evans – grafika komputerowa
- Szymon nawet
F
- Scott Fahlman
- Edward Feigenbaum – inteligencja
- Edward Felten – bezpieczeństwo komputerowe
- Tim Finin
- Rafał Finkel
- Donald Firesmith
- Gary William Flake
- Tommy Flowers – komputer Colossus
- Robert Floyd – NP-zupełność
- Sally Floyd – kontrola przeciążenia internetu
- Lawrence J. Fogel – programowanie ewolucyjne
- James D. Foley
- Kena Forbusa
- LR Ford, Jr.
- Lance Fortnow
- Martina Fowlera
- Robert Francja
- Herbert W. Franke
- Edwarda Fredkina
- Yoav Freund
- Daniel P. Friedman
- Charlotte Froese Fischer – obliczeniowa fizyka teoretyczna
- Ping Fu
- Xiaoming Fu
- Kunihiko Fukushima - neocognitron , sztuczne sieci neuronowe , splotowy sieć neuronowa architektura, bez nadzoru nauka , głęboka nauka
- DR Fulkerson
g
- Richard P. Gabriel – Maclisp , Common Lisp , Gorzej jest lepiej , League for Programming Freedom , Lucid Inc. , XEmacs
- Zvi Galil
- Bernard Galler – MAD (język programowania)
- Hector Garcia-Molina
- Michael Garey – NP-zupełność
- Hugo de Garis
- Bill Gates – współzałożyciel Microsoft
- David Gelernter
- Lisa Gelobter – była dyrektorem ds. usług cyfrowych w amerykańskim Departamencie Edukacji, założycielką teQuitable
- Charles Geschke
- Zoubin Ghahramani
- Sanjay Ghemawat
- Jeremy Gibbons - programowanie rodzajowy , programowanie funkcyjne , metody formalne , Computational Biology , bioinformatyka
- Juan E. Gilbert – komputery zorientowane na człowieka
- Lee Giles – CiteSeer
- Seymour Ginsburg - języki formalne , teoria automatów , teoria AFL , teoria baz danych
- Robert L. Glass
- Kurt Gödel – obliczalność ; nie był informatykiem per se, ale jego praca była bezcenna w tej dziedzinie
- Ashok Goel
- Józef Goguen
- Hardik Gohel
- E. Mark Gold – Identyfikacja języka w limicie
- Adele Goldberg – Smalltalk
- Andrew V. Goldberg – algorytmy , inżynieria algorytmów
- Ian Goldberg – kryptograf, nieoficjalne wiadomości
- Oded Goldreich – kryptografia , teoria złożoności obliczeniowej
- Shafi Goldwasser – kryptografia , teoria złożoności obliczeniowej
- Gene Golub – Obliczenia macierzowe
- Martin Charles Golumbic – algorytmiczna teoria grafów
- Gastón Gonnet – współzałożyciel Waterloo Maple Inc.
- Ian Goodfellow – uczenie maszynowe
- James Gosling — rozszerzalny system okien w sieci ( NewWS ), Java
- Paul Graham – Viaweb , On Lisp , Arc
- Robert M. Graham – kompilatory języków programowania (GAT, Michigan Algorithm Decoder (MAD)), architektura pamięci wirtualnej, Multics
- Susan L. Graham – kompilatory , środowiska programistyczne
- Jim Gray – baza danych
- Sheila Greibach – forma normalna Greibacha , teoria abstrakcyjnej rodziny języków (AFL)
- Ralph Griswold – SNOBOL
- Bill Gropp — interfejs przekazywania wiadomości , przenośny, rozszerzalny zestaw narzędzi do obliczeń naukowych (PETSc)
- Tom Gruber – inżynieria ontologii
- Shelia Guberman – rozpoznawanie pisma ręcznego
- Ramanathan V. Guha – Resource Description Framework (RDF), Netscape , RSS , Epinions
- Neil J. Gunther – komputerowa analiza wydajności , planowanie pojemności
- Jürg Gutknecht – z Niklausem Wirthem : komputer Lilith ; Języki programowania Modula-2 , Oberon , Zonnon ; System operacyjny Oberon
- Michael Guy – Phoenix , praca nad teorią liczb , algebrą komputerową , teorią wielościanów wyższego wymiaru ; z Johnem Hortonem Conwayem
h
- Philipp Matthäus Hahn – kalkulator mechaniczny
- Eldon C. Hall – komputer nawigacyjny Apollo
- Wendy Hall
- Józef Halpern
- Margaret Hamilton – ultra-niezawodne projektowanie oprogramowania
- Richard Hamming – Hamming code , założyciel Association for Computing Machinery
- Jiawei Han – eksploracja danych
- Frank Harary – teoria grafów
- Juris Hartmanis – teoria złożoności obliczeniowej
- Johan Håstad – teoria złożoności obliczeniowej
- Les Hatton – awarie i podatności oprogramowania
- Igor Hawryszkiewicz , (ur. 1948) – amerykański informatyk i teoretyk organizacji
- He Jifeng – systemy dowodnie poprawne
- Eric Hehner – programowanie predykatywne , metody formalne , notacja cytatów , ALGOL
- Martin Hellman – szyfrowanie
- Gernot Heiser – rozwój L4 i założyciel OK Labs
- James Hendler – Sieć semantyczna
- John L. Hennessy – architektura komputerowa
- Andrzeja Herberta
- Carl Hewitt
- Danny Hillis – Maszyna łącząca
- Geoffrey Hinton
- Julia Hirschberg
- Tin Kam Ho – sztuczna inteligencja , uczenie maszynowe
- CAR Hoare – logika , rygor, komunikacja procesów sekwencyjnych (CSP)
- Louis Hodes (1934–2008) – Lisp , rozpoznawanie wzorców , programowanie logiczne , badania nad rakiem
- Betty Holberton – programistka ENIAC , opracowała pierwszy generator sortowania scalania
- John Henry Holland – algorytmy genetyczne
- Herman Hollerith (1860–1929) – wynalazł zapis danych na nośniku do odczytu maszynowego za pomocą kart perforowanych
- Gerard Holzmann – weryfikacja oprogramowania , sprawdzanie modelu logicznego ( SPIN )
- John Hopcroft – kompilatory
- Admiral Grace Hopper (1906-1992) – rozwinęła wczesne kompilatory: FLOW-Matic, COBOL ; pracował w UNIVAC ; wygłaszała przemówienia na temat historii komputerów, w których wygłaszała nanosekundy
- Eric Horvitz – sztuczna inteligencja
- Właściciel domu Alston
- Paul Hudak (1952–2015) – projektowanie języka Haskell
- David A. Huffman (1925–1999) – kodowanie Huffmana , stosowane w kompresji danych
- John Hughes – strukturyzacja obliczeń za pomocą strzałek ; Ramy testowania programów z randomizacją QuickCheck ; Projekt języka Haskell
- Roger Hui – współtworzony język J
- Watts Humphrey (1927-2010) - Personal Software Process (PSP), jakość oprogramowania , Team Software Process (TSP)
i
- Jean Ichbiah – Ada
- Roberto Ierusalimschy – Lua (język programowania)
- Dan Ingalls – Smalltalk , BitBlt , Lively Kernel
- Mary Jane Irwin
- Kenneth E. Iverson – APL , J
J
- Ivar Jacobson – Zunifikowany Język Modelowania , Grupa Zarządzania Obiektami
- Anil K. Jain (ur. 1948)
- Ramesh Jain
- Jonathan James
- David S. Johnson
- Stephen C. Johnson
- Cliff Jones – Wiedeńska Metoda Rozwoju (VDM)
- Michael I. Jordan
- Mateusz Józef
- Aravind K. Joshi
- Bill Joy (ur. 1954) – Sun Microsystems , BSD UNIX, vi , csh
- Dan Jurafsky – przetwarzanie języka naturalnego
K
- William Kahan – analiza numeryczna
- Robert E. Kahn – TCP/IP
- Avinash Kak – cyfrowa obróbka obrazu
- Poul-Henning Kamp – wymyślony GBDE , więzienia FreeBSD, pamięć podręczna lakierów
- David Karger
- Richard Karp – NP-zupełność
- Narendra Karmarkar – algorytm Karmarkara
- Marek Karpiński – problemy optymalizacji NP
- Ted Kaehler – Smalltalk , Squeak , HyperCard
- Alan Kay – Dynabook , Smalltalk , zachodzące na siebie okna
- Neeraj Kayal – test pierwszości AKS
- John George Kemeny – PODSTAWOWE
- Ken Kennedy – kompilacja dla maszyn równoległych i wektorowych
- Brian Kernighan (ur. 1942) – Unix , „k” w AWK
- Carl Kesselman – obliczenia siatkowe
- Gregor Kiczales – CLOS , refleksja , programowanie aspektowe
- Peter T. Kirstein – Internet
- Stephen Cole Kleene – domknięcie Kleene , teoria rekurencji
- Dan Klein – Przetwarzanie języka naturalnego , Tłumaczenie maszynowe
- Leonard Kleinrock – ARPANET , teoria kolejek , przełączanie pakietów , routing hierarchiczny
- Donald Knuth – Sztuka Programowania Komputerowego , MIX / MMIX , TeX , programowanie piśmienne
- Andrzej Koenig – C++
- Daphne Koller – Sztuczna inteligencja , sieć bayesowska
- Michael Kölling – BlueJ
- Andriej Nikołajewicz Kołmogorow – algorytmiczna teoria złożoności
- Janet L. Kolodner – rozumowanie oparte na przypadkach
- David Korn – KornShell
- Kees Koster – ALGOL 68
- Robert Kowalski – programowanie logiczne
- Jan Koza – programowanie genetyczne
- John Krogstie – framework SEQUAL
- Joseph Kruskal – algorytm Kruskala
- Thomas E. Kurtz (ur. 1928) – język programowania BASIC ; Profesor komputerowy Dartmouth College
L
- Richard E. Ladner
- Monica S. Lam
- Leslie Lamport - algorytmy do obliczania rozproszonego , LaTeX
- Butler Lampson – SDS 940 , członek założyciel Xerox PARC , Xerox Alto , nagroda Turinga
- Peter Landin - ISWIM , operator J , maszyna SECD , off-bocznej reguły , cukru składniowej , ALGOL , IFIP WG 2,1 członkiem, zaawansowany rachunek lambda do modelu języków programowania (wspomaganie programowania funkcyjnego ), denotational semantyki
- Tom Lane – Independent JPEG Group , PostgreSQL , Portable Network Graphics (PNG)
- Börje Langefors
- Chris Lattner – twórca infrastruktury Swift (język programowania) i kompilatora LLVM
- Steve Lawrence
- Edward D. Łazowska
- Joshua Lederberg
- Manny M. Lehman
- Charles E. Leiserson – algorytmy cache-oblivious , provably good work-stealing , współautor Introduction to Algorithms
- Douglas Lenat – sztuczna inteligencja , Cyc
- Yann LeCun
- Rasmus Lerdorf – PHP
- Max Levchin – test Gausebecka-Levchina i PayPal
- Leonid Levin – teoria złożoności obliczeniowej
- Kevin Leyton-Brown – sztuczna inteligencja
- JCR Licklider
- David Liddle
- John Lions – Lions' Commentary on UNIX 6th Edition, z kodem źródłowym (Lions Book)
- Charles H. Lindsey – członek IFIP WG 2.1 , Revised Report on ALGOL 68
- Richard J. Lipton – teoria złożoności obliczeniowej
- Barbara Liskov – języki programowania
- Yanhong Annie Liu - języki programowania , algorytmy , projektowanie programu optymalizacji programu , oprogramowanie systemów, optymalizacja, analiza i transformacje, inteligentne systemy, rozproszone , bezpieczeństwa komputerowego , IFIP WG 2,1 członkiem
- Darrell Long – komputerowe przechowywanie danych , bezpieczeństwo komputerowe
- Patricia D. Lopez – poszerzanie udziału w informatyce
- Gillian Lovegrove
- Ada Lovelace – pierwszy programista
- David Luckham – Lisp , Automatyczne dowodzenie twierdzeń , Stanford Pascal Verifier, Kompleksowe przetwarzanie zdarzeń , Współzałożyciel Rational Software ( kompilator Ada )
- Eugeniusz Luks
- Nancy Lynch
m
- Nadia Magnenat Thalmann – grafika komputerowa , wirtualny aktor
- Tom Maibaum
- Zohar Manna – logika rozmyta
- James Martin – inżynieria informacji
- Robert C. Martin (Uncle Bob) – rzemiosło oprogramowania
- John Maszej
- Yuri Matiyasevich – rozwiązanie dziesiątego problemu Hilberta
- Yukihiro Matsumoto – Rubin (język programowania)
- John Mauchly (1907-1980) – zaprojektował ENIAC , pierwszy uniwersalny elektroniczny komputer cyfrowy, a także EDVAC, BINAC i UNIVAC I, pierwszy komputer komercyjny; współpracował z Jeanem Bartikiem przy ENIAC i Grace Murray Hopper przy UNIVAC
- Derek McAuley – przetwarzanie wszechobecne , architektura komputerowa , sieci
- John McCarthy – Lisp (język programowania) , ALGOL , członek IFIP WG 2.1 , sztuczna inteligencja
- Andrzeja McCalluma
- Douglas McIlroy – makra , potoki, filozofia Uniksa
- Chris McKinstry – sztuczna inteligencja , Mindpixel
- Marshall Kirk McKusick – BSD , Berkeley Fast File System
- Lambert Meertens – ALGOL 68 , członek IFIP WG 2.1 , ABC (język programowania)
- Kurt Mehlhorn – algorytmy, struktury danych, LEDA
- Bertrand Meyer – Eiffel (język programowania)
- Silvio Micali – kryptografia
- Robin Milner – ML (język programowania)
- Jack Minker – logika bazy danych
- Marvin Minsky – sztuczna inteligencja , perceptrony , Society of Mind
- Tom M. Mitchell
- Arvind Mithal – formalna weryfikacja dużych systemów cyfrowych , rozwój architektur dynamicznego przepływu danych , języki programowania obliczeń równoległych (Id, pH), kompilacja na maszynach równoległych
- Paul Mockapetris – system nazw domen (DNS)
- Cleve Moler – analiza numeryczna , MATLAB
- Faron Moller – teoria współbieżności
- John P. Moon – wynalazca , Apple Inc.
- Charles H. Moore – język czwarty
- Edward F. Moore – maszyna Moore
- Gordon Moore – Prawo Moore'a
- J Strother Moore – wyszukiwanie ciągów, dowodzenie twierdzenia ACL2
- Roger Moore – współtworzył APL \360, stworzył IPSANET , współzałożyciel IP Sharp Associates
- Hans Moravec – robotyka
- Carroll Morgan – metody formalne
- Robert Tappan Morris – Robak Morris
- Joel Moses – Macsyma
- Rajeev Motwani – algorytm randomizowany
- Oleg A. Mukhanov – twórca obliczeń kwantowych , współzałożyciel i CTO SeeQC
- Stephen Muggleton – Programowanie w logice indukcyjnej
- Alan Mycroft – języki programowania
- Musharaf MMHussain — przetwarzanie równoległe i wielordzeniowy procesor skalujący kolacje
n
- Mihai Nadin – badanie antycypacyjne
- Makoto Nagao – tłumaczenie maszynowe, przetwarzanie języka naturalnego, biblioteka cyfrowa
- Frieder Nake – pionier sztuki komputerowej
- Bonnie Nardi – interakcja człowiek-komputer
- Peter Naur (1928-2016) – forma Backus-Naur (BNF), ALGOL 60 , członek IFIP WG 2.1
- Roger Needham – bezpieczeństwo komputerowe
- James G. Nell – Uogólniona architektura i metodologia referencyjna przedsiębiorstwa (GERAM)
- Greg Nelson (1953–2015) – teorie spełnialności modulo , rozszerzone sprawdzanie statyczne , weryfikacja programu , komitet Modula-3 , dowodzenie twierdzeń Simplify w ESC/Java
- Bernard de Neumann – masowo równoległy autonomiczny procesor komórkowy, badania nad inżynierią oprogramowania
- Klara Dan von Neumann (1911–1963) – wczesne komputery, programista ENIAC i projektant układów sterowania
- John von Neumann (1903–1957) – wczesne komputery, maszyna von Neumanna , teoria mnogości , analiza funkcjonalna , pionier matematyki, programowanie liniowe , mechanika kwantowa
- Allen Newell – sztuczna inteligencja , Konstrukcje komputerowe
- Max Newman – komputer Colossus , MADM
- Andrew Ng – sztuczna inteligencja , uczenie maszynowe , robotyka
- Nils John Nilsson (1933–2019) – sztuczna inteligencja
- GM Nijssen – Nijssen's Information Analysis Methodology (NIAM) modelowanie obiektowo-role
- Tobias Nipkow – dowód asysty
- Maurice Nivat – informatyka teoretyczna , czasopismo Theoretical Computer Science , ALGOL , członek IFIP WG 2.1
- Phiwa Nkambule – Fintech , sztuczna inteligencja , uczenie maszynowe , robotyka
- Jerre Noe – skomputeryzowana bankowość
- Peter Nordin – sztuczna inteligencja , programowanie genetyczne , robotyka ewolucyjna
- Donald Norman – interfejsy użytkownika , użyteczność
- Peter Norvig – sztuczna inteligencja , dyrektor ds. badań w Google
- George Novacky – University of Pittsburgh: asystent przewodniczącego wydziału, starszy wykładowca informatyki, prodziekan CAS ds. studiów licencjackich
- Kristen Nygaard – Simula , programowanie obiektowe
O
- Martin Odersky – język programowania Scala
- Peter O'Hearn – logika separacji , logika grupowa , Infer Static Analyzer
- T. William Olle – Ferranti Mercury
- Steve Omohundro
- Severo Ornstein
- John O'Sullivan – Wi-Fi
- John Outsterhout – język programowania Tcl
- Mark Overmars – programowanie gier wideo
P
- Larry Page – współzałożyciel Google
- Sankar Pal
- Paritosz Pandja
- Christos Papadimitriou
- David Park (1935-1990) – pierwsza implementacja Lisp , ekspert w zakresie sprawiedliwości, schematów programowych, bisymulacji w obliczeniach współbieżnych
- David Parnas – ukrywanie informacji , programowanie modułowe
- DJ Patil – były główny analityk danych w Stanach Zjednoczonych
- Yale Patt – równoległość na poziomie instrukcji , architektury spekulatywne
- David A. Patterson – komputer ze zredukowanym zestawem instrukcji (RISC), RISC-V , nadmiarowe macierze niedrogich dysków ( RAID ), Berkeley Network of Workstations (NOW)
- Mike Paterson – algorytmy , analiza algorytmów (złożoność)
- Mihai Pătraşcu – struktury danych
- Lawrence Paulson – ML
- Randy Pausch (1960-2008) – interakcja człowiek-komputer , profesor Carnegie, „ Ostatni wykład ”
- Juan Pavón – agenci oprogramowania
- Judea Pearl – sztuczna inteligencja , algorytmy wyszukiwania
- David Pearson – CADES , grafika komputerowa
- Alan Perlis – Perły Programowania
- Radia Perlman – protokół drzewa opinającego
- Pier Giorgio Perotto – projektant komputerowy w firmie Olivetti , projektant programowalnego kalkulatora Programma 101
- Rózsa Péter – teoria funkcji rekurencyjnych
- Simon Peyton Jones – programowanie funkcjonalne
- Kathy Pham – dane, sztuczna inteligencja, technologie obywatelskie, opieka zdrowotna, etyka
- Roberto Pieraccini – technolog mowy, dyrektor techniczny w Google
- Gordon Plotkin
- Amir Pnueli – logika temporalna
- Willem van der Poel – grafika komputerowa, robotyka, systemy informacji geograficznej, obrazowanie, multimedia, środowiska wirtualne, gry
- Cicely Popplewell (1920-1995) – brytyjski inżynier oprogramowania w latach 60.
- Emil Post – matematyka
- Jon Postel – Internet
- Franco Preparata – inżynieria komputerowa , geometria obliczeniowa , algorytmy równoległe , biologia obliczeniowa
- William H. Press – algorytmy numeryczne
r
- Rapelang Rabana
- Grzegorz Rozenberg – obliczenia naturalne , teoria automatów , transformacje grafów i systemy współbieżne
- Michael O. Rabin – maszyna niedeterministyczna
- Dragomir R. Radev – przetwarzanie języka naturalnego , wyszukiwanie informacji
- TV Raman – dostępność , Emacspeak
- Brian Randell – ALGOL 60 , odporność na błędy oprogramowania , niezawodność , historia sprzętu komputerowego sprzed 1950 r.
- Anders P. Ravn – Rachunek czasu trwania
- Raj Reddy – sztuczna inteligencja
- David P. Reed
- Trygve Reenskaug – wzorzec architektury oprogramowania model-widok-kontroler (MVC)
- John C. Reynolds – kontynuacje , interpretatory definicji , defunkcjonalizacja , Forsythe, język Gedanken , typy przecięć , polimorficzny rachunek lambda , parametryczność relacyjna , logika separacji , ALGOL
- Joyce K. Reynolds – Internet
- Reinder van de Riet – Redaktor: Europe of Data and Knowledge Engineering , język modelowania zdarzeń COLOR-X
- Bernard Richards – informatyka medyczna
- Martin Richards – BCPL
- Adam Riese
- CJ van Rijsbergen
- Dennis Ritchie – C (język programowania) , Unix
- Ron Rivest – RSA , MD5 , RC4
- Ken Robinson – metody formalne
- Colette Rolland – metodologia REMORA, meta modelowanie
- John Romero – opracowany w kodzie Doom
- Azriel Rosenfeld
- Douglas T. Ross – Narzędzia programowane automatycznie ( APT ), Komputerowe wspomaganie projektowania , analiza strukturalna i technika projektowania , ALGOL X
- Guido van Rossum – Python (język programowania)
- Winston W. Royce – model wodospadu
- Rudy Rucker – matematyk, pisarz, pedagog
- Steven Rudich – teoria złożoności, kryptografia
- Jeff Rulifson
- James Rumbaugh – Zunifikowany Język Modelowania , Grupa Zarządzania Obiektami
- Peter Ružička – słowacki informatyk i matematyk
S
- Jerzy Sadowski
- Umar Saif
- Gerard Salton – wyszukiwanie informacji
- Jean E. Sammet – języki programowania
- Claude Sammut – badacz sztucznej inteligencji
- Carl Sassenrath – systemy operacyjne , języki programowania , Amiga , REBOL
- Mahadev Satyanarayanan - systemy plików , systemy rozproszone , komputerów przenośnych , wszechobecne computing
- Walter Savitch – odkrycie klasy złożoności NL , twierdzenie Savitcha , przetwarzanie języka naturalnego , lingwistyka matematyczna
- Jonathan Schaeffer
- Wilhelm Schickard – jedna z pierwszych maszyn liczących
- Jürgen Schmidhuber – sztuczna inteligencja, głębokie uczenie, sztuczne sieci neuronowe, rekurencyjne sieci neuronowe , maszyna Gödla , sztuczna ciekawość, metauczenie
- Steve Schneider – metody formalne , bezpieczeństwo
- Bruce Schneier – kryptografia, bezpieczeństwo
- Fred B. Schneider – obliczenia współbieżne i rozproszone
- Sarita Schoenebeck — interakcja człowiek-komputer
- Glenda Schroeder – powłoka wiersza poleceń, e-mail
- Dana Scott – teoria domen
- Michael L. Scott – języki programowania , algorytmy , obliczenia rozproszone
- Robert Sedgewick – algorytmy, struktury danych
- Ravi Sethi – kompilatorzy, 2. Smocza Księga
- Nigel Shadbolt
- Adi Shamir – RSA , kryptoanaliza
- Claude Shannon – teoria informacji
- David E. Shaw – finanse obliczeniowe, biochemia obliczeniowa, architektury równoległe
- Cliff Shaw – programista systemów, sztuczna inteligencja
- Scott Shenker – networking
- Ben Shneiderman – interakcja człowiek-komputer , wizualizacja informacji
- Edward H. Shortliffe – MYCIN (medyczny diagnostyczny system ekspercki)
- Joseph Sifakis – sprawdzanie modelu
- Herbert A. Simon – sztuczna inteligencja
- Munindar P. Singh – systemy multiagentowe , inżynieria oprogramowania , sztuczna inteligencja, sieci społecznościowe
- Ramesh Sitaraman – pomógł zbudować wysokowydajną sieć Akamai
- Daniel Sleator – drzewo splay , analiza amortyzowana
- Aaron Sloman – sztuczna inteligencja i kognitywistyka
- Arne Solvberg – modelowanie informacji
- Brian Cantwell Smith – refleksja (informatyka) , 3lisp
- Steven Spewak – planowanie architektury korporacyjnej
- Carol Spradling
- Robert Sproull
- Rohini Kesavan Srihari – wyszukiwanie informacji , analiza tekstu, eksploracja wielojęzycznego tekstu
- Sargur Srihari – rozpoznawanie wzorców , uczenie maszynowe , kryminologia obliczeniowa , CEDAR-FOX
- Maciej Stachowiak – GNOME , Safari , WebKit
- Richard Stallman (ur. 1953) – Projekt GNU
- Ronald Stamper
- Richard E. Stearns – teoria złożoności obliczeniowej
- Guy L. Steele, Jr. – Schemat , Common Lisp
- Thomas Sterling – twórca klastrów Beowulf
- Aleksander Stiepanow – programowanie generyczne
- W. Richard Stevens (1951–1999) – autor książek, m.in. TCP/IP Illustrated i Advanced Programming in the Unix Environment
- Larry Stockmeyer – złożoność obliczeniowa, obliczenia rozproszone
- Salvatore Stolfo – bezpieczeństwo komputerowe, uczenie maszynowe
- Michael Stonebraker – praktyka i teoria relacyjnych baz danych
- Olaf Storaasli – maszyna elementów skończonych , algebra liniowa , obliczenia o wysokiej wydajności
- Christopher Strachey – semantyka denotacyjna
- Volker Strassen - mnożenia macierzy , całkowitą mnożenia , test pierwszości solovaya-strassena
- Bjarne Stroustrup – C++
- Madhu Sudan - obliczeniowa teoria złożoności , teorii kodowania
- Gerald Jay Sussman – Schemat
- Bert Sutherland – grafika , Internet
- Ivan Sutherland – grafika
- Mario Szegedy – teoria złożoności , obliczenia kwantowe
T
- Parisa Tabriz – dyrektor ds. technicznych Google, znana również jako księżniczka bezpieczeństwa
- Roberto Tamassia – geometria obliczeniowa , bezpieczeństwo komputerowe
- Andrew S. Tanenbaum – systemy operacyjne , MINIX
- Austin Tate – aplikacje sztucznej inteligencji , planowanie sztucznej inteligencji , wirtualne światy
- Bernhard Thalheim – podstawa modelowania koncepcyjnego
- Éva Tardos
- Gabor Tardos
- Robert Tarjan – drzewo splay
- Valerie Taylor
- Mario Tchou - Włoski inżynier, chińskiego pochodzenia, lider Olivetti Elea projektu
- Jaime Teevan
- Shang-Hua Teng – analiza algorytmów
- Larry Tesler – interakcja człowiek-komputer, graficzny interfejs użytkownika, Apple Macintosh
- Avie Tevanian – zespół jądra Mach, NeXT, Mac OS X
- Charles P. Thacker – Xerox Alto , Microsoft Research
- Daniel Thalmann – grafika komputerowa , wirtualny aktor
- Ken Thompson – Unix
- Sebastian Thrun – badacz AI, pionier autonomicznej jazdy
- Walter F. Tichy – RCS
- Seinosuke Toda – złożoność obliczeniowa, laureat Nagrody Gödla 1998
- Linus Torvalds – jądro Linuksa , Git
- Leonardo Torres y Quevedo (1852–1936) – wynalazł El Ajedrecista ( szachista ) w 1912 roku, prawdziwy automat zbudowany do gry w szachy bez ludzkiego przewodnictwa. W swojej pracy Essays on Automatics (1913) wprowadził ideę arytmetyki zmiennoprzecinkowej . W 1920 zbudowano wczesne urządzenie elektromechaniczne Silnika Analitycznego .
- Godfried Toussaint – geometria obliczeniowa, obliczeniowa teoria muzyki
- Gloria Townsend
- Edwin E. Tozer – systemy informacji biznesowej
- Joseph F Traub – obliczeniowa złożoność problemów naukowych
- John V. Tucker – teoria obliczalności
- John Tukey – twórca algorytmu FFT , wykresu pudełkowego , eksploracyjnej analizy danych i ukucia terminu „bit”
- Alan Turing (1912–1954) – brytyjski pionier informatyki, maszyna Turinga , algorytmy , kryptologia, architektura komputerowa
- David Turner – SASL , Kent Recursive Calculator , Miranda , członek IFIP WG 2.1
- Murray Turoff – komunikacja za pośrednictwem komputera
U
- Jeffrey D. Ullman – kompilatory, bazy danych, teoria złożoności
- Umar Saif
V
- Leslie Valiant - teorii złożoności obliczeniowej , obliczeniowa teoria uczenia się
- Vladimir Vapnik – rozpoznawanie wzorców , teoria uczenia się komputerowego
- Moshe Vardi – profesor informatyki na Rice University
- Dorota Vaughan
- Umesh Vazirani
- Manuela M. Veloso
- François Vernadat – modelowanie przedsiębiorstwa
- Richard Veryard – modelowanie przedsiębiorstwa
- Sergiy Vilkomir – testowanie oprogramowania , RC/DC
- Paul Vitanyi – Złożoność Kołmogorowa , Odległość informacji , Znormalizowana odległość kompresji , Znormalizowana odległość Google
- Andrew Viterbi – Algorytm Viterbiego
- Jeffrey Scott Vitter - zewnętrznej pamięci algorytmy sprasowane struktury danych , kompresję danych , bazy
- Paul Vixie – DNS , BIND , PAIX , Internet Software Consortium , MAPS , DNSBL
W
- Eiiti Wada – ALGOL N , członek IFIP WG 2.1 , Japońskie Standardy Przemysłowe (JIS) X 0208, 0212, Klawiatura Happy Hacking
- David Wagner – bezpieczeństwo, kryptografia
- Dawid Waltz
- James Z. Wang
- Steve Ward
- Manfred K. Warmuth – teoria uczenia się komputerowego
- David HD Warren – AI , programowanie logiczne , Prolog , Warren Abstract Machine (WAM)
- Kevin Warwick – sztuczna inteligencja
- Jan Węglarz
- Philip Wadler – programowanie funkcjonalne , Haskell , Monad , Java , Logic
- Peter Wegner – programowanie obiektowe , interakcja (informatyka)
- Joseph Henry Wegstein – ALGOL 58 , ALGOL 60 , członek IFIP WG 2.1 , standardy techniczne przetwarzania danych , analiza odcisków palców
- Peter J. Weinberger – projektowanie języka programowania, „w” w AWK
- Mark Weiser – wszechobecne przetwarzanie
- Joseph Weizenbaum – sztuczna inteligencja, ELIZA
- David Wheeler – EDSAC, podprogramy
- Franklin H. Westervelt – wykorzystanie komputerów w edukacji inżynierskiej, konwersacyjne korzystanie z komputerów, Michigan Terminal System (MTS), ARPANET , kształcenie na odległość
- Steve Whittaker – interakcja człowiek-komputer , komputerowe wsparcie pracy kooperacyjnej, media społecznościowe
- Jennifer Widom – nietradycyjne zarządzanie danymi
- Gio Wiederhold – systemy zarządzania bazami danych
- Norbert Wiener – Cybernetyka
- Adriaan van Wijngaarden – holenderski pionier; ARRA, ALGOL , członek IFIP WG 2.1
- Mary Allen Wilkes – programista LINC , projektant asemblera-linkera
- Maurice Vincent Wilkes – mikroprogramowanie, EDSAC
- Yorick Wilks – lingwistyka komputerowa , sztuczna inteligencja
- James H. Wilkinson – analiza numeryczna
- Sophie Wilson – architektura ARM
- Shmuel Winograd – Algorytm Coppersmith-Winograd
- Terry Winograd – sztuczna inteligencja, SHRDLU
- Patrick Winston – sztuczna inteligencja
- Niklaus Wirth – ALGOL W , członek IFIP WG 2.1 , Pascal , Modula , Oberon
- Neil Wiseman – grafika komputerowa
- Dennis E. Wisnosky – Zintegrowana produkcja wspomagana komputerowo (ICAM), IDEF
- Stephen Wolfram – Matematyka
- Mike Woodger – Pilot ACE , ALGOL 60 , Ada (język programowania)
- Philip Woodward - funkcja niejednoznaczność , funkcja sinc , operator grzebień operator REP , ALGOL 68-R
- Beatrice Helen Worsley – napisała pierwszą pracę doktorską dotyczącą nowoczesnych komputerów; była jedną z osób, które napisały Transcode
- Steve Wozniak – zaprojektował komputery osobiste pierwszej generacji w Apple Computer
- Jie Wu – sieci komputerowe
- William Wulf – kompilatorzy
Tak
- Mihalis Yannakakis
- Andrzej Chi-Chih Yao
- Jan Jen
- Nobuo Yoneda - Yoneda lematu , produkt Yoneda , ALGOL , IFIP WG 2,1 człon
- Edward Yourdon – Metoda analizy i projektowania systemów strukturalnych
- Moti Yung
Z
- Lotfi Zadeh – logika rozmyta
- Hans Zantema – analiza terminacji
- Arif Zaman – generator liczb pseudolosowych
- Stanley Zdonik — systemy zarządzania bazami danych
- Hussein Zedan – metody formalne i systemy czasu rzeczywistego
- Shlomo Zilberstein – sztuczna inteligencja, algorytmy w dowolnym momencie , zautomatyzowane planowanie i zdecentralizowane POMDP
- Jill Zimmerman – James M. Beall profesor matematyki i informatyki w Goucher College
- Konrad Zuse – niemiecki pionier sprzętu i oprogramowania
Zobacz też
- Lista komputerowych ludzi
- Lista ważnych publikacji z zakresu informatyki
- Lista żydowskich amerykańskich informatyków
- Lista członków Narodowej Akademii Nauk (nauki komputerowe i informacyjne)
- Lista pionierów informatyki
- Lista programistów
- Lista badaczy języka programowania
- Lista rosyjskich programistów IT
- Lista słoweńskich informatyków
- Lista indyjskich informatyków