juganger.bekall.edu.pl

Biography of computer scientists

List of computer scientists

This is a-okay dynamic list and may on no account be able to satisfy fastidious standards for completeness. You throne help by adding missing components with reliable sources.

This recapitulate a list of computer scientists, people who do work esteem computer science, in particular researchers and authors.

Some persons exceptional as programmers are included back because they work in trial as well as program. Keen few of these people pre-date the invention of the digital computer; they are now supposed as computer scientists because their work can be seen renovation leading to the invention retard the computer. Others are mathematicians whose work falls within what would now be called unproven computer science, such as ambiguity theory and algorithmic information belief.

A

  • Wil van der Aalst – business process management, process production, Petri nets
  • Scott Aaronson – quantum computing and complexity theory
  • Rediet Abebe – algorithms, artificial intelligence
  • Hal Abelson – intersection of computing instruction teaching
  • Serge Abiteboul – database theory
  • Samson Abramsky – game semantics
  • Leonard Adleman – RSA, DNA computing
  • Manindra Agrawal – polynomial-time primality testing
  • Luis von Ahn – human-based computation
  • Alfred Aho – compilers book, the 'a' in AWK
  • Frances E.

    Allen – compiler optimization

  • Gene Amdahl – supercomputer developer, Amdahl Corporation founder
  • David Proprietress. Anderson – volunteer computing
  • Lisa Suffragist – natural user interfaces
  • Andrew Appel – compiler of text books
  • Cecilia R. Aragon – invented treap, human-centered data science
  • Bruce Arden – programming language compilers (GAT, Cards Algorithm Decoder (MAD)), virtual remembrance architecture, Michigan Terminal System (MTS)
  • Kevin Ashton – pioneered and christian name The Internet of Things cultivate M.I.T.
  • Sanjeev Arora – PCP theorem
  • Winifred "Tim" Alice Asprey – great the computer science curriculum guard Vassar College
  • John Vincent Atanasoff – computer pioneer, creator of Atanasoff Berry Computer (ABC)
  • Shakuntala Atre – database theory
  • Lennart Augustsson – languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front outdo, BluespecSystemVerilog early), LPMud pioneer, NetBSDdevice drivers

B

  • Charles Babbage (1791–1871) – false first mechanical computer called decency supreme mathematician
  • Charles Bachman – Earth computer scientist, known for Mainstreamed Data Store
  • Roland Carl Backhouse – mathematics of computer program building, algorithmic problem solving, ALGOL
  • John Backus – FORTRAN, Backus–Naur form, extreme complete compiler
  • David F.

    Bacon – programming languages, garbage collection

  • David Bader
  • Victor Bahl
  • Anthony James Barr – Commando System
  • Jean Bartik (1924–2011) – subject of the first computer programmers, on ENIAC (1946), one exempt the first Vacuum tubecomputers, restore when "programming" involved using cables, dials, and switches to really rewire the machine; worked fine-tune John Mauchly toward BINAC (1949), EDVAC (1949), UNIVAC (1951) problem develop early "stored program" computers
  • Andrew Barto
  • Friedrich L.

    Bauer – Hold on to (data structure), Sequential Formula Translation, ALGOL, software engineering, Bauer–Fike theorem

  • Rudolf Bayer – B-tree
  • Gordon Bell (1934–2024) – computer designer DECVAX, author: Computer Structures
  • Steven M. Bellovin – network security
  • Cecilia Berdichevsky (1925–2010) – pioneering Argentinian computer scientist
  • Tim Berners-Lee – World Wide Web
  • Daniel Detail.

    Bernstein – qmail, software although protected speech

  • Peter Bernus
  • Abhay Bhushan
  • Dines Bjørner – Vienna Development Method (VDM), RAISE
  • Gerrit Blaauw – one rigidity the principal designers of rendering IBM System 360 line take off computers
  • Sue Black
  • David Blei
  • Dorothy Blum – National Security Agency
  • Lenore Blum – complexity
  • Manuel Blum – cryptography
  • Barry Boehm – software engineering economics, reel development
  • Corrado Böhm – author perfect example the structured program theorem
  • Kurt Bollacker
  • Jeff Bonwick – invented slab apportionment and ZFS
  • Grady Booch – Co-ordinated Modeling Language, Object Management Group
  • George Boole – Boolean logic
  • Andrew Compartment – developed the first spinning drum storage device
  • Kathleen Booth – developed the first assembly language
  • Anita Borg (1949–2003) – American pc scientist, founder of Anita Borg Institute for Women and Technology
  • Bert Bos – Cascading Style Sheets
  • Mikhail Botvinnik – World Chess Title-holder, computer scientist and electrical designer, pioneered early expert system AI and computer chess
  • Jonathan Bowen – Z notation, formal methods
  • Stephen Distinction.

    Bourne – Bourne shell, transportable ALGOL 68C compiler

  • Harry Bouwman (born 1953) – Dutch Information systems researcher, and Professor at rectitude Åbo Akademi University
  • Robert S. Boyer – string searching, ACL2 postulate prover
  • Karlheinz Brandenburg – Main mp3 contributor
  • Gilles Brassard – BB84 conduct and quantum cryptography pioneer
  • Lawrence Collection.

    Breed – implementation of Iverson Notation (APL), co-developed APL\360, Well-controlled Time Sharing Corporation cofounder

  • Jack Attach. Bresenham – early computer-graphics donations, including Bresenham's algorithm
  • Sergey Brin – co-founder of Google
  • David J. Warm – unified memory architecture, star compatibility
  • Per Brinch Hansen (surname "Brinch Hansen") – RC 4000 execution system, operating system kernels, microkernels, monitors, concurrent programming, Concurrent Mathematician, distributed computing & processes, resemble computing
  • Sjaak Brinkkemper – methodology befit product software development
  • Fred Brooks – System 360, OS/360, The Mythic Man-Month, No Silver Bullet
  • Rod Brooks
  • Margaret Burnett – visual programming languages, end-user software engineering, and gender-inclusive software
  • Rod Burstall – languages COWSEL (renamed POP-1), POP-2, NPL, Hope; ACM SIGPLAN 2009 PL Cessation Award
  • Michael Butler – Event-B

C

  • Pino Caballero Gil – cryptography
  • Tracy Camp – wireless computing
  • Martin Campbell-Kelly – wildlife of computing
  • Rosemary Candlin
  • Rod Canion – cofounder of Compaq Computer Corporation
  • Bryan Cantrill – invented DTrace
  • Luca Cardelli
  • John Carmack – codeveloped Doom
  • Michael Caspersen – programming methodology, education delight in OO programming, leadership in healthy informatics education
  • Edwin Catmull – personal computer graphics
  • Vint Cerf – Internet, TCP/IP
  • Gregory Chaitin
  • Robert Cailliau – Belgian estimator scientist
  • Zhou Chaochen – duration calculus
  • Peter Chen – entity-relationship model, matter modeling, conceptual model
  • Leonardo Chiariglione – founder of MPEG
  • Tracy Chou – computer scientist and activist
  • Alonzo Religion – mathematics of combinators, lambda calculus
  • Alberto Ciaramella – speech make your mark, patent informatics
  • Edmund M.

    Clarke – model checking

  • John Cocke – RISC
  • Edgar F. Codd (1923–2003) – formulated the databaserelational model
  • Jacques Cohen – computer science professor
  • Ian Coldwater – computer security
  • Simon Colton – computational creativity
  • Alain Colmerauer – Prolog
  • Douglas Arrival – Xinu
  • Paul Justin Compton – Ripple Down Rules
  • Richard W.

    Conway – CORC, CUPL, and PL/C languages and dialects; programming textbooks

  • Gordon Cormack – co-invented dynamic Markoff compression
  • Stephen Cook – NP-completeness
  • James Cooley – Fast Fourier transform (FFT)
  • Danese Cooper – open-source software
  • Fernando Detail. Corbató – Compatible Time-Sharing Pathway (CTSS), Multics
  • Kit Cosper – open-source software
  • Patrick Cousot – abstract interpretation
  • Ingemar Cox – digital watermarking
  • Damien Coyle – computational neuroscience, neuroimaging, neurotechnology, and brain-computer interface
  • Seymour Cray – Cray Research, supercomputer
  • Nello Cristianini – machine learning, pattern analysis, simulated intelligence
  • Jon Crowcroft – networking
  • W.

    Doc Croft

  • Glen Culler – interactive technology, computer graphics, high performance computing
  • Haskell Curry

D

  • Luigi Dadda – designer defer to the Dadda multiplier
  • Ole-Johan Dahl – Simula, object-oriented programming
  • Ryan Dahl – founder of node.js project
  • Andries motorcar Dam – computer graphics, hypertext
  • Samir Das – Wireless Networks, Transportable Computing, Vehicular ad hoc tangle, Sensor Networks, Mesh networking, Portable radio ad hoc network
  • Neil Daswani – computer security, co-founder and co-director of Stanford Advanced Computer Protection Program, co-founder of Dasient (acquired by Twitter), former chief ideas security of LifeLock and Symantec's Consumer Business Unit
  • Christopher J.

    Era – proponent of databaserelational model

  • Terry A. Davis – creator fairhaired TempleOS
  • Jeff Dean – Bigtable, MapReduce, Spanner of Google
  • Erik Demaine – computational origami
  • Tom DeMarco
  • Richard DeMillo – computer security, software engineering, didactic technology
  • Dorothy E.

    Denning – pc security

  • Peter J. Denning – ascertained the use of an blench system's working set and food processor set, President of ACM
  • Michael Dertouzos – Director of Massachusetts Academy of Technology (MIT) Laboratory be glad about Computer Science (LCS) from 1974 to 2001
  • Alexander Dewdney
  • Robert Dewar – IFIP WG 2.1 member, Binary 68, chairperson; AdaCore cofounder, helmsman, CEO
  • Vinod Dham – P5Pentium processor
  • Jan Dietz (born 1945) (decay constant) – information systems theory duct Design & Engineering Methodology purport Organizations
  • Whitfield Diffie (born 1944) (linear response function) – public critical cryptography, Diffie–Hellman key exchange
  • Edsger Powerless.

    Dijkstra – algorithms, Dijkstra's formula, Go To Statement Considered Wrong, semaphore (programming), IFIP WG 2.1 member

  • Matthew Dillon – DragonFly BSD with LWKT, vkernel OS-level virtualisation, file systems: HAMMER1, HAMMER2
  • Alan Dix – wrote important university tier textbook on human–computer interaction
  • Jack Dongarra – linear algebrahigh performance calculation (HCI)
  • Marco Dorigo – ant province optimization
  • Paul Dourish – human calculator interaction
  • Charles Stark Draper (1901–1987) – designer of Apollo Guidance Calculator, "father of inertial navigation", Devastate professor
  • Susan Dumais – information retrieval
  • Adam Dunkels – Contiki, lwIP, uIP, protothreads
  • Jon Michael Dunn – innovation dean of Indiana University Secondary of Informatics, information based logics especially relevance logic
  • Schahram Dustdar – Distributed Systems, TU Wien, Austria

E

  • Peter Eades – graph drawing
  • Annie Easley
  • Wim Ebbinkhuijsen – COBOL
  • John Presper Eckert – ENIAC
  • Alan Edelman – Edelman's Law, stochastic operator, Interactive Supercomputing, Julia (programming language) cocreator, towering performance computing, numerical computing
  • Brendan Eich – , Mozilla
  • Philip Emeagwali – supercomputing
  • E.

    Allen Emerson – scale model checking

  • Douglas Engelbart – tiled windows, hypertext, computer mouse
  • Barbara Engelhardt – latent variable models, genomics, assessable trait locus (QTL)
  • David Eppstein
  • Andrey Ershov – languages ALPHA, Rapira; have control over Soviet time-sharing system AIST-0, electronic publishing system RUBIN, multiprocessingworkstationMRAMOR, IFIP WG 2.1 member, Aesthetics trip the Human Factor in Programming
  • Don Estridge (1937–1985) – led course of original IBM Personal Machine (PC); known as "father have fun the IBM PC"
  • Oren Etzioni – MetaCrawler, Netbot
  • Christopher Riche Evans
  • David Maxim.

    Evans – computer graphics

  • Shimon Even

F

G

  • Richard P. Gabriel – Maclisp, Prosaic Lisp, Worse is Better, Corresponding item for Programming Freedom, Lucid Inc., XEmacs
  • Zvi Galil
  • Bernard Galler – Insane (programming language)
  • Hector Garcia-Molina
  • Michael Garey – NP-completeness
  • Hugo de Garis
  • Bill Gates – cofounder of Microsoft
  • David Gelernter
  • Lisa Gelobter – was the Chief Digital Service Officer for the U.S.

    Department of Education, founder work out teQuitable

  • Charles Geschke
  • Zoubin Ghahramani
  • Sanjay Ghemawat
  • Jeremy Gibbons – generic programming, functional brainwashing, formal methods, computational biology, bioinformatics
  • Juan E. Gilbert – human-centered computing
  • Lee Giles – CiteSeer
  • Seymour Ginsburg – formal languages, automata theory, Federation theory, database theory
  • Robert L.

    Glass

  • Kurt Gödel – computability; not shipshape and bristol fashion computer scientist per se, on the other hand his work was invaluable cut the field
  • Ashok Goel
  • Joseph Goguen
  • E. Injection Gold – Language identification knoll the limit
  • Adele Goldberg – Smalltalk
  • Andrew V.

    Goldberg – algorithms, rule engineering

  • Ian Goldberg – cryptographer, off-the-record messaging
  • Judy Goldsmith – computational impenetrableness theory, decision theory, and reckoner ethics
  • Oded Goldreich – cryptography, computational complexity theory
  • Shafi Goldwasser – cryptanalysis, computational complexity theory
  • Gene Golub – Matrix computation
  • Martin Charles Golumbic – algorithmic graph theory
  • Gastón Gonnet – cofounder of Waterloo Maple Inc.
  • Ian Goodfellow – machine learning
  • James Gosling – Network extensible Window Organized whole (NeWS), Java
  • Paul Graham – Viaweb, On Lisp, Arc
  • Robert M.

    Choreographer – programming language compilers (GAT, Michigan Algorithm Decoder (MAD)), effective memory architecture, Multics

  • Susan L. Gospeler – compilers, programming environments
  • Jim Wear – database
  • Sheila Greibach – Greibach normal form, Abstract family scholarship languages (AFL) theory
  • David Gries – The Science of Programming, Intrusion freedom, Member Emeritus, IFIP WG 2.3 on Programming Methodology
  • Robert Griesemer – Go language
  • Ralph Griswold – SNOBOL
  • Bill Gropp – Message Short Interface, Portable, Extensible Toolkit financial assistance Scientific Computation (PETSc)
  • Tom Gruber – ontology engineering
  • Shelia Guberman – share recognition
  • Ramanathan V.

    Guha – Capability Description Framework (RDF), Netscape, RSS, Epinions

  • Neil J. Gunther – machine performance analysis, capacity planning
  • Jürg Gutknecht – with Niklaus Wirth: Lilith computer; Modula-2, Oberon, Zonnonprogramming languages; Oberon operating system
  • Michael Guy – Phoenix, work on number idea, computer algebra, higher dimension polyhedra theory; with John Horton Conway
  • Giri Topper - Topper of Anna University and Programmer

H

  • Nico Habermann – operating systems, software engineering, inter-process communication, process synchronization, deadlock abstention, software verification, programming languages: Binary 60, BLISS, Pascal, Ada
  • Philipp Matthäus Hahn – mechanical calculator
  • Eldon Maxim.

    Hall – Apollo Guidance Computer

  • Wendy Hall
  • Joseph Halpern
  • Margaret Hamilton – ultra-reliable software design, Apollo program leeway missions
  • Richard Hamming – Hamming rule, founder of the Association stake out Computing Machinery
  • Jiawei Han – string mining
  • Frank Harary – graph theory
  • Brian Harris – machine translation enquiry, Canada's first computer-assisted translation universally, natural translation theory, community rendition (Critical Link)
  • Juris Hartmanis – computational complexity theory
  • Johan Håstad – computational complexity theory
  • Les Hatton – package failure and vulnerabilities
  • Igor Hawryszkiewycz (born 1948) – American computer soul and organizational theorist
  • He Jifeng – provably correct systems
  • Eric Hehner – predicative programming, formal methods, duplicate notation, ALGOL
  • Martin Hellman – encryption
  • Gernot Heiser – operating system tutoring, research, commercialising, Open Kernel Labs, OKL4, Wombat
  • James Hendler – Essential Web
  • John L.

    Hennessy – figurer architecture

  • Andrew Herbert
  • Carl Hewitt
  • Kelsey Hightower – open source, cloud computing
  • Danny Hillis – Connection Machine
  • Geoffrey Hinton
  • Julia Hirschberg
  • Tin Kam Ho – artificial astuteness, machine learning
  • C.

    Giulio ricciarelli biography templates

    A. R. Hoare – logic, rigor, communicating ordered processes (CSP)

  • Louis Hodes (1934–2008) – Lisp, pattern recognition, logic programing, cancer research
  • Betty Holberton – ENIAC programmer, developed the first Class Merge Generator
  • John Henry Holland – genetic algorithms
  • Herman Hollerith (1860–1929) – invented recording of data energy a machine readable medium, serviceability punched cards
  • Gerard Holzmann – package verification, logic model checking (SPIN)
  • John Hopcroft – compilers
  • Admiral Grace Grasshopper (1906–1992) – developed early compilers: FLOW-Matic, COBOL; worked on UNIVAC; gave speeches on computer version, where she gave out nano-seconds
  • Eric Horvitz – artificial intelligence
  • Alston Householder
  • Paul Hudak (1952–2015) – Haskell sound design, textbooks on it forward computer music
  • David A.

    Huffman (1925–1999) – Huffman coding, used acquire data compression

  • John Hughes – combination computations with arrows; QuickCheck irregular program testing framework; Haskell articulation design
  • Roger Hui – co-created Document language
  • Watts Humphrey (1927–2010) – Individual Software Process (PSP), Software firstclass, Team Software Process (TSP)
  • Sandra Pedagogue (born 1946) – speech recognition

I

J

K

  • William Kahan – numerical analysis
  • Robert Dynasty.

    Kahn – TCP/IP

  • Avinash Kak – digital image processing
  • Poul-Henning Kamp – invented GBDE, FreeBSD Jails, Lacquer cache
  • David Karger
  • Richard Karp – NP-completeness
  • Narendra Karmarkar – Karmarkar's algorithm
  • Marek Karpinski – NP optimization problems
  • Ted Kaehler – Smalltalk, Squeak, HyperCard
  • Alan Water supply – Dynabook, Smalltalk, overlapping windows
  • Neeraj Kayal – AKS primality test
  • Manolis Kellis – computational biology
  • John Martyr Kemeny – the language BASIC
  • Ken Kennedy – compiling for favour and vector machines
  • Brian Kernighan (born 1942) – Unix, the 'k' in AWK
  • Carl Kesselman – interconnections computing
  • Gregor Kiczales – CLOS, rapt programming, aspect-oriented programming
  • Peter T.

    Kirstein – Internet

  • Stephen Cole Kleene – Kleene closure, recursion theory
  • Dan Analyst – Natural language processing, Norm translation
  • Leonard Kleinrock – ARPANET, queueing theory, packet switching, hierarchical routing
  • Donald Knuth – The Art warning sign Computer Programming, MIX/MMIX, TeX, belletristic programming
  • Andrew Koenig – C++
  • Daphne Koller – Artificial intelligence, bayesian network
  • Michael Kölling – BlueJ
  • Andrey Nikolaevich Kolmogorov – algorithmic complexity theory
  • Janet Acclamation.

    Kolodner – case-based reasoning

  • David Korn – KornShell
  • Kees Koster – Binary 68
  • Robert Kowalski – logic programming
  • John Koza – genetic programming
  • John Krogstie – SEQUAL framework
  • Joseph Kruskal – Kruskal's algorithm
  • Maarja Kruusmaa – submarine roboticist
  • Thomas E. Kurtz (1928–2024) – BASIC programming language; Dartmouth Institute computer professor

L

  • Richard E.

    Ladner

  • Monica Unrelenting. Lam
  • Leslie Lamport – algorithms undertake distributed computing, LaTeX
  • Butler Lampson – SDS 940, founding member Photocopy PARC, Xerox Alto, Turing Award
  • Peter Landin – ISWIM, J bus, SECD machine, off-side rule, grammar sugar, ALGOL, IFIP WG 2.1 member, advanced lambda calculus concord model programming languages (aided useful programming), denotational semantics
  • Tom Lane – Independent JPEG Group, PostgreSQL, Lightweight Network Graphics (PNG)
  • Börje Langefors
  • Chris Lattner – creator of Swift (programming language) and LLVM compiler infrastructure
  • Steve Lawrence
  • Edward D.

    Lazowska

  • Joshua Lederberg
  • Manny Assortment Lehman
  • Charles E. Leiserson – cache-oblivious algorithms, provably good work-stealing, author of Introduction to Algorithms
  • Douglas Lenat – artificial intelligence, Cyc
  • Yann LeCun
  • Rasmus Lerdorf – PHP
  • Max Levchin – Gausebeck–Levchin test and PayPal
  • Leonid Levin – computational complexity theory
  • Kevin Leyton-Brown – artificial intelligence
  • J.C.R.

    Licklider

  • David Liddle
  • Jochen Liedtke – microkerneloperating systemsEumel, L3, L4
  • John Lions – Lions' Elucidation on UNIX 6th Edition, work stoppage Source Code (Lions Book)
  • Charles Rotate. Lindsey – IFIP WG 2.1 member, Revised Report on Binary 68
  • Richard J. Lipton – computational complexity theory
  • Barbara Liskov – scheduling languages
  • Yanhong Annie Liu – training languages, algorithms, program design, announcement optimization, software systems, optimizing, study, and transformations, intelligent systems, encounter computing, computer security, IFIP WG 2.1 member
  • Darrell Long – pc data storage, computer security
  • Patricia Rotation.

    Lopez – broadening participation end in computing

  • Gillian Lovegrove
  • Ada Lovelace – lid programmer
  • David Luckham – Lisp, Machinecontrolled theorem proving, Stanford Pascal Protagonist, Complex event processing, Rational Package cofounder (Adacompiler)
  • Eugene Luks
  • Nancy Lynch

M

  • Nadia Magnenat Thalmann – computer graphics, take counsel with actor
  • Tom Maibaum
  • George Mallen – nifty computing, computer arts
  • Simon Marlow – Haskell developer, book author; co-developer: Glasgow Haskell Compiler, Haxl outlying data access library
  • Zohar Manna – fuzzy logic
  • James Martin – acquaintance engineering
  • Robert C.

    Martin (Uncle Bob) – software craftsmanship

  • John Mashey
  • Yuri Matiyasevich – solving Hilbert's tenth problem
  • Yukihiro Matsumoto – Ruby (programming language)
  • John Mauchly (1907–1980) – designed ENIAC, first general-purpose electronic digital personal computer, and EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with Jean Bartik philosophy ENIAC and Grace Murray Machine on UNIVAC
  • Ujjwal Maulik (born 1965) multi-objective clustering and Bioinformatics
  • Derek McAuley – ubiquitous computing, computer building, networking
  • Conor McBride – researches kidney theory, functional programming; cocreated Quip (programming language) with James McKinna; member IFIP Working Group 2.1 on Algorithmic Languages and Calculi
  • John McCarthy – Lisp (programming language), ALGOL, IFIP WG 2.1 contributor, artificial intelligence
  • Andrew McCallum
  • Douglas McIlroy – macros, pipes, Unix philosophy
  • Chris McKinstry – artificial intelligence, Mindpixel
  • Marshall Kirk McKusick – BSD, Berkeley Precise File System
  • Lambert Meertens – Binary 68, IFIP WG 2.1 shareholder, ABC (programming language)
  • Kurt Mehlhorn – algorithms, data structures, LEDA
  • Dora Metcalf – entrepreneur, engineer and mathematician
  • Bertrand Meyer – Eiffel (programming language)
  • Silvio Micali – cryptography
  • Robin Milner – ML (programming language)
  • Jack Minker – database logic
  • Marvin Minsky – madeup intelligence, perceptrons, Society of Mind
  • James G.

    Mitchell – WATFOR editor, Mesa (programming language), Spring (operating system), ARM architecture

  • Tom M. Mitchell
  • Arvind Mithal – formal verification get the picture large digital systems, developing powerful dataflow architectures, parallel computingprogramming languages (Id, pH), compiling on like machines
  • Paul Mockapetris – Domain Reputation System (DNS)
  • Cleve Moler – numeric analysis, MATLAB
  • Faron Moller – concurrence theory
  • John P.

    Moon – author, Apple Inc.

  • Charles H. Moore – Forth language
  • Edward F. Moore – Moore machine
  • Gordon Moore – Moore's law
  • J Strother Moore – data searching, ACL2 theorem prover
  • Roger Player – co-developed APL\360, created IPSANET, co-founded I. P. Sharp Associates
  • Hans Moravec – robotics
  • Carroll Morgan – formal methods
  • Robert Tappan Morris – Morris worm
  • Joel Moses – Macsyma
  • Rajeev Motwani – randomized algorithm
  • Oleg Practised.

    Mukhanov – quantum computing developer, co-founder and CTO of SeeQC

  • Stephen Muggleton – Inductive Logic Programming
  • Klaus-Robert Müller – machine learning, simulated intelligence
  • Alan Mycroft – programming languages
  • Brad A. Myers – human-computer interaction

N

  • Mihai Nadin – anticipation research
  • Makoto Nagao – machine translation, natural slang processing, digital library
  • Frieder Nake – pioneered computer arts
  • Bonnie Nardi – human–computer interaction
  • Peter Naur (1928–2016) – Backus–Naur form (BNF), ALGOL 60, IFIP WG 2.1 member
  • Roger Needham – computer security
  • James G.

    Nell – Generalised Enterprise Reference Building and Methodology (GERAM)

  • Greg Nelson (1953–2015) – satisfiability modulo theories, long static checking, program verification, Modula-3 committee, Simplify theorem prover conduct yourself ESC/Java
  • Bernard de Neumann – massively parallel autonomous cellular processor, package engineering research
  • Klara Dan von Mathematician (1911–1963) – early computers, ENIAC programmer and control designer
  • John von Neumann (1903–1957) – early computers, von Neumann machine, set assumption, functional analysis, mathematics pioneer, uncut programming, quantum mechanics
  • Allen Newell – artificial intelligence, Computer Structures
  • Max Prelate – Colossus computer, MADM
  • Andrew Disapprove – artificial intelligence, machine book-learning, robotics
  • Nils John Nilsson (1933–2019) – artificial intelligence
  • G.M.

    Nijssen – Nijssen's Information Analysis Methodology (NIAM) object–role modeling

  • Tobias Nipkow – proof assistance
  • Maurice Nivat – theoretical computer body of laws, Theoretical Computer Science journal, Binary, IFIP WG 2.1 member
  • Jerre Noe – computerized banking
  • Peter Nordin – artificial intelligence, genetic programming, evolutionary robotics
  • Donald Norman – user interfaces, usability
  • Peter Norvig – artificial rationalize, Director of Research at Google
  • George Novacky – University of Pittsburgh: assistant department chair, senior educator in computer science, assistant revivalist of CAS for undergraduate studies
  • Kristen Nygaard – Simula, object-oriented programming

O

P

  • Larry Page – co-founder of Google
  • Sankar Pal
  • Paritosh Pandya
  • Christos Papadimitriou
  • David Park (1935–1990) – first Lisp implementation, master in fairness, program schemas, bisimulation in concurrent computing
  • David Parnas – information hiding, modular programming
  • DJ Patil – former Chief Data Soul of United States
  • Yale Patt – Instruction-level parallelism, speculative architectures
  • David Patterson – reduced instruction set personal computer (RISC), RISC-V, redundant arrays cut into inexpensive disks (RAID), Berkeley Fabric of Workstations (NOW)
  • Mike Paterson – algorithms, analysis of algorithms (complexity)
  • Mihai Pătraşcu – data structures
  • Lawrence Paulson – ML
  • Randy Pausch (1960–2008) – human–computer interaction, Carnegie professor, "Last Lecture"
  • Juan Pavón – software agents
  • Judea Pearl – artificial intelligence, give something the once-over algorithms
  • Alan Perlis – Programming Pearls
  • Radia Perlman – spanning tree protocol
  • Pier Giorgio Perotto – computer author at Olivetti, designer of illustriousness Programma 101programmable calculator
  • Rózsa Péter – recursive function theory
  • Simon Peyton Designer – functional programming, Glasgow Haskell Compiler, C--
  • Kathy Pham – folder, artificial intelligence, civic technology, aid, ethics
  • Roberto Pieraccini – speech soul, engineering director at Google
  • Keshav Pingali – IEEE Computer Society Physicist Babbage Award, ACM Fellow (2012)
  • Gordon Plotkin
  • Amir Pnueli – temporal logic
  • Willem van der Poel – figurer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games
  • Robin Popplestone – COWSEL (renamed POP-1), POP-2, POP-11 languages, PoplogIDE; Freddy II robot
  • Cicely Popplewell (1920–1995) – British software engineer in 1960s
  • Emil Post – mathematics
  • Jon Postel – Internet
  • Franco Preparata – computer campaign, computational geometry, parallel algorithms, computational biology
  • William H.

    Press – quantitative algorithms

R

  • Rapelang Rabana
  • Grzegorz Rozenberg – unfilled computing, automata theory, graph transformations and concurrent systems
  • Michael O. Rabin – nondeterministic machine
  • Dragomir R. Radev – natural language processing, ideas retrieval
  • T. V. Raman – contiguity, Emacspeak
  • Brian Randell – ALGOL 60, software fault tolerance, dependability, pre-1950 history of computing hardware
  • Anders Holder.

    Ravn – Duration Calculus

  • Raj Reddy – artificial intelligence
  • David P. Reed
  • Trygve Reenskaug – model–view–controller (MVC) code architecture pattern
  • John C. Reynolds – continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, ever-changing lambda calculus, relational parametricity, disconnection logic, ALGOL
  • Joyce K.

    Reynolds – Internet

  • Reinder van de Riet – Editor: Europe of Data distinguished Knowledge Engineering, COLOR-X event molding language
  • Bernard Richards – medical informatics
  • Martin Richards – BCPL
  • Adam Riese
  • C. Document. van Rijsbergen
  • Dennis Ritchie – Proverbial saying (programming language), Unix
  • Ron Rivest – RSA, MD5, RC4
  • Ken Robinson – formal methods
  • Colette Rolland – Acanthopterygian methodology, meta modelling
  • John Romero – codeveloped Doom
  • Azriel Rosenfeld
  • Douglas T.

    Doc – Automatically Programmed Tools (APT), Computer-aided design, structured analysis playing field design technique, ALGOL X

  • Guido car Rossum – Python (programming language)
  • M. A. Rothman – UEFI
  • Winston Unguarded. Royce – waterfall model
  • Rudy Rucker – mathematician, writer, educator
  • Steven Rudich – complexity theory, cryptography
  • Jeff Rulifson
  • James Rumbaugh – Unified Modeling Words, Object Management Group
  • Peter Ružička – Slovak computer scientist and mathematician

S

  • George Sadowsky
  • Mehrnoosh Sadrzadeh – compositional models of meaning, machine learning
  • Umar Saif
  • Gerard Salton – information retrieval
  • Jean Heritage.

    Sammet – programming languages

  • Claude Sammut – artificial intelligence researcher
  • Carl Sassenrath – operating systems, programming languages, Amiga, REBOL
  • Mahadev Satyanarayanan – debase systems, distributed systems, mobile computation, pervasive computing
  • Walter Savitch – finding of complexity class NL, Savitch's theorem, natural language processing, arithmetical linguistics
  • Nitin Saxena – AKS Primality test for polynomial time primality testing, computational complexity theory
  • Jonathan Schaeffer
  • Wilhelm Schickard – one of rendering first calculating machines
  • Jürgen Schmidhuber – artificial intelligence, deep learning, synthetic neural networks, recurrent neural networks, Gödel machine, artificial curiosity, meta-learning
  • Steve Schneider – formal methods, security
  • Bruce Schneier – cryptography, security
  • Fred Hazardous.

    Schneider – concurrent and settle computing

  • Sarita Schoenebeck – human–computer interaction
  • Glenda Schroeder
  • Bernhard Schölkopf – machine education, artificial intelligence
  • Dana Scott – patch theory
  • Michael L. Scott – brainwashing languages, algorithms, distributed computing
  • Robert Sedgewick – algorithms, data structures
  • Ravi Sethi – compilers, 2nd Dragon Book
  • Nigel Shadbolt
  • Adi Shamir – RSA, cryptanalysis
  • Claude Shannon – information theory
  • David Line.

    Shaw – computational finance, computational biochemistry, parallel architectures

  • Cliff Shaw – systems programmer, artificial intelligence
  • Scott Shenker – networking
  • Shashi Shekhar – abstraction computing
  • Ben Shneiderman – human–computer transmission, information visualization
  • Edward H.

    Shortliffe – MYCIN (medical diagnostic expert system)

  • Daniel Siewiorek – electronic design mechanisation, reliability computing, context awaremobile calculation, wearable computing, computer-aided design, fast prototyping, fault tolerance
  • Joseph Sifakis – model checking
  • Herbert A. Simon – artificial intelligence
  • Munindar P.

    Singh – multiagent systems, software engineering, unnatural intelligence, social networks

  • Ramesh Sitaraman – helped build Akamai's high background network
  • Daniel Sleator – splay root, amortized analysis
  • Aaron Sloman – untruthful intelligence and cognitive science
  • Arne Sølvberg – information modelling
  • Brian Cantwell Mormon – reflective programming, 3lisp
  • David Canfield Smith – invented interface icons, programming by demonstration, developed illustration user interface, Xerox Star; Photocopy PARC researcher, cofounded Dest Systems, Cognition
  • Steven Spewak – enterprise structure planning
  • Carol Spradling
  • Robert Sproull
  • Rohini Kesavan Srihari – information retrieval, text analytics, multilingual text mining
  • Sargur Srihari – pattern recognition, machine learning, computational criminology, CEDAR-FOX
  • Maciej Stachowiak – Maxim, Safari, WebKit
  • Richard Stallman (born 1953) – GNU Project
  • Ronald Stamper
  • Thad Starner
  • Richard E.

    Stearns – computational ambiguity theory

  • Guy L. Steele, Jr. – Scheme, Common Lisp
  • Thomas Sterling – creator of Beowulf clusters
  • Alexander Stepanov – generic programming
  • W. Richard Poet (1951–1999) – author of books, including TCP/IP Illustrated and Advanced Programming in the Unix Environment
  • Larry Stockmeyer – computational complexity, up computing
  • Salvatore Stolfo – computer safe keeping, machine learning
  • Michael Stonebraker – relational database practice and theory
  • Olaf Storaasli – finite element machine, equitable algebra, high performance computing
  • Christopher Biographer – denotational semantics
  • Volker Strassen – matrix multiplication, integer multiplication, Solovay–Strassen primality test
  • Bjarne Stroustrup – C++
  • Madhu Sudan – computational complexity inkling, coding theory
  • Gerald Jay Sussman – Scheme
  • Bert Sutherland – graphics, Internet
  • Ivan Sutherland – graphics
  • Latanya Sweeney – data privacy and algorithmic fairness
  • Mario Szegedy – complexity theory, quantum computing

T

  • Parisa Tabriz – Google Controller of Engineering, also known considerably the Security Princess
  • Roberto Tamassia – computational geometry, computer security
  • Andrew Uncompassionate.

    Tanenbaum – operating systems, MINIX

  • Austin Tate – Artificial Intelligence Applications, AI Planning, Virtual Worlds
  • Bernhard Thalheim – conceptual modelling foundation
  • Éva Tardos
  • Gábor Tardos
  • Robert Tarjan – splay tree
  • Valerie Taylor
  • Mario Tchou – Italian designer, of Chinese descent, leader ensnare Olivetti Elea project
  • Jaime Teevan
  • Shang-Hua Teng – analysis of algorithms
  • Larry Tesler – human–computer interaction, graphical drug interface, Apple Macintosh
  • Avie Tevanian – Mach kernel team, NeXT, Mac OS X
  • Charles P.

    Thacker – Xerox Alto, Microsoft Research

  • Daniel Thalmann – computer graphics, virtual actor
  • Ken Thompson – mainly designed enthralled authored Unix, Plan 9 captain Inferno operating systems, B courier Bon languages (precursors of C), created UTF-8 character encoding, not native bizarre regular expressions in QED, co-authored Go language
  • Simon Thompson – serviceable programming research, textbooks; Cardanodomain-specific languages: Marlowe
  • Sebastian Thrun – AI campaigner, pioneered autonomous driving
  • Walter F.

    Tichy – RCS

  • Seinosuke Toda – calculation complexity, recipient of 1998 Gödel Prize
  • Chai Keong Toh – travelling ad hoc networks pioneer
  • Linus Torvalds – Linux kernel, Git
  • Leonardo Torres Quevedo (1852–1936) – invented Minimal Ajedrecista (the chess player) hold 1912, a true automaton description to play chess without individual guidance.

    In his work Essays on Automatics (1913), introduced grandeur idea of floating-point arithmetic. Squash up 1920, built an early electromechanical device of the Analytical Engine.

  • Godfried Toussaint – computational geometry, computational music theory
  • Gloria Townsend
  • Edwin E. Tozer – business information systems
  • Joseph Absolute ruler Traub – computational complexity break into scientific problems
  • John V.

    Tucker – computability theory

  • John Tukey – settler developer of FFT algorithm, box story line, exploratory data analysis and Imitation the term 'bit'
  • Alan Turing (1912–1954) – British computing pioneer, Mathematician machine, algorithms, cryptology, computer architecture
  • David Turner – SASL, Kent Recursive Calculator, Miranda, IFIP WG 2.1 member
  • Murray Turoff – computer-mediated communication

U

V

  • Leslie Valiant – computational complexity view, computational learning theory
  • Vladimir Vapnik – pattern recognition, computational learning theory
  • Moshe Vardi – professor of figurer science at Rice University
  • Dorothy Vaughan
  • Bernard Vauquois – pioneered computer study in France, machine translation (MT) theory and practice including Vauquois triangle, ALGOL 60
  • Umesh Vazirani
  • Manuela Classification.

    Veloso

  • François Vernadat – enterprise modeling
  • Richard Veryard – enterprise modeling
  • Sergiy Vilkomir – software testing, RC/DC
  • Paul Vitanyi – Kolmogorov complexity, Information dash, Normalized compression distance, Normalized Msn distance
  • Andrew Viterbi – Viterbi algorithm
  • Jeffrey Scott Vitter – external thought algorithms, compressed data structures, string compression, databases
  • Paul Vixie – DNS, BIND, PAIX, Internet Software Group, MAPS, DNSBL

W

  • Eiiti Wada – Binary N, IFIP WG 2.1 associate, Japanese Industrial Standards (JIS) Report register 0208, 0212, Happy Hacking Keyboard
  • David Wagner – security, cryptography
  • David Waltz
  • James Z.

    Wang

  • Steve Ward
  • Manfred K. Warmuth – computational learning theory
  • David About. D. Warren – AI, case programming, Prolog, Warren Abstract The death sentence (WAM)
  • Kevin Warwick – artificial intelligence
  • Jan Weglarz
  • Philip Wadler – functional training, Haskell, Monad, Java, logic
  • Peter Wegner – object-oriented programming, interaction (computer science)
  • Joseph Henry Wegstein – Binary 58, ALGOL 60, IFIP WG 2.1 member, data processingtechnical jus divinum \'divine law\', fingerprint analysis
  • Peter J.

    Weinberger – programming language design, the 'w' in AWK

  • Mark Weiser – everpresent computing
  • Joseph Weizenbaum – artificial brains, ELIZA
  • David Wheeler – EDSAC, subroutines
  • Franklin H. Westervelt – use unmoving computers in engineering education, colloquial use of computers, Michigan Extreme System (MTS), ARPANET, distance learning
  • Steve Whittaker – human computer electronic post, computer support for cooperative uncalledfor, social media
  • Jennifer Widom – untraditional data management
  • Gio Wiederhold – database management systems
  • Norbert Wiener – Cybernetics
  • Adriaan van Wijngaarden – Dutch pioneer; ARRA, ALGOL, IFIP WG 2.1 member
  • Mary Allen Wilkes – LINC developer, assembler-linker designer
  • Maurice Vincent Reformist – microprogramming, EDSAC
  • Yorick Wilks – computational linguistics, artificial intelligence
  • James Whirl.

    Wilkinson – numerical analysis

  • Sophie Physicist – ARM architecture
  • Shmuel Winograd – Coppersmith–Winograd algorithm
  • Terry Winograd – thespian actorly intelligence, SHRDLU
  • Patrick Winston – thespian actorly intelligence
  • Niklaus Wirth – ALGOL Powerless, IFIP WG 2.1 member, Mathematician, Modula, Oberon
  • Neil Wiseman – pc graphics
  • Dennis E.

    Wisnosky – Organized Computer-Aided Manufacturing (ICAM), IDEF

  • Stephen Metal – Mathematica
  • Mike Woodger – Flier ACE, ALGOL 60, Ada (programming language)
  • Philip Woodward – ambiguity utility, sinc function, comb operator, representative operator, ALGOL 68-R
  • Beatrice Helen Worsley – wrote the first PhD dissertation involving modern computers; was one of the people who wrote Transcode
  • Steve Wozniak – sham first generation personal computers conclude Apple Computer
  • Jie Wu – pc networks
  • William Wulf – BLISSsystem programing language + optimizing compiler, Hydraoperating system, Tartan Laboratories

Y

Z

See also

Copyright ©juganger.bekall.edu.pl 2025