Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Download
Faster access than browser!
 

List of pioneers in computer science

Index List of pioneers in computer science

This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do. [1]

345 relations: Abstract family of languages, Ada Lovelace, Adriaan van Wijngaarden, Affective computing, Akira Nakashima, Alan Kay, Alan Perlis, Alan Turing, Alfred North Whitehead, ALGOL, ALGOL 60, ALGOL 68, Algorism, Algorithm, Alonzo Church, An Wang, Analog computer, Analytical Engine, André Truong Trong Thi, APL (programming language), Arithmetic, Artificial intelligence, Assembly language, Association for Computing Machinery, Astronomical clock, Atanasoff–Berry computer, Automatic Computing Engine, B (programming language), Backus–Naur form, Banū Mūsā, Barbara J. Grosz, Barbara Liskov, Bertrand Russell, Betty Holberton, Big O notation, BINAC, Bit array, Bjarne Stroustrup, Blaise Pascal, Bletchley Park, Bob Kahn, Book of Ingenious Devices, Boolean algebra, Bridging (networking), Busicom, C (programming language), Calculator, Calculus ratiocinator, Central processing unit, Chai Keong Toh, ..., Charles Babbage, Chomsky hierarchy, Claude Shannon, Clock tower, COBOL, Colossus computer, Communicating sequential processes, Communication protocol, Compiler, Computability theory, Computational complexity theory, Computer, Computer network, Computer Pioneer Award, Computer programming, Computer science, Computing Machine Laboratory, Considered harmful, Consistency, Control flow graph, Cooley–Tukey FFT algorithm, Corollary, Corrado Böhm, Cuthbert Hurd, Cybernetics, Data processing, Data type, Database, David Caminer, Deep Blue (chess computer), Deep Thought (chess computer), Dennis Ritchie, Desktop computer, Difference engine, Digital electronics, Digital Equipment Corporation, Discourse, Distributed computing, Domain Name System, Don't-care term, Donald Knuth, Douglas Engelbart, E. Allen Emerson, Edgar F. Codd, Edmund M. Clarke, Edsger W. Dijkstra, EDVAC, Edward J. McCluskey, Electronic delay storage automatic calculator, Electronics, Elizabeth J. Feinler, Emil Leon Post, ENIAC, Error correction code, Federico Faggin, Feng-hsiung Hsu, First-order logic, Floppy disk, Flute, FORMAC, Formal language, Fortran, François Gernelle, Frances E. Allen, Fred Brooks, FTC fair information practice, Functional programming, Garry Kasparov, General Problem Solver, George Boole, Gerard Salton, Giuseppe Peano, GNU Project, Go (programming language), Goto, Gottfried Wilhelm Leibniz, Gottlob Frege, Grace Hopper, Grace Murray Hopper Award, Graphical user interface, Hamming bound, Hamming code, Hamming distance, Harvard Mark I, Harvard University, Herbert A. Simon, Herman Hollerith, Hindu–Arabic numeral system, History (U.S. TV network), History of computing hardware, Hoare logic, Howard H. Aiken, Humanoid robot, Hypertext, IBM, IBM 701, IBM System/360, IEEE John von Neumann Medal, IEEE Xplore, Information retrieval, Information theory, Institute of Physics, Intel, Intel 4004, Intel 8080, Intel 8251, Intel 8253, Intel 8255, Intel 8257, Intel 8259, Internet, Internet Protocol, Internet protocol suite, Inverted index, Ismail al-Jazari, Ivan Sutherland, J. C. R. Licklider, J. Lyons and Co., J. Presper Eckert, Jacek Karpiński, Jacquard loom, James Cooley, Jean E. Sammet, Jim Gray (computer scientist), John Backus, John Mauchly, John McCarthy (computer scientist), John Pinkerton (computer designer), John Tukey, John Vincent Atanasoff, John von Neumann, JOHNNIAC, Joseph Marie Jacquard, K-202, Karen Spärck Jones, Karnaugh map, Kathleen Booth, Ken Thompson, Kenneth E. Iverson, Kernel (operating system), Konrad Zuse, Kristen Nygaard, Kurt Gödel, Lambda calculus, Lamport timestamps, Lamport's bakery algorithm, LaTeX, LEO (computer), Leslie Lamport, LINC, Linguistics, Linus Torvalds, Linux kernel, Liquid-crystal display, Liskov substitution principle, Lisp (programming language), List of computer scientists, List of Russian IT developers, List of Women in Technology International Hall of Fame inductees, Logic gate, Logic Theorist, Lynn Conway, Magnetic core, Magnetic storage, Mainframe sort merge, Manchester Baby, Margaret Hamilton (scientist), Marvin Minsky, Masatoshi Shima, Massachusetts Institute of Technology, Mathematical logic, Maurice Karnaugh, Maurice Wilkes, Max Newman, Mechanical calculator, Memex, MESM, Michael Stonebraker, Micral, Microkernel, Microprocessor, MIT Computer Science and Artificial Intelligence Laboratory, Model checking, Modula-2, Monitor (synchronization), Muhammad ibn Musa al-Khwarizmi, Multi-agent system, Music sequencer, NEC, Nick McKeown, Niklaus Wirth, Nippon Columbia, Noam Chomsky, Oberon (programming language), Object-oriented programming, Ole-Johan Dahl, OS/360 and successors, Pascal (programming language), Pāṇini, Per Brinch Hansen, Personal computer, Peter Naur, Pier Giorgio Perotto, Plan 9 from Bell Labs, Plankalkül, Post correspondence problem, Post's theorem, Post–Turing machine, Principia Mathematica, Privacy Act of 1974, Program (machine), Programma 101, Programming language, Programming language theory, Queen Anne Press, Quicksort, Radia Perlman, Ramon Llull, Rózsa Péter, RC 4000 multiprogramming system, Recursion, Regular number, Relational database, Relational model, Remote procedure call, Richard Hamming, Richard Stallman, Robert Cailliau, Rosalind Picard, Sally Floyd, Sanskrit grammar, Saul Rosen, Semantics (computer science), Semaphore (programming), Sergey Lebedev (scientist), Seymour Ginsburg, Sharp Corporation, Simula, Sketchpad, Smalltalk, Software-defined networking, Spanning Tree Protocol, Speech synthesis, Sphere packing, Stephen Cole Kleene, Stephen Cook, Stored-program computer, Structured programming, Superscalar processor, Susan L. Graham, Switching circuit theory, Syntax, Tadashi Sasaki (engineer), TeX, The Art of Computer Programming, The Mythical Man-Month, Tim Berners-Lee, Timeline of computing, Tommy Flowers, Tony Hoare, Transaction processing, Transformation (function), Transmission Control Protocol, Truth function, Truth table, Turing Award, Turing completeness, Turing machine, Type system, Type theory, Undecidable problem, UNIVAC, UNIVAC I, University of Manchester, University of Tokyo, Unix, UTF-8, Van Wijngaarden grammar, Vannevar Bush, Vector space model, Vint Cerf, Virtual Museum of Computing, Von Neumann architecture, Wesley A. Clark, Whirlwind I, Willis Ware, Women in computing, World Chess Championship, World Wide Web, Yoshiro Nakamatsu, Z1 (computer), Z3 (computer), Z4 (computer), Zilog Z80, Zilog Z8000. Expand index (295 more) »

Abstract family of languages

In computer science, in particular in the field of formal language theory, the term abstract family of languages refers to an abstract mathematical notion generalizing characteristics common to the regular languages, the context-free languages and the recursively enumerable languages, and other families of formal languages studied in the scientific literature.

New!!: List of pioneers in computer science and Abstract family of languages · See more »

Ada Lovelace

Augusta Ada King-Noel, Countess of Lovelace (née Byron; 10 December 1815 – 27 November 1852) was an English mathematician and writer, chiefly known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine.

New!!: List of pioneers in computer science and Ada Lovelace · See more »

Adriaan van Wijngaarden

Adriaan "Aad" van Wijngaarden (2 November 1916 – 7 February 1987) was a Dutch mathematician and computer scientist, who is considered by many to have been the founding father of informatica (computer science) in the Netherlands.

New!!: List of pioneers in computer science and Adriaan van Wijngaarden · See more »

Affective computing

Affective computing (sometimes called artificial emotional intelligence, or emotion AI) is the study and development of systems and devices that can recognize, interpret, process, and simulate human affects.

New!!: List of pioneers in computer science and Affective computing · See more »

Akira Nakashima

Akira Nakashima was the NEC engineer who introduced switching circuit theory in papers from 1934 to 1936,Radomir S. Stanković (University of Niš), Jaakko T. Astola (Tampere University of Technology), Mark G. Karpovsky (Boston University),, 2007, DOI 10.1.1.66.1248Radomir S. Stanković, Jaakko Astola (2008),, TICSP Series #40, Tampere International Center for Signal Processing, Tampere University of Technology laying the foundations for digital circuit design, in digital computers and other areas of modern technology.

New!!: List of pioneers in computer science and Akira Nakashima · See more »

Alan Kay

Alan Curtis Kay (born May 17, 1940 published by the Association for Computing Machinery 2012) is an American computer scientist.

New!!: List of pioneers in computer science and Alan Kay · See more »

Alan Perlis

Alan Jay Perlis (April 1, 1922 – February 7, 1990) was an American computer scientist and professor at Purdue University, Carnegie Mellon University and Yale University.

New!!: List of pioneers in computer science and Alan Perlis · See more »

Alan Turing

Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.

New!!: List of pioneers in computer science and Alan Turing · See more »

Alfred North Whitehead

Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.

New!!: List of pioneers in computer science and Alfred North Whitehead · See more »

ALGOL

ALGOL (short for "Algorithmic Language") is a family of imperative computer programming languages, originally developed in the mid-1950s, which greatly influenced many other languages and was the standard method for algorithm description used by the ACM in textbooks and academic sources for more than thirty years.

New!!: List of pioneers in computer science and ALGOL · See more »

ALGOL 60

ALGOL 60 (short for Algorithmic Language 1960) is a member of the ALGOL family of computer programming languages.

New!!: List of pioneers in computer science and ALGOL 60 · See more »

ALGOL 68

ALGOL 68 (short for Algorithmic Language 1968) is an imperative computer programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously defined syntax and semantics.

New!!: List of pioneers in computer science and ALGOL 68 · See more »

Algorism

Algorism is the technique of performing basic arithmetic by writing numbers in place value form and applying a set of memorized rules and facts to the digits.

New!!: List of pioneers in computer science and Algorism · See more »

Algorithm

In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.

New!!: List of pioneers in computer science and Algorithm · See more »

Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.

New!!: List of pioneers in computer science and Alonzo Church · See more »

An Wang

An Wang (February 7, 1920 – March 24, 1990) was a Chinese–American computer engineer and inventor, and co-founder of computer company Wang Laboratories, which was known primarily for its dedicated word processing machines.

New!!: List of pioneers in computer science and An Wang · See more »

Analog computer

An analog computer or analogue computer is a form of computer that uses the continuously changeable aspects of physical phenomena such as electrical, mechanical, or hydraulic quantities to model the problem being solved.

New!!: List of pioneers in computer science and Analog computer · See more »

Analytical Engine

The Analytical Engine was a proposed mechanical general-purpose computer designed by English mathematician and computer pioneer Charles Babbage.

New!!: List of pioneers in computer science and Analytical Engine · See more »

André Truong Trong Thi

André Trương Trọng Thi (1936–2005) was a Vietnamese-French engineer.

New!!: List of pioneers in computer science and André Truong Trong Thi · See more »

APL (programming language)

APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson.

New!!: List of pioneers in computer science and APL (programming language) · See more »

Arithmetic

Arithmetic (from the Greek ἀριθμός arithmos, "number") is a branch of mathematics that consists of the study of numbers, especially the properties of the traditional operations on them—addition, subtraction, multiplication and division.

New!!: List of pioneers in computer science and Arithmetic · See more »

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

New!!: List of pioneers in computer science and Artificial intelligence · See more »

Assembly language

An assembly (or assembler) language, often abbreviated asm, is a low-level programming language, in which there is a very strong (but often not one-to-one) correspondence between the assembly program statements and the architecture's machine code instructions.

New!!: List of pioneers in computer science and Assembly language · See more »

Association for Computing Machinery

The Association for Computing Machinery (ACM) is an international learned society for computing.

New!!: List of pioneers in computer science and Association for Computing Machinery · See more »

Astronomical clock

An astronomical clock is a clock with special mechanisms and dials to display astronomical information, such as the relative positions of the sun, moon, zodiacal constellations, and sometimes major planets.

New!!: List of pioneers in computer science and Astronomical clock · See more »

Atanasoff–Berry computer

The Atanasoff–Berry Computer (ABC) was the first automatic electronic digital computer, an early electronic digital computing device that has remained somewhat obscure.

New!!: List of pioneers in computer science and Atanasoff–Berry computer · See more »

Automatic Computing Engine

The Automatic Computing Engine (ACE) was an early electronic stored-program computer designed by Alan Turing.

New!!: List of pioneers in computer science and Automatic Computing Engine · See more »

B (programming language)

B is a programming language developed at Bell Labs circa 1969.

New!!: List of pioneers in computer science and B (programming language) · See more »

Backus–Naur form

In computer science, Backus–Naur form or Backus normal form (BNF) is a notation technique for context-free grammars, often used to describe the syntax of languages used in computing, such as computer programming languages, document formats, instruction sets and communication protocols.

New!!: List of pioneers in computer science and Backus–Naur form · See more »

Banū Mūsā

The Banū Mūsā brothers ("Sons of Moses"), namely Abū Jaʿfar, Muḥammad ibn Mūsā ibn Shākir (before 803 – February 873), Abū al‐Qāsim, Aḥmad ibn Mūsā ibn Shākir (d. 9th century) and Al-Ḥasan ibn Mūsā ibn Shākir (d. 9th century), were three 9th-century scholars who lived and worked in Baghdad.

New!!: List of pioneers in computer science and Banū Mūsā · See more »

Barbara J. Grosz

Barbara J. Grosz CorrFRSE is the Higgins Professor of Natural Sciences at Harvard University.

New!!: List of pioneers in computer science and Barbara J. Grosz · See more »

Barbara Liskov

Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department.

New!!: List of pioneers in computer science and Barbara Liskov · See more »

Bertrand Russell

Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.

New!!: List of pioneers in computer science and Bertrand Russell · See more »

Betty Holberton

Frances Elizabeth "Betty" Holberton (March 7, 1917 – December 8, 2001) was one of the six original programmers of ENIAC, the first general-purpose electronic digital computer, and was the inventor of breakpoints in computer debugging.

New!!: List of pioneers in computer science and Betty Holberton · See more »

Big O notation

Big O notation is a mathematical notation that describes the limiting behaviour of a function when the argument tends towards a particular value or infinity.

New!!: List of pioneers in computer science and Big O notation · See more »

BINAC

BINAC (Binary Automatic Computer) was an early electronic computer designed for Northrop Aircraft Company by the Eckert–Mauchly Computer Corporation (EMCC) in 1949.

New!!: List of pioneers in computer science and BINAC · See more »

Bit array

A bit array (also known as bit map, bit set, bit string, or bit vector) is an array data structure that compactly stores bits.

New!!: List of pioneers in computer science and Bit array · See more »

Bjarne Stroustrup

Bjarne Stroustrup (born 30 December 1950) is a Danish computer scientist, who is most notable for the creation and development of the widely used C++ programming language.

New!!: List of pioneers in computer science and Bjarne Stroustrup · See more »

Blaise Pascal

Blaise Pascal (19 June 1623 – 19 August 1662) was a French mathematician, physicist, inventor, writer and Catholic theologian.

New!!: List of pioneers in computer science and Blaise Pascal · See more »

Bletchley Park

Bletchley Park was the central site for British (and subsequently, Allied) codebreakers during World War II.

New!!: List of pioneers in computer science and Bletchley Park · See more »

Bob Kahn

Robert Elliot Kahn (born December 23, 1938) is an American electrical engineer, who, along with Vint Cerf, invented the Transmission Control Protocol (TCP) and the Internet Protocol (IP), the fundamental communication protocols at the heart of the Internet.

New!!: List of pioneers in computer science and Bob Kahn · See more »

Book of Ingenious Devices

The Book of Ingenious Devices (Arabic: كتاب الحيل Kitab al-Hiyal, literally: "The Book of Tricks") was a large illustrated work on mechanical devices, including automata, published in 850 by the three Iraqi brothers of Persian descent, known as the Banu Musa (Ahmad, Muhammad and Hasan bin Musa ibn Shakir) working at the House of Wisdom (Bayt al-Hikma) in Baghdad, Iraq, under the Abbasid Caliphate.

New!!: List of pioneers in computer science and Book of Ingenious Devices · See more »

Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: List of pioneers in computer science and Boolean algebra · See more »

Bridging (networking)

A network bridge is a computer networking device that creates a single aggregate network from multiple communication networks or network segments.

New!!: List of pioneers in computer science and Bridging (networking) · See more »

Busicom

Busicom was a Japanese company that owned the rights to Intel's first microprocessor, the Intel 4004, which they created in partnership with Intel in 1970.

New!!: List of pioneers in computer science and Busicom · See more »

C (programming language)

C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

New!!: List of pioneers in computer science and C (programming language) · See more »

Calculator

An electronic calculator is typically a portable electronic device used to perform calculations, ranging from basic arithmetic to complex mathematics.

New!!: List of pioneers in computer science and Calculator · See more »

Calculus ratiocinator

The Calculus ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis, a universal conceptual language.

New!!: List of pioneers in computer science and Calculus ratiocinator · See more »

Central processing unit

A central processing unit (CPU) is the electronic circuitry within a computer that carries out the instructions of a computer program by performing the basic arithmetic, logical, control and input/output (I/O) operations specified by the instructions.

New!!: List of pioneers in computer science and Central processing unit · See more »

Chai Keong Toh

Chai Keong "C.K." Toh is a Singapore-born computer scientist, engineer, professor, and chief technology officer.

New!!: List of pioneers in computer science and Chai Keong Toh · See more »

Charles Babbage

Charles Babbage (26 December 1791 – 18 October 1871) was an English polymath.

New!!: List of pioneers in computer science and Charles Babbage · See more »

Chomsky hierarchy

In the formal languages of computer science and linguistics, the Chomsky hierarchy (occasionally referred to as Chomsky–Schützenberger hierarchy) is a containment hierarchy of classes of formal grammars.

New!!: List of pioneers in computer science and Chomsky hierarchy · See more »

Claude Shannon

Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electrical engineer, and cryptographer known as "the father of information theory".

New!!: List of pioneers in computer science and Claude Shannon · See more »

Clock tower

Clock towers are a specific type of building which houses a turret clock and has one or more clock faces on the upper exterior walls.

New!!: List of pioneers in computer science and Clock tower · See more »

COBOL

COBOL (an acronym for "common business-oriented language") is a compiled English-like computer programming language designed for business use.

New!!: List of pioneers in computer science and COBOL · See more »

Colossus computer

Colossus was a set of computers developed by British codebreakers in the years 1943–1945 to help in the cryptanalysis of the Lorenz cipher.

New!!: List of pioneers in computer science and Colossus computer · See more »

Communicating sequential processes

In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.

New!!: List of pioneers in computer science and Communicating sequential processes · See more »

Communication protocol

In telecommunication, a communication protocol is a system of rules that allow two or more entities of a communications system to transmit information via any kind of variation of a physical quantity.

New!!: List of pioneers in computer science and Communication protocol · See more »

Compiler

A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).

New!!: List of pioneers in computer science and Compiler · See more »

Computability theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

New!!: List of pioneers in computer science and Computability theory · See more »

Computational complexity theory

Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.

New!!: List of pioneers in computer science and Computational complexity theory · See more »

Computer

A computer is a device that can be instructed to carry out sequences of arithmetic or logical operations automatically via computer programming.

New!!: List of pioneers in computer science and Computer · See more »

Computer network

A computer network, or data network, is a digital telecommunications network which allows nodes to share resources.

New!!: List of pioneers in computer science and Computer network · See more »

Computer Pioneer Award

The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry.

New!!: List of pioneers in computer science and Computer Pioneer Award · See more »

Computer programming

Computer programming is the process of building and designing an executable computer program for accomplishing a specific computing task.

New!!: List of pioneers in computer science and Computer programming · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: List of pioneers in computer science and Computer science · See more »

Computing Machine Laboratory

The Computing Machine Laboratory at the University of Manchester in the north of England was established by Max Newman shortly after the end of World War II, around 1946.

New!!: List of pioneers in computer science and Computing Machine Laboratory · See more »

Considered harmful

Considered harmful is a part of a phrasal template used in the titles of at least 65 critical essays in computer science and related disciplines.

New!!: List of pioneers in computer science and Considered harmful · See more »

Consistency

In classical deductive logic, a consistent theory is one that does not contain a contradiction.

New!!: List of pioneers in computer science and Consistency · See more »

Control flow graph

A control flow graph (CFG) in computer science is a representation, using graph notation, of all paths that might be traversed through a program during its execution.

New!!: List of pioneers in computer science and Control flow graph · See more »

Cooley–Tukey FFT algorithm

The Cooley–Tukey algorithm, named after J. W. Cooley and John Tukey, is the most common fast Fourier transform (FFT) algorithm.

New!!: List of pioneers in computer science and Cooley–Tukey FFT algorithm · See more »

Corollary

A corollary is a statement that follows readily from a previous statement.

New!!: List of pioneers in computer science and Corollary · See more »

Corrado Böhm

Corrado Böhm (17 January 1923 – 23 October 2017) was a Professor Emeritus at the University of Rome "La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages.

New!!: List of pioneers in computer science and Corrado Böhm · See more »

Cuthbert Hurd

Cuthbert Corwin Hurd (April 5, 1911 – May 22, 1996) was an American computer scientist and entrepreneur, who was instrumental in helping the International Business Machines Corporation develop its first general-purpose computers.

New!!: List of pioneers in computer science and Cuthbert Hurd · See more »

Cybernetics

Cybernetics is a transdisciplinary approach for exploring regulatory systems—their structures, constraints, and possibilities.

New!!: List of pioneers in computer science and Cybernetics · See more »

Data processing

Data processing is, generally, "the collection and manipulation of items of data to produce meaningful information." In this sense it can be considered a subset of information processing, "the change (processing) of information in any manner detectable by an observer." Data processing is distinct from word processing, which is manipulation of text specifically rather than data generally.

New!!: List of pioneers in computer science and Data processing · See more »

Data type

In computer science and computer programming, a data type or simply type is a classification of data which tells the compiler or interpreter how the programmer intends to use the data.

New!!: List of pioneers in computer science and Data type · See more »

Database

A database is an organized collection of data, stored and accessed electronically.

New!!: List of pioneers in computer science and Database · See more »

David Caminer

David Caminer, OBE (26 June 1915 – 19 June 2008) has been called "the world's first corporate electronic systems analyst" and "the world's first software engineer".

New!!: List of pioneers in computer science and David Caminer · See more »

Deep Blue (chess computer)

Deep Blue was a chess-playing computer developed by IBM.

New!!: List of pioneers in computer science and Deep Blue (chess computer) · See more »

Deep Thought (chess computer)

Deep Thought was a computer designed to play chess.

New!!: List of pioneers in computer science and Deep Thought (chess computer) · See more »

Dennis Ritchie

Dennis MacAlistair Ritchie (September 9, 1941 – October 12, 2011) was an American computer scientist.

New!!: List of pioneers in computer science and Dennis Ritchie · See more »

Desktop computer

A desktop computer is a personal computer designed for regular use at a single location on or near a desk or table due to its size and power requirements.

New!!: List of pioneers in computer science and Desktop computer · See more »

Difference engine

A difference engine is an automatic mechanical calculator designed to tabulate polynomial functions.

New!!: List of pioneers in computer science and Difference engine · See more »

Digital electronics

Digital electronics or digital (electronic) circuits are electronics that operate on digital signals.

New!!: List of pioneers in computer science and Digital electronics · See more »

Digital Equipment Corporation

Digital Equipment Corporation, also known as DEC and using the trademark Digital, was a major American company in the computer industry from the 1950s to the 1990s.

New!!: List of pioneers in computer science and Digital Equipment Corporation · See more »

Discourse

Discourse (from Latin discursus, "running to and from") denotes written and spoken communications.

New!!: List of pioneers in computer science and Discourse · See more »

Distributed computing

Distributed computing is a field of computer science that studies distributed systems.

New!!: List of pioneers in computer science and Distributed computing · See more »

Domain Name System

The Domain Name System (DNS) is a hierarchical decentralized naming system for computers, services, or other resources connected to the Internet or a private network.

New!!: List of pioneers in computer science and Domain Name System · See more »

Don't-care term

In digital logic, a don't-care term for a function is an input-sequence (a series of bits) for which the function output does not matter.

New!!: List of pioneers in computer science and Don't-care term · See more »

Donald Knuth

Donald Ervin Knuth (born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University.

New!!: List of pioneers in computer science and Donald Knuth · See more »

Douglas Engelbart

Douglas Carl Engelbart (January 30, 1925 – July 2, 2013) was an American engineer and inventor, and an early computer and Internet pioneer.

New!!: List of pioneers in computer science and Douglas Engelbart · See more »

E. Allen Emerson

Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.

New!!: List of pioneers in computer science and E. Allen Emerson · See more »

Edgar F. Codd

Edgar Frank "Ted" Codd (19 August 1923 – 18 April 2003) was an English computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases and relational database management systems.

New!!: List of pioneers in computer science and Edgar F. Codd · See more »

Edmund M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.

New!!: List of pioneers in computer science and Edmund M. Clarke · See more »

Edsger W. Dijkstra

Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.

New!!: List of pioneers in computer science and Edsger W. Dijkstra · See more »

EDVAC

EDVAC (Electronic Discrete Variable Automatic Computer) was one of the earliest electronic computers.

New!!: List of pioneers in computer science and EDVAC · See more »

Edward J. McCluskey

Edward J. McCluskey (October 16, 1929 – February 13, 2016) was a Professor at Stanford University.

New!!: List of pioneers in computer science and Edward J. McCluskey · See more »

Electronic delay storage automatic calculator

The electronic delay storage automatic calculator (EDSAC) was an early British computer.

New!!: List of pioneers in computer science and Electronic delay storage automatic calculator · See more »

Electronics

Electronics is the discipline dealing with the development and application of devices and systems involving the flow of electrons in a vacuum, in gaseous media, and in semiconductors.

New!!: List of pioneers in computer science and Electronics · See more »

Elizabeth J. Feinler

Elizabeth Jocelyn "Jake" Feinler is an American information scientist.

New!!: List of pioneers in computer science and Elizabeth J. Feinler · See more »

Emil Leon Post

Emil Leon Post (February 11, 1897 – April 21, 1954) was an American mathematician and logician.

New!!: List of pioneers in computer science and Emil Leon Post · See more »

ENIAC

ENIAC (Electronic Numerical Integrator and Computer) was amongst the earliest electronic general-purpose computers made.

New!!: List of pioneers in computer science and ENIAC · See more »

Error correction code

In computing, telecommunication, information theory, and coding theory, an error correction code, sometimes error correcting code, (ECC) is used for controlling errors in data over unreliable or noisy communication channels.

New!!: List of pioneers in computer science and Error correction code · See more »

Federico Faggin

Federico Faggin (born 1 December 1941), is an Italian physicist, inventor and entrepreneur, widely known for designing the first commercial microprocessor.

New!!: List of pioneers in computer science and Federico Faggin · See more »

Feng-hsiung Hsu

Feng-hsiung Hsu (nicknamed Crazy Bird) is a computer scientist and the author of the book Behind Deep Blue: Building the Computer that Defeated the World Chess Champion.

New!!: List of pioneers in computer science and Feng-hsiung Hsu · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: List of pioneers in computer science and First-order logic · See more »

Floppy disk

A floppy disk, also called a floppy, diskette, or just disk, is a type of disk storage composed of a disk of thin and flexible magnetic storage medium, sealed in a rectangular plastic enclosure lined with fabric that removes dust particles.

New!!: List of pioneers in computer science and Floppy disk · See more »

Flute

The flute is a family of musical instruments in the woodwind group.

New!!: List of pioneers in computer science and Flute · See more »

FORMAC

FORMAC, acronym of FORmula MAnipulation Compiler, was an early computer algebra system based on FORTRAN.

New!!: List of pioneers in computer science and FORMAC · See more »

Formal language

In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.

New!!: List of pioneers in computer science and Formal language · See more »

Fortran

Fortran (formerly FORTRAN, derived from Formula Translation) is a general-purpose, compiled imperative programming language that is especially suited to numeric computation and scientific computing.

New!!: List of pioneers in computer science and Fortran · See more »

François Gernelle

François Gernelle (born December 20, 1944) is a French engineer, computer scientist and entrepreneur famous for inventing the first micro-computer using a micro-processor, the Micral N.

New!!: List of pioneers in computer science and François Gernelle · See more »

Frances E. Allen

Frances Elizabeth "Fran" Allen (born August 4, 1932) is an American computer scientist and pioneer in the field of optimizing compilers.

New!!: List of pioneers in computer science and Frances E. Allen · See more »

Fred Brooks

Frederick Phillips "Fred" Brooks Jr. (born April 19, 1931) is an American computer architect, software engineer, and computer scientist, best known for managing the development of IBM's System/360 family of computers and the OS/360 software support package, then later writing candidly about the process in his seminal book The Mythical Man-Month.

New!!: List of pioneers in computer science and Fred Brooks · See more »

FTC fair information practice

The United States Federal Trade Commission's fair information practice principles (FIPPs) are guidelines that represent widely accepted concepts concerning fair information practice in an electronic marketplace.

New!!: List of pioneers in computer science and FTC fair information practice · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: List of pioneers in computer science and Functional programming · See more »

Garry Kasparov

Garry Kimovich Kasparov (Га́рри Ки́мович Каспа́ров,; Armenian: Գարրի Կիմովիչ Կասպարով; born Garik Kimovich Weinstein, 13 April 1963) is a Russian chess grandmaster, former world chess champion, writer, and political activist, who many consider to be the greatest chess player of all time.

New!!: List of pioneers in computer science and Garry Kasparov · See more »

General Problem Solver

General Problem Solver or G.P.S. is a computer program created in 1959 by Herbert A. Simon, J. C. Shaw, and Allen Newell intended to work as a universal problem solver machine.

New!!: List of pioneers in computer science and General Problem Solver · See more »

George Boole

George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.

New!!: List of pioneers in computer science and George Boole · See more »

Gerard Salton

Gerard A. "Gerry" Salton (8 March 1927 in Nuremberg – 28 August 1995), was a Professor of Computer Science at Cornell University.

New!!: List of pioneers in computer science and Gerard Salton · See more »

Giuseppe Peano

Giuseppe Peano (27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist.

New!!: List of pioneers in computer science and Giuseppe Peano · See more »

GNU Project

The GNU Project is a free-software, mass-collaboration project, first announced on September 27, 1983 by Richard Stallman at MIT.

New!!: List of pioneers in computer science and GNU Project · See more »

Go (programming language)

Go (often referred to as Golang) is a programming language created at Google in 2009 by Robert Griesemer, Rob Pike, and Ken Thompson.

New!!: List of pioneers in computer science and Go (programming language) · See more »

Goto

GoTo (goto, GOTO, GO TO or other case combinations, depending on the programming language) is a statement found in many computer programming languages.

New!!: List of pioneers in computer science and Goto · See more »

Gottfried Wilhelm Leibniz

Gottfried Wilhelm (von) Leibniz (or; Leibnitz; – 14 November 1716) was a German polymath and philosopher who occupies a prominent place in the history of mathematics and the history of philosophy.

New!!: List of pioneers in computer science and Gottfried Wilhelm Leibniz · See more »

Gottlob Frege

Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.

New!!: List of pioneers in computer science and Gottlob Frege · See more »

Grace Hopper

Grace Brewster Murray Hopper (December 9, 1906 – January 1, 1992) was an American computer scientist and United States Navy rear admiral.

New!!: List of pioneers in computer science and Grace Hopper · See more »

Grace Murray Hopper Award

The Grace Murray Hopper Awards (named for computer pioneer RADM Grace Hopper) has been awarded by the Association for Computing Machinery (ACM) since 1971.

New!!: List of pioneers in computer science and Grace Murray Hopper Award · See more »

Graphical user interface

The graphical user interface (GUI), is a type of user interface that allows users to interact with electronic devices through graphical icons and visual indicators such as secondary notation, instead of text-based user interfaces, typed command labels or text navigation.

New!!: List of pioneers in computer science and Graphical user interface · See more »

Hamming bound

In mathematics and computer science, in the field of coding theory, the Hamming bound is a limit on the parameters of an arbitrary block code: it is also known as the sphere-packing bound or the volume bound from an interpretation in terms of packing balls in the Hamming metric into the space of all possible words.

New!!: List of pioneers in computer science and Hamming bound · See more »

Hamming code

In telecommunication, Hamming codes are a family of linear error-correcting codes.

New!!: List of pioneers in computer science and Hamming code · See more »

Hamming distance

In information theory, the Hamming distance between two strings of equal length is the number of positions at which the corresponding symbols are different.

New!!: List of pioneers in computer science and Hamming distance · See more »

Harvard Mark I

The IBM Automatic Sequence Controlled Calculator (ASCC), called Mark I by Harvard University’s staff, was a general purpose electromechanical computer that was used in the war effort during the last part of World War II.

New!!: List of pioneers in computer science and Harvard Mark I · See more »

Harvard University

Harvard University is a private Ivy League research university in Cambridge, Massachusetts.

New!!: List of pioneers in computer science and Harvard University · See more »

Herbert A. Simon

Herbert Alexander Simon (June 15, 1916 – February 9, 2001) was an American economist and political scientist whose primary interest was decision-making within organizations and is best known for the theories of "bounded rationality" and "satisficing".

New!!: List of pioneers in computer science and Herbert A. Simon · See more »

Herman Hollerith

Herman Hollerith (February 29, 1860 – November 17, 1929) was an American inventor who developed an electromechanical punched card tabulator to assist in summarizing information and, later, accounting.

New!!: List of pioneers in computer science and Herman Hollerith · See more »

Hindu–Arabic numeral system

The Hindu–Arabic numeral systemDavid Eugene Smith and Louis Charles Karpinski,, 1911 (also called the Arabic numeral system or Hindu numeral system) is a positional decimal numeral system that is the most common system for the symbolic representation of numbers in the world.

New!!: List of pioneers in computer science and Hindu–Arabic numeral system · See more »

History (U.S. TV network)

History (originally The History Channel from 1995 to 2008) is a history-based digital cable and satellite television network that is owned by A&E Networks, a joint venture between the Hearst Communications and the Disney–ABC Television Group division of the Walt Disney Company.

New!!: List of pioneers in computer science and History (U.S. TV network) · See more »

History of computing hardware

The history of computing hardware covers the developments from early simple devices to aid calculation to modern day computers.

New!!: List of pioneers in computer science and History of computing hardware · See more »

Hoare logic

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

New!!: List of pioneers in computer science and Hoare logic · See more »

Howard H. Aiken

Howard Hathaway Aiken (March 8, 1900 – March 14, 1973) was an American physicist and a pioneer in computing, being the original conceptual designer behind IBM's Harvard Mark I computer.

New!!: List of pioneers in computer science and Howard H. Aiken · See more »

Humanoid robot

A humanoid robot is a robot with its body shape built to resemble the human body.

New!!: List of pioneers in computer science and Humanoid robot · See more »

Hypertext

Hypertext is text displayed on a computer display or other electronic devices with references (hyperlinks) to other text that the reader can immediately access, or where text can be revealed progressively at multiple levels of detail (also called StretchText).

New!!: List of pioneers in computer science and Hypertext · See more »

IBM

The International Business Machines Corporation (IBM) is an American multinational technology company headquartered in Armonk, New York, United States, with operations in over 170 countries.

New!!: List of pioneers in computer science and IBM · See more »

IBM 701

The IBM 701 Electronic Data Processing Machine, known as the Defense Calculator while in development, was IBM’s first commercial scientific computer, which was announced to the public on April 29, 1952.

New!!: List of pioneers in computer science and IBM 701 · See more »

IBM System/360

The IBM System/360 (S/360) is a family of mainframe computer systems that was announced by IBM on April 7, 1964, and delivered between 1965 and 1978.

New!!: List of pioneers in computer science and IBM System/360 · See more »

IEEE John von Neumann Medal

The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award.

New!!: List of pioneers in computer science and IEEE John von Neumann Medal · See more »

IEEE Xplore

IEEE Xplore is a research database for discovery and access to journal articles, conference proceedings, technical standards, and related materials on computer science, electrical engineering and electronics, and allied fields.

New!!: List of pioneers in computer science and IEEE Xplore · See more »

Information retrieval

Information retrieval (IR) is the activity of obtaining information system resources relevant to an information need from a collection of information resources.

New!!: List of pioneers in computer science and Information retrieval · See more »

Information theory

Information theory studies the quantification, storage, and communication of information.

New!!: List of pioneers in computer science and Information theory · See more »

Institute of Physics

The Institute of Physics (IOP) is a scientific charity that works to advance physics education, research and application.

New!!: List of pioneers in computer science and Institute of Physics · See more »

Intel

Intel Corporation (stylized as intel) is an American multinational corporation and technology company headquartered in Santa Clara, California, in the Silicon Valley.

New!!: List of pioneers in computer science and Intel · See more »

Intel 4004

The Intel 4004 is a 4-bit central processing unit (CPU) released by Intel Corporation in 1971.

New!!: List of pioneers in computer science and Intel 4004 · See more »

Intel 8080

The Intel 8080 ("eighty-eighty") was the second 8-bit microprocessor designed and manufactured by Intel and was released in April 1974.

New!!: List of pioneers in computer science and Intel 8080 · See more »

Intel 8251

The 8251 is a Universal Synchronous/Asynchronous Receiver/Transmitter packaged in a 28-pin DIP made by Intel.

New!!: List of pioneers in computer science and Intel 8251 · See more »

Intel 8253

The Intel 8253 and 8254 are Programmable Interval Timers (PITs), which perform timing and counting functions using three 16-bit counters.

New!!: List of pioneers in computer science and Intel 8253 · See more »

Intel 8255

The Intel 8255 (or i8255) Programmable Peripheral Interface (PPI) chip was developed and manufactured by Intel in the first half of the 1970s for the Intel 8080 microprocessor.

New!!: List of pioneers in computer science and Intel 8255 · See more »

Intel 8257

The Intel 8257 is a direct memory access (DMA) controller, a part of the MCS 85 microprocessor family.

New!!: List of pioneers in computer science and Intel 8257 · See more »

Intel 8259

The Intel 8259 is a Programmable Interrupt Controller (PIC) designed for the Intel 8085 and Intel 8086 microprocessors.

New!!: List of pioneers in computer science and Intel 8259 · See more »

Internet

The Internet is the global system of interconnected computer networks that use the Internet protocol suite (TCP/IP) to link devices worldwide.

New!!: List of pioneers in computer science and Internet · See more »

Internet Protocol

The Internet Protocol (IP) is the principal communications protocol in the Internet protocol suite for relaying datagrams across network boundaries.

New!!: List of pioneers in computer science and Internet Protocol · See more »

Internet protocol suite

The Internet protocol suite is the conceptual model and set of communications protocols used on the Internet and similar computer networks.

New!!: List of pioneers in computer science and Internet protocol suite · See more »

Inverted index

In computer science, an inverted index (also referred to as postings file or inverted file) is an index data structure storing a mapping from content, such as words or numbers, to its locations in a database file, or in a document or a set of documents (named in contrast to a forward index, which maps from documents to content).

New!!: List of pioneers in computer science and Inverted index · See more »

Ismail al-Jazari

Badīʿ az-Zaman Abū l-ʿIzz ibn Ismāʿīl ibn ar-Razāz al-Jazarī (1136–1206, بديع الزمان أَبُو اَلْعِزِ بْنُ إسْماعِيلِ بْنُ الرِّزاز الجزري) was a Muslim polymath: a scholar, inventor, mechanical engineer, artisan, artist and mathematician.

New!!: List of pioneers in computer science and Ismail al-Jazari · See more »

Ivan Sutherland

Ivan Edward Sutherland (born May 16, 1938) is an American computer scientist and Internet pioneer, widely regarded as the "father of computer graphics." His early work in computer graphics as well as his teaching with David C. Evans in that subject at the University of Utah in the 1970s was pioneering in the field.

New!!: List of pioneers in computer science and Ivan Sutherland · See more »

J. C. R. Licklider

Joseph Carl Robnett Licklider (March 11, 1915 – June 26, 1990), known simply as J. C. R. or "Lick", was an American psychologistMiller, G. A.

New!!: List of pioneers in computer science and J. C. R. Licklider · See more »

J. Lyons and Co.

J.

New!!: List of pioneers in computer science and J. Lyons and Co. · See more »

J. Presper Eckert

John Adam Presper "Pres" Eckert Jr. (April 9, 1919 – June 3, 1995) was an American electrical engineer and computer pioneer.

New!!: List of pioneers in computer science and J. Presper Eckert · See more »

Jacek Karpiński

Jacek Karpiński (9 April 1927 – 21 February 2010) was a Polish pioneer in computer engineering and computer science.

New!!: List of pioneers in computer science and Jacek Karpiński · See more »

Jacquard loom

The Jacquard machine is a device fitted to a power loom that simplifies the process of manufacturing textiles with such complex patterns as brocade, damask and matelassé.

New!!: List of pioneers in computer science and Jacquard loom · See more »

James Cooley

James William Cooley (born 1926, died June 29, 2016) was an American mathematician.

New!!: List of pioneers in computer science and James Cooley · See more »

Jean E. Sammet

Jean E. Sammet (March 23, 1928 – May 20, 2017) was an American computer scientist who developed the FORMAC programming language in 1962.

New!!: List of pioneers in computer science and Jean E. Sammet · See more »

Jim Gray (computer scientist)

James Nicholas Gray (19442007) was an American computer scientist who received the Turing Award in 1998 "for seminal contributions to database and transaction processing research and technical leadership in system implementation".

New!!: List of pioneers in computer science and Jim Gray (computer scientist) · See more »

John Backus

John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist.

New!!: List of pioneers in computer science and John Backus · See more »

John Mauchly

John William Mauchly (August 30, 1907 – January 8, 1980) was an American physicist who, along with J. Presper Eckert, designed ENIAC, the first general purpose electronic digital computer, as well as EDVAC, BINAC and UNIVAC I, the first commercial computer made in the United States.

New!!: List of pioneers in computer science and John Mauchly · See more »

John McCarthy (computer scientist)

John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.

New!!: List of pioneers in computer science and John McCarthy (computer scientist) · See more »

John Pinkerton (computer designer)

John Maurice McClean Pinkerton (2 August 1919 – 22 December 1997) was a pioneering British computer designer.

New!!: List of pioneers in computer science and John Pinkerton (computer designer) · See more »

John Tukey

John Wilder Tukey (June 16, 1915 – July 26, 2000) was an American mathematician best known for development of the FFT algorithm and box plot.

New!!: List of pioneers in computer science and John Tukey · See more »

John Vincent Atanasoff

John Vincent Atanasoff (October 4, 1903 – June 15, 1995) was an American-Bulgarian physicist and inventor, best known for being credited with inventing the first electronic digital computer.

New!!: List of pioneers in computer science and John Vincent Atanasoff · See more »

John von Neumann

John von Neumann (Neumann János Lajos,; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, and polymath.

New!!: List of pioneers in computer science and John von Neumann · See more »

JOHNNIAC

The JOHNNIAC was an early computer built by the RAND Corporation (not to be confused with Remington Rand, maker of the contemporaneous UNIVAC I computer) that was based on the von Neumann architecture that had been pioneered on the IAS machine.

New!!: List of pioneers in computer science and JOHNNIAC · See more »

Joseph Marie Jacquard

Joseph Marie Charles dit (called or nicknamed) Jacquard (7 July 1752 – 7 August 1834), was a French weaver and merchant.

New!!: List of pioneers in computer science and Joseph Marie Jacquard · See more »

K-202

K-202 was a 16-bit minicomputer, created by a team led by Polish scientist Jacek Karpiński between 1970–1973 in cooperation with British companies Data-Loop and M.B. Metals.

New!!: List of pioneers in computer science and K-202 · See more »

Karen Spärck Jones

Karen Spärck Jones FBA (26 August 1935 – 4 April 2007) was a British computer scientist who was responsible for the concept of inverse document frequency, a technology that underlies most modern search engines.

New!!: List of pioneers in computer science and Karen Spärck Jones · See more »

Karnaugh map

The Karnaugh map (KM or K-map) is a method of simplifying Boolean algebra expressions.

New!!: List of pioneers in computer science and Karnaugh map · See more »

Kathleen Booth

Kathleen Booth née BrittenJohnson, Roger.

New!!: List of pioneers in computer science and Kathleen Booth · See more »

Ken Thompson

Kenneth Lane "Ken" Thompson (born February 4, 1943), commonly referred to as ken in hacker circles, is an American pioneer of computer science.

New!!: List of pioneers in computer science and Ken Thompson · See more »

Kenneth E. Iverson

Kenneth Eugene Iverson (17 December 1920 – 19 October 2004) was a Canadian computer scientist noted for the development of the programming language APL.

New!!: List of pioneers in computer science and Kenneth E. Iverson · See more »

Kernel (operating system)

The kernel is a computer program that is the core of a computer's operating system, with complete control over everything in the system.

New!!: List of pioneers in computer science and Kernel (operating system) · See more »

Konrad Zuse

Konrad Zuse (22 June 1910 – 18 December 1995) was a German civil engineer, inventor and computer pioneer.

New!!: List of pioneers in computer science and Konrad Zuse · See more »

Kristen Nygaard

Kristen Nygaard (27 August 1926 – 10 August 2002) was a Norwegian computer scientist, programming language pioneer and politician.

New!!: List of pioneers in computer science and Kristen Nygaard · See more »

Kurt Gödel

Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.

New!!: List of pioneers in computer science and Kurt Gödel · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: List of pioneers in computer science and Lambda calculus · See more »

Lamport timestamps

The algorithm of Lamport timestamps is a simple algorithm used to determine the order of events in a distributed computer system.

New!!: List of pioneers in computer science and Lamport timestamps · See more »

Lamport's bakery algorithm

Lamport's bakery algorithm is a computer algorithm devised by computer scientist Leslie Lamport, which is intended to improve the safety in the usage of shared resources among multiple threads by means of mutual exclusion.

New!!: List of pioneers in computer science and Lamport's bakery algorithm · See more »

LaTeX

LaTeX (or; a shortening of Lamport TeX) is a document preparation system.

New!!: List of pioneers in computer science and LaTeX · See more »

LEO (computer)

The LEO I (Lyons Electronic Office I) was the first computer used for commercial business applications.

New!!: List of pioneers in computer science and LEO (computer) · See more »

Leslie Lamport

Leslie B. Lamport (born February 7, 1941) is an American computer scientist.

New!!: List of pioneers in computer science and Leslie Lamport · See more »

LINC

The LINC (Laboratory INstrument Computer) is a 12-bit, 2048-word transistorized computer.

New!!: List of pioneers in computer science and LINC · See more »

Linguistics

Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context.

New!!: List of pioneers in computer science and Linguistics · See more »

Linus Torvalds

Linus Benedict Torvalds (born December 28, 1969) is a Finnish-American software engineer who is the creator, and historically, the principal developer of the Linux kernel, which became the kernel for operating systems such as the Linux operating systems, Android, and Chrome OS.

New!!: List of pioneers in computer science and Linus Torvalds · See more »

Linux kernel

The Linux kernel is an open-source monolithic Unix-like computer operating system kernel.

New!!: List of pioneers in computer science and Linux kernel · See more »

Liquid-crystal display

A liquid-crystal display (LCD) is a flat-panel display or other electronically modulated optical device that uses the light-modulating properties of liquid crystals.

New!!: List of pioneers in computer science and Liquid-crystal display · See more »

Liskov substitution principle

Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of the program (correctness, task performed, etc.). More formally, the Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy.

New!!: List of pioneers in computer science and Liskov substitution principle · See more »

Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: List of pioneers in computer science and Lisp (programming language) · See more »

List of computer scientists

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

New!!: List of pioneers in computer science and List of computer scientists · See more »

List of Russian IT developers

This list of Russian IT developers includes the hardware engineers, computer scientists and programmers from the Russian Empire, the Soviet Union and the Russian Federation.

New!!: List of pioneers in computer science and List of Russian IT developers · See more »

List of Women in Technology International Hall of Fame inductees

The Women in Technology International Hall of Fame was established in 1996 by Women in Technology International (WITI) to honor women who contribute to the fields of science and technology.

New!!: List of pioneers in computer science and List of Women in Technology International Hall of Fame inductees · See more »

Logic gate

In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more binary inputs and produces a single binary output.

New!!: List of pioneers in computer science and Logic gate · See more »

Logic Theorist

Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and Cliff Shaw.

New!!: List of pioneers in computer science and Logic Theorist · See more »

Lynn Conway

Lynn Ann Conway (born January 2, 1938) is an American computer scientist, electrical engineer, inventor, and transgender activist.

New!!: List of pioneers in computer science and Lynn Conway · See more »

Magnetic core

A magnetic core is a piece of magnetic material with a high magnetic permeability used to confine and guide magnetic fields in electrical, electromechanical and magnetic devices such as electromagnets, transformers, electric motors, generators, inductors, magnetic recording heads, and magnetic assemblies.

New!!: List of pioneers in computer science and Magnetic core · See more »

Magnetic storage

Magnetic storage or magnetic recording is the storage of data on a magnetized medium.

New!!: List of pioneers in computer science and Magnetic storage · See more »

Mainframe sort merge

The Sort/Merge utility is a mainframe program to sort records in a file into a specified order, merge pre-sorted files into a sorted file, or copy selected records.

New!!: List of pioneers in computer science and Mainframe sort merge · See more »

Manchester Baby

The Manchester Baby, also known as the Small-Scale Experimental Machine (SSEM), was the world's first stored-program computer.

New!!: List of pioneers in computer science and Manchester Baby · See more »

Margaret Hamilton (scientist)

Margaret Heafield Hamilton (born Heafield on August 17, 1936) is an American computer scientist, systems engineer, and business owner.

New!!: List of pioneers in computer science and Margaret Hamilton (scientist) · See more »

Marvin Minsky

Marvin Lee Minsky (August 9, 1927 – January 24, 2016) was an American cognitive scientist concerned largely with research of artificial intelligence (AI), co-founder of the Massachusetts Institute of Technology's AI laboratory, and author of several texts concerning AI and philosophy.

New!!: List of pioneers in computer science and Marvin Minsky · See more »

Masatoshi Shima

is a Japanese electronics engineer, who was one of the designers of the world's first microprocessor, the Intel 4004, along with Federico Faggin, Ted Hoff, and Stanley Mazor.

New!!: List of pioneers in computer science and Masatoshi Shima · See more »

Massachusetts Institute of Technology

The Massachusetts Institute of Technology (MIT) is a private research university located in Cambridge, Massachusetts, United States.

New!!: List of pioneers in computer science and Massachusetts Institute of Technology · See more »

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

New!!: List of pioneers in computer science and Mathematical logic · See more »

Maurice Karnaugh

Maurice Karnaugh (born October 4, 1924) is an American physicist and mathematician known for the Karnaugh map used in Boolean algebra.

New!!: List of pioneers in computer science and Maurice Karnaugh · See more »

Maurice Wilkes

Sir Maurice Vincent Wilkes (26 June 1913 – 29 November 2010) was a British computer scientist who designed and helped build the electronic delay storage automatic calculator (EDSAC), one of the earliest stored program computers and invented microprogramming, a method for using stored-program logic to operate the control unit of a central processing unit's circuits.

New!!: List of pioneers in computer science and Maurice Wilkes · See more »

Max Newman

Maxwell Herman Alexander Newman, FRS, (7 February 1897 – 22 February 1984), generally known as Max Newman, was a British mathematician and codebreaker.

New!!: List of pioneers in computer science and Max Newman · See more »

Mechanical calculator

A mechanical calculator, or calculating machine, is a mechanical device used to perform automatically the basic operations of arithmetic.

New!!: List of pioneers in computer science and Mechanical calculator · See more »

Memex

The memex (originally coined "at random", though sometimes said to be a portmanteau of "memory" and "index") is the name of the hypothetical proto-hypertext system that Vannevar Bush described in his 1945 The Atlantic Monthly article "As We May Think".

New!!: List of pioneers in computer science and Memex · See more »

MESM

MESM (МЭСМ, Малая Электронно-Счетная Машина, Small Electronic Calculating Machine) was the first universally programmable electronic computer in the Soviet Union.

New!!: List of pioneers in computer science and MESM · See more »

Michael Stonebraker

Michael Ralph Stonebraker (born October 11, 1943) is a computer scientist specializing in database research.

New!!: List of pioneers in computer science and Michael Stonebraker · See more »

Micral

Micral is a series of microcomputers produced by the French company Réalisation d'Études Électroniques (R2E), beginning with the Micral N in early 1973.

New!!: List of pioneers in computer science and Micral · See more »

Microkernel

In computer science, a microkernel (also known as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS).

New!!: List of pioneers in computer science and Microkernel · See more »

Microprocessor

A microprocessor is a computer processor that incorporates the functions of a central processing unit on a single integrated circuit (IC), or at most a few integrated circuits.

New!!: List of pioneers in computer science and Microprocessor · See more »

MIT Computer Science and Artificial Intelligence Laboratory

MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) is a research institute at the Massachusetts Institute of Technology formed by the 2003 merger of the Laboratory for Computer Science and the Artificial Intelligence Laboratory.

New!!: List of pioneers in computer science and MIT Computer Science and Artificial Intelligence Laboratory · See more »

Model checking

In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.

New!!: List of pioneers in computer science and Model checking · See more »

Modula-2

Modula-2 is a computer programming language designed and developed between 1977 and 1985 by Niklaus Wirth at the Swiss Federal Institute of Technology in Zurich (ETH Zurich) as a revision of Pascal to serve as the sole programming language for the operating system and application software for the personal workstation Lilith.

New!!: List of pioneers in computer science and Modula-2 · See more »

Monitor (synchronization)

In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become true.

New!!: List of pioneers in computer science and Monitor (synchronization) · See more »

Muhammad ibn Musa al-Khwarizmi

There is some confusion in the literature on whether al-Khwārizmī's full name is ابو عبد الله محمد بن موسى الخوارزمي or ابو جعفر محمد بن موسی الخوارزمی.

New!!: List of pioneers in computer science and Muhammad ibn Musa al-Khwarizmi · See more »

Multi-agent system

A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.

New!!: List of pioneers in computer science and Multi-agent system · See more »

Music sequencer

A music sequencer (or simply sequencer) is a device or application software that can record, edit, or play back music, by handling note and performance information in several forms, typically CV/Gate, MIDI, or Open Sound Control (OSC), and possibly audio and automation data for DAWs and plug-ins.

New!!: List of pioneers in computer science and Music sequencer · See more »

NEC

is a Japanese multinational provider of information technology (IT) services and products, headquartered in Minato, Tokyo, Japan.

New!!: List of pioneers in computer science and NEC · See more »

Nick McKeown

Nicholas (Nick) William McKeown FREng, is a professor in the Electrical Engineering and Computer Science departments at Stanford University.

New!!: List of pioneers in computer science and Nick McKeown · See more »

Niklaus Wirth

Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering.

New!!: List of pioneers in computer science and Niklaus Wirth · See more »

Nippon Columbia

, often pronounced Korombia,, is a Japanese record label founded in 1910 as.

New!!: List of pioneers in computer science and Nippon Columbia · See more »

Noam Chomsky

Avram Noam Chomsky (born December 7, 1928) is an American linguist, philosopher, cognitive scientist, historian, social critic and political activist.

New!!: List of pioneers in computer science and Noam Chomsky · See more »

Oberon (programming language)

Oberon is a general-purpose programming language created in 1986 by Niklaus Wirth and the latest member of the Wirthian family of ALGOL-like languages (Euler, Algol-W, Pascal, Modula, and Modula-2).

New!!: List of pioneers in computer science and Oberon (programming language) · See more »

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").

New!!: List of pioneers in computer science and Object-oriented programming · See more »

Ole-Johan Dahl

Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist.

New!!: List of pioneers in computer science and Ole-Johan Dahl · See more »

OS/360 and successors

OS/360, officially known as IBM System/360 Operating System, is a discontinued batch processing operating system developed by IBM for their then-new System/360 mainframe computer, announced in 1964; it was heavily influenced by the earlier IBSYS/IBJOB and Input/Output Control System (IOCS) packages.

New!!: List of pioneers in computer science and OS/360 and successors · See more »

Pascal (programming language)

Pascal is an imperative and procedural programming language, which Niklaus Wirth designed in 1968–69 and published in 1970, as a small, efficient language intended to encourage good programming practices using structured programming and data structuring. It is named in honor of the French mathematician, philosopher and physicist Blaise Pascal. Pascal was developed on the pattern of the ALGOL 60 language. Wirth had already developed several improvements to this language as part of the ALGOL X proposals, but these were not accepted and Pascal was developed separately and released in 1970. A derivative known as Object Pascal designed for object-oriented programming was developed in 1985; this was used by Apple Computer and Borland in the late 1980s and later developed into Delphi on the Microsoft Windows platform. Extensions to the Pascal concepts led to the Pascal-like languages Modula-2 and Oberon.

New!!: List of pioneers in computer science and Pascal (programming language) · See more »

Pāṇini

(पाणिनि, Frits Staal (1965),, Philosophy East and West, Vol. 15, No. 2 (Apr., 1965), pp. 99-116) is an ancient Sanskrit philologist, grammarian, and a revered scholar in Hinduism.

New!!: List of pioneers in computer science and Pāṇini · See more »

Per Brinch Hansen

Per Brinch Hansen (November 13, 1938 – July 31, 2007) was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.

New!!: List of pioneers in computer science and Per Brinch Hansen · See more »

Personal computer

A personal computer (PC) is a multi-purpose computer whose size, capabilities, and price make it feasible for individual use.

New!!: List of pioneers in computer science and Personal computer · See more »

Peter Naur

Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner.

New!!: List of pioneers in computer science and Peter Naur · See more »

Pier Giorgio Perotto

Pier Giorgio Perotto (Turin, December 24, 1930 – Genoa, January 23, 2002) was an Italian electrical engineer and inventor.

New!!: List of pioneers in computer science and Pier Giorgio Perotto · See more »

Plan 9 from Bell Labs

Plan 9 from Bell Labs is a distributed operating system, originating in the Computing Sciences Research Center (CSRC) at Bell Labs in the mid-1980s, and building on UNIX concepts first developed there in the late 1960s; until the Labs' final release at the start of 2015.

New!!: List of pioneers in computer science and Plan 9 from Bell Labs · See more »

Plankalkül

Plankalkül ("Plan Calculus") is a programming language designed for engineering purposes by Konrad Zuse between 1942 and 1945.

New!!: List of pioneers in computer science and Plankalkül · See more »

Post correspondence problem

The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.

New!!: List of pioneers in computer science and Post correspondence problem · See more »

Post's theorem

In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.

New!!: List of pioneers in computer science and Post's theorem · See more »

Post–Turing machine

A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation described below.

New!!: List of pioneers in computer science and Post–Turing machine · See more »

Principia Mathematica

The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.

New!!: List of pioneers in computer science and Principia Mathematica · See more »

Privacy Act of 1974

The Privacy Act of 1974, a United States federal law, establishes a Code of Fair Information Practice that governs the collection, maintenance, use, and dissemination of personally identifiable information about individuals that is maintained in systems of records by federal agencies.

New!!: List of pioneers in computer science and Privacy Act of 1974 · See more »

Program (machine)

A program is a set of instructions used to control the behavior of a machine, often a computer (in this case it is known as a computer program).

New!!: List of pioneers in computer science and Program (machine) · See more »

Programma 101

The Olivetti Programma 101, also known as Perottina or P101, is the first commercial programmable "desktop computer" Produced by Italian manufacturer Olivetti, based in Ivrea, Piedmont, and invented by the Italian engineer Pier Giorgio Perotto, the P101 had the main features of large computers of that period.

New!!: List of pioneers in computer science and Programma 101 · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: List of pioneers in computer science and Programming language · See more »

Programming language theory

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.

New!!: List of pioneers in computer science and Programming language theory · See more »

Queen Anne Press

The Queen Anne Press (logo stylized QAP) is a small publisher (originally a private press).

New!!: List of pioneers in computer science and Queen Anne Press · See more »

Quicksort

Quicksort (sometimes called partition-exchange sort) is an efficient sorting algorithm, serving as a systematic method for placing the elements of an array in order.

New!!: List of pioneers in computer science and Quicksort · See more »

Radia Perlman

Radia Joy Perlman (born 1951) is an American computer programmer and network engineer.

New!!: List of pioneers in computer science and Radia Perlman · See more »

Ramon Llull

Ramon Llull, T.O.S.F. (c. 1232 – c. 1315; Anglicised Raymond Lully, Raymond Lull; in Latin Raimundus or Raymundus Lullus or Lullius) was a philosopher, logician, Franciscan tertiary and Spanish writer.

New!!: List of pioneers in computer science and Ramon Llull · See more »

Rózsa Péter

Rózsa Péter, born Politzer, (17 February 1905 – 16 February 1977) was a Hungarian mathematician and logician.

New!!: List of pioneers in computer science and Rózsa Péter · See more »

RC 4000 multiprogramming system

The RC 4000 Multiprogramming System is a discontinued operating system developed for the RC 4000 minicomputer in 1969.

New!!: List of pioneers in computer science and RC 4000 multiprogramming system · See more »

Recursion

Recursion occurs when a thing is defined in terms of itself or of its type.

New!!: List of pioneers in computer science and Recursion · See more »

Regular number

Regular numbers are numbers that evenly divide powers of 60 (or, equivalently powers of 30).

New!!: List of pioneers in computer science and Regular number · See more »

Relational database

A relational database is a digital database based on the relational model of data, as proposed by E. F. Codd in 1970.

New!!: List of pioneers in computer science and Relational database · See more »

Relational model

The relational model (RM) for database management is an approach to managing data using a structure and language consistent with first-order predicate logic, first described in 1969 by Edgar F. Codd, where all data is represented in terms of tuples, grouped into relations.

New!!: List of pioneers in computer science and Relational model · See more »

Remote procedure call

In distributed computing, a remote procedure call (RPC) is when a computer program causes a procedure (subroutine) to execute in a different address space (commonly on another computer on a shared network), which is coded as if it were a normal (local) procedure call, without the programmer explicitly coding the details for the remote interaction.

New!!: List of pioneers in computer science and Remote procedure call · See more »

Richard Hamming

Richard Wesley Hamming (February 11, 1915 – January 7, 1998) was an American mathematician whose work had many implications for computer engineering and telecommunications.

New!!: List of pioneers in computer science and Richard Hamming · See more »

Richard Stallman

Richard Matthew Stallman (born March 16, 1953), often known by his initials, rms—is an American free software movement activist and programmer.

New!!: List of pioneers in computer science and Richard Stallman · See more »

Robert Cailliau

Robert Cailliau (born 26 January 1947) is a Belgian informatics engineer and computer scientist who created the first web browser for the Mac.

New!!: List of pioneers in computer science and Robert Cailliau · See more »

Rosalind Picard

Rosalind Wright Picard (born May 17, 1962) is an American scholar who is Professor of Media Arts and Sciences at MIT, founder and director of the Affective Computing Research Group at the MIT Media Lab, and co-founder of the startups Affectiva and Empatica.

New!!: List of pioneers in computer science and Rosalind Picard · See more »

Sally Floyd

Sally Floyd is an American computer scientist.

New!!: List of pioneers in computer science and Sally Floyd · See more »

Sanskrit grammar

The grammar of the Sanskrit language has a complex verbal system, rich nominal declension, and extensive use of compound nouns.

New!!: List of pioneers in computer science and Sanskrit grammar · See more »

Saul Rosen

Saul Rosen (February 8, 1922 – June 9, 1991) was an American computer science pioneer.

New!!: List of pioneers in computer science and Saul Rosen · See more »

Semantics (computer science)

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

New!!: List of pioneers in computer science and Semantics (computer science) · See more »

Semaphore (programming)

In computer science, a semaphore is a variable or abstract data type used to control access to a common resource by multiple processes in a concurrent system such as a multitasking operating system.

New!!: List of pioneers in computer science and Semaphore (programming) · See more »

Sergey Lebedev (scientist)

Sergey Alexeyevich Lebedev (Серге́й Алексе́евич Ле́бедев; 2 November 1902, n.s. – 3 July 1974) was a Russian-born Ukrainian Soviet scientist in the fields of electrical engineering and computer science, and designer of the first Soviet computers.

New!!: List of pioneers in computer science and Sergey Lebedev (scientist) · See more »

Seymour Ginsburg

Seymour Ginsburg (December 12, 1927 – December 5, 2004) was an American pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general.

New!!: List of pioneers in computer science and Seymour Ginsburg · See more »

Sharp Corporation

is a Japanese multinational corporation that designs and manufactures electronic products, headquartered in Sakai-ku, Sakai.

New!!: List of pioneers in computer science and Sharp Corporation · See more »

Simula

Simula is the name of two simulation programming languages, Simula I and Simula 67, developed in the 1960s at the Norwegian Computing Center in Oslo, by Ole-Johan Dahl and Kristen Nygaard.

New!!: List of pioneers in computer science and Simula · See more »

Sketchpad

Sketchpad (a.k.a. Robot Draftsman) was a revolutionary computer program written by Ivan Sutherland in 1963 in the course of his PhD thesis, for which he received the Turing Award in 1988, and the Kyoto Prize in 2012.

New!!: List of pioneers in computer science and Sketchpad · See more »

Smalltalk

Smalltalk is an object-oriented, dynamically typed, reflective programming language.

New!!: List of pioneers in computer science and Smalltalk · See more »

Software-defined networking

Software-defined networking (SDN) technology is an approach to cloud computing that facilitates network management and enables programmatically efficient network configuration in order to improve network performance and monitoring.

New!!: List of pioneers in computer science and Software-defined networking · See more »

Spanning Tree Protocol

The Spanning Tree Protocol (STP) is a network protocol that builds a loop-free logical topology for Ethernet networks.

New!!: List of pioneers in computer science and Spanning Tree Protocol · See more »

Speech synthesis

Speech synthesis is the artificial production of human speech.

New!!: List of pioneers in computer science and Speech synthesis · See more »

Sphere packing

In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space.

New!!: List of pioneers in computer science and Sphere packing · See more »

Stephen Cole Kleene

Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.

New!!: List of pioneers in computer science and Stephen Cole Kleene · See more »

Stephen Cook

Stephen Arthur Cook, (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity.

New!!: List of pioneers in computer science and Stephen Cook · See more »

Stored-program computer

A stored-program computer is a computer that stores program instructions in electronic memory.

New!!: List of pioneers in computer science and Stored-program computer · See more »

Structured programming

Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines in contrast to using simple tests and jumps such as the go to statement, which can lead to "spaghetti code" that is potentially difficult to follow and maintain.

New!!: List of pioneers in computer science and Structured programming · See more »

Superscalar processor

A superscalar processor is a CPU that implements a form of parallelism called instruction-level parallelism within a single processor.

New!!: List of pioneers in computer science and Superscalar processor · See more »

Susan L. Graham

Susan Lois Graham is an American computer scientist.

New!!: List of pioneers in computer science and Susan L. Graham · See more »

Switching circuit theory

Switching circuit theory is the mathematical study of the properties of networks of idealized switches.

New!!: List of pioneers in computer science and Switching circuit theory · See more »

Syntax

In linguistics, syntax is the set of rules, principles, and processes that govern the structure of sentences in a given language, usually including word order.

New!!: List of pioneers in computer science and Syntax · See more »

Tadashi Sasaki (engineer)

was a Japanese engineer who was influential in founding Busicom, driving the deployment of the Intel 4004 microprocessor, and later driving Sharp into the LCD calculator market.

New!!: List of pioneers in computer science and Tadashi Sasaki (engineer) · See more »

TeX

TeX (see below), stylized within the system as TeX, is a typesetting system (or "formatting system") designed and mostly written by Donald Knuth and released in 1978.

New!!: List of pioneers in computer science and TeX · See more »

The Art of Computer Programming

The Art of Computer Programming (sometimes known by its initials TAOCP) is a comprehensive monograph written by Donald Knuth that covers many kinds of programming algorithms and their analysis.

New!!: List of pioneers in computer science and The Art of Computer Programming · See more »

The Mythical Man-Month

The Mythical Man-Month: Essays on Software Engineering is a book on software engineering and project management by Fred Brooks first published in 1975, with subsequent editions in 1982 and 1995.

New!!: List of pioneers in computer science and The Mythical Man-Month · See more »

Tim Berners-Lee

Sir Timothy John Berners-Lee (born 8 June 1955), also known as TimBL, is an English engineer and computer scientist, best known as the inventor of the World Wide Web.

New!!: List of pioneers in computer science and Tim Berners-Lee · See more »

Timeline of computing

Timeline of computing presents events in the history of computing organized by year and grouped into six topic areas: predictions and concepts, first use and inventions, hardware systems and processors, operating systems, programming languages, and new application areas.

New!!: List of pioneers in computer science and Timeline of computing · See more »

Tommy Flowers

Thomas Harold Flowers, MBE (22 December 1905 – 28 October 1998) was an English engineer with the British Post Office.

New!!: List of pioneers in computer science and Tommy Flowers · See more »

Tony Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.

New!!: List of pioneers in computer science and Tony Hoare · See more »

Transaction processing

Transaction processing is information processing in computer science that is divided into individual, indivisible operations called transactions.

New!!: List of pioneers in computer science and Transaction processing · See more »

Transformation (function)

In mathematics, particularly in semigroup theory, a transformation is a function f that maps a set X to itself, i.e..

New!!: List of pioneers in computer science and Transformation (function) · See more »

Transmission Control Protocol

The Transmission Control Protocol (TCP) is one of the main protocols of the Internet protocol suite.

New!!: List of pioneers in computer science and Transmission Control Protocol · See more »

Truth function

In logic, a truth function is a function that accepts truth values as input and produces a truth value as output, i.e., the input and output are all truth values.

New!!: List of pioneers in computer science and Truth function · See more »

Truth table

A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001).

New!!: List of pioneers in computer science and Truth table · See more »

Turing Award

The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".

New!!: List of pioneers in computer science and Turing Award · See more »

Turing completeness

In computability theory, a system of data-manipulation rules (such as a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing complete or computationally universal if it can be used to simulate any Turing machine.

New!!: List of pioneers in computer science and Turing completeness · See more »

Turing machine

A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.

New!!: List of pioneers in computer science and Turing machine · See more »

Type system

In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.

New!!: List of pioneers in computer science and Type system · See more »

Type theory

In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.

New!!: List of pioneers in computer science and Type theory · See more »

Undecidable problem

In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is known to be impossible to construct a single algorithm that always leads to a correct yes-or-no answer.

New!!: List of pioneers in computer science and Undecidable problem · See more »

UNIVAC

UNIVAC (Universal Automatic Computer) is a line of electronic digital stored-program computers starting with the products of the Eckert–Mauchly Computer Corporation.

New!!: List of pioneers in computer science and UNIVAC · See more »

UNIVAC I

The UNIVAC I (UNIVersal Automatic Computer I) was the first commercial computer produced in the United States.

New!!: List of pioneers in computer science and UNIVAC I · See more »

University of Manchester

The University of Manchester is a public research university in Manchester, England, formed in 2004 by the merger of the University of Manchester Institute of Science and Technology and the Victoria University of Manchester.

New!!: List of pioneers in computer science and University of Manchester · See more »

University of Tokyo

, abbreviated as or UTokyo, is a public research university located in Bunkyo, Tokyo, Japan.

New!!: List of pioneers in computer science and University of Tokyo · See more »

Unix

Unix (trademarked as UNIX) is a family of multitasking, multiuser computer operating systems that derive from the original AT&T Unix, development starting in the 1970s at the Bell Labs research center by Ken Thompson, Dennis Ritchie, and others.

New!!: List of pioneers in computer science and Unix · See more »

UTF-8

UTF-8 is a variable width character encoding capable of encoding all 1,112,064 valid code points in Unicode using one to four 8-bit bytes.

New!!: List of pioneers in computer science and UTF-8 · See more »

Van Wijngaarden grammar

In computer science, a Van Wijngaarden grammar (also vW-grammar or W-grammar) is a two-level grammar which provides a technique to define potentially infinite context-free grammars in a finite number of rules.

New!!: List of pioneers in computer science and Van Wijngaarden grammar · See more »

Vannevar Bush

Vannevar Bush (March 11, 1890 – June 28, 1974) was an American engineer, inventor and science administrator, who during World War II headed the U.S. Office of Scientific Research and Development (OSRD), through which almost all wartime military R&D was carried out, including initiation and early administration of the Manhattan Project.

New!!: List of pioneers in computer science and Vannevar Bush · See more »

Vector space model

Vector space model or term vector model is an algebraic model for representing text documents (and any objects, in general) as vectors of identifiers, such as, for example, index terms.

New!!: List of pioneers in computer science and Vector space model · See more »

Vint Cerf

Vinton Gray Cerf ForMemRS, (born June 23, 1943) is an American Internet pioneer, who is recognized as one of "the fathers of the Internet", sharing this title with TCP/IP co-inventor Bob Kahn.

New!!: List of pioneers in computer science and Vint Cerf · See more »

Virtual Museum of Computing

The Virtual Museum of Computing (VMoC) is an eclectic collection of links and online resources concerning the history of computers and computer science.

New!!: List of pioneers in computer science and Virtual Museum of Computing · See more »

Von Neumann architecture

The von Neumann architecture, which is also known as the von Neumann model and Princeton architecture, is a computer architecture based on the 1945 description by the mathematician and physicist John von Neumann and others in the First Draft of a Report on the EDVAC.

New!!: List of pioneers in computer science and Von Neumann architecture · See more »

Wesley A. Clark

Wesley Allison Clark (April 10, 1927 – February 22, 2016) was an American physicist who is credited for designing the first modern personal computer.

New!!: List of pioneers in computer science and Wesley A. Clark · See more »

Whirlwind I

Whirlwind I was a Cold War-era vacuum tube computer developed by the MIT Servomechanisms Laboratory for the U.S. Navy.

New!!: List of pioneers in computer science and Whirlwind I · See more »

Willis Ware

Willis Howard Ware (August 31, 1920 – November 22, 2013) was an American computer pioneer, privacy pioneer, social critic of technology policy, and a founder in the field of computer security.

New!!: List of pioneers in computer science and Willis Ware · See more »

Women in computing

Women in computing have shaped the evolution of the industry, with women among the first programmers during the early 20th century.

New!!: List of pioneers in computer science and Women in computing · See more »

World Chess Championship

The World Chess Championship (sometimes abbreviated as WCC) is played to determine the World Champion in chess.

New!!: List of pioneers in computer science and World Chess Championship · See more »

World Wide Web

The World Wide Web (abbreviated WWW or the Web) is an information space where documents and other web resources are identified by Uniform Resource Locators (URLs), interlinked by hypertext links, and accessible via the Internet.

New!!: List of pioneers in computer science and World Wide Web · See more »

Yoshiro Nakamatsu

, also known as, is a Japanese inventor.

New!!: List of pioneers in computer science and Yoshiro Nakamatsu · See more »

Z1 (computer)

The Z1 was a mechanical computer designed by Konrad Zuse from 1935 to 1936 and built by him from 1936 to 1938.

New!!: List of pioneers in computer science and Z1 (computer) · See more »

Z3 (computer)

The Z3 was a German electromechanical computer designed by Konrad Zuse.

New!!: List of pioneers in computer science and Z3 (computer) · See more »

Z4 (computer)

The Z4 was the world's first commercial digital computer, designed by German engineer Konrad Zuse and built by his company Zuse Apparatebau in 1945.

New!!: List of pioneers in computer science and Z4 (computer) · See more »

Zilog Z80

The Z80 CPU is an 8-bit based microprocessor.

New!!: List of pioneers in computer science and Zilog Z80 · See more »

Zilog Z8000

The Z8000 ("zee-eight-thousand") is a 16-bit microprocessor introduced by Zilog in early 1979, between the launch of the Intel 8086 (April 1978) and the Motorola 68000 (September 1979).

New!!: List of pioneers in computer science and Zilog Z8000 · See more »

Redirects here:

Computer invention, Computer inventor, Computer inventors, Computer pioneer, Computer pioneers, Computing pioneer, List of computer pioneers, List of people who made conceptual breakthroughs in computer science, List of prominent pioneers in computer science, People who invented computers.

References

[1] https://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science

OutgoingIncoming
Hey! We are on Facebook now! »