Science Atlas

How We Know What We Know
Sign In
Text size
100%
Theme
Discipline

Computer Science

Also Known As Informatics
Formal Sciences

Computer science is the study of computation and information: what can be computed at all, how to design algorithms that compute it efficiently, and how to build the hardware and software that carry algorithms out. Its theoretical foundation is usually dated to Alan Turing's 1936 paper describing an abstract computing machine, years before an electronic computer existed to run one. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Founded Year
1936 1
Sourced to the subject's own accountDated to Alan Turing's 1936 paper, the field's theoretical foundation; the first university computer science departments did not open until the 1960s, so this year marks the idea, not the institution.
Central Question
Can every problem whose solution can be quickly verified also be quickly solved, the P versus NP question that remains the field's most consequential open problem? 2
Scope
Computer science is the study of computation, information and automation, spanning theoretical disciplines such as algorithms and the theory of computation and applied disciplines such as hardware and software design. 2
Significance
Computer science began to be established as a distinct academic discipline only in the 1950s and early 1960s, with Cambridge's Diploma in Computer Science in 1953 among the first degree programs. It was built on theoretical foundations laid earlier by Charles Babbage's mechanical computing designs, Ada Lovelace's published algorithm, and Alan Turing's formal account of computability. 2
Connections

Associated With

Source Association for Computing Machinery (Wikipedia)
Source BCS, The Chartered Institute for IT (Wikipedia)

Founded By

Source Wikipedia: Computer science

Has Scientist

Alan Kay, Scientists
Source Alan Perlis - Wikipedia
Alfred Aho, Scientists
Source Alfred Aho - Wikipedia
Source Amir Pnueli - Wikipedia
Andrew Yao, Scientists
Source Wikipedia: Andrew Yao
Source Avi Wigderson - Wikipedia
Source Bidyut Baran Chaudhuri (Wikipedia)
Source Charles Babbage (Wikipedia)
Source Charles Bachman (Wikipedia)
Source David Patterson (computer scientist) - Wikipedia
Source Donald Knuth (Wikipedia)
Source E. Allen Emerson - Wikipedia
Source Edgar F. Codd - Wikipedia
Source Edmund M. Clarke - Wikipedia
Source Edward Feigenbaum (Wikipedia)
Source Edwin Catmull, Wikipedia
Source Frederick P. Brooks Jr. (Wikipedia)
Source Gilles Brassard - Wikipedia
Source Jack Dongarra - Wikipedia
Source Jeffrey Ullman - Wikipedia
John Cocke, Scientists
Source John Cocke (Wikipedia)
Source Wikipedia: John Hopcroft
Source John L. Hennessy, Wikipedia
Source John von Neumann (Wikipedia)
Source Joseph Sifakis, Wikipedia
Source Juris Hartmanis (Wikipedia)
Source Kristen Nygaard, Wikipedia
Source Leonard Adleman (Wikipedia)
Source Leslie Valiant, Wikipedia
Source Manuel Blum (Wikipedia)
Source Maurice Wilkes (Wikipedia)
Source Michael O. Rabin, Wikipedia
Source Wikipedia: Michael Stonebraker
Source Ole-Johan Dahl, Wikipedia
Orna Berry, Scientists
Source Orna Berry (Wikipedia)
Source Pat Hanrahan, Wikipedia
Peter Naur, Scientists
Source Peter Naur (Wikipedia)
Raj Reddy, Scientists
Source Raj Reddy, Wikipedia
Source Richard M. Karp, Wikipedia
Source Richard E. Stearns, Wikipedia
Source Robert Metcalfe (Wikipedia)
Source Wikipedia: Robert Tarjan
Source Robert W. Floyd (Wikipedia)
Source Robin Milner, Wikipedia
Source Samarendra Kumar Mitra (Wikipedia)
Source Sankar Kumar Pal (Wikipedia)
Source Shafi Goldwasser, Wikipedia
Source Silvio Micali, Wikipedia
Source Stephen Cook, Wikipedia
Source Stephen Wolfram (Wikipedia)
Source Tinku Acharya (Wikipedia)
Tony Hoare, Scientists
Vint Cerf, Scientists
Source William Kahan (Wikipedia)
Yann LeCun, Scientists
Source Wikipedia: Yann LeCun
Source Yoshua Bengio, Wikipedia

Has Theory

Algorithm, Concepts
Source Algorithm (Wikipedia)
Amdahl's Law, Theories
Source Big Omicron and Big Omega and Big ThetaDonald Knuth
CAP Theorem, Theories
Compiler, Concepts
Source Compiler (Wikipedia)
Source Data Structure (Wikipedia)
Moore's Law, Theories
Source Programming Language (Wikipedia)
Source First Draft of a Report on the EDVACJohn von Neumann
Source On Computable Numbers, with an Application to the EntscheidungsproblemAlan Turing

Studies

Algorithm, Concepts
Source Algorithm (Wikipedia)
Compiler, Concepts
Source Compiler (Wikipedia)
Source Data Structure (Wikipedia)
Source Programming Language (Wikipedia)

Uses

Source William Shockley (Britannica)
Sources
1. History of Computer Science (Wikipedia)
WikipediaLead section
Quote, Lead section
The history of computer science began long before the modern discipline of computer science, usually appearing in forms like mathematics or physics. Developments in previous centuries alluded to the discipline that we now know as computer science.
View the Source
2. Wikipedia: Computer science
Wikipedia
  • Lead section
    Computer science is the study of computation, information, and automation. Included broadly in the sciences, computer science spans theoretical disciplines to applied disciplines.
  • Founded By: Alan Turing
View the Source
Computer Science (Wikipedia)
WikipediaNaming section
Quote, Naming section
In Europe, terms derived from contracted translations of the expression automatic information or information and mathematics are often used, e.g. informatique (French), Informatik (German), informatica (Italian, Dutch), informatica (Spanish, Portuguese).
View the Source
William Shockley (Britannica)
Encyclopaedia BritannicaUses: TransistorView the Source
Association for Computing Machinery (Wikipedia)
WikipediaAssociated With: Association for Computing Machinery, Lead sectionView the Source
BCS, The Chartered Institute for IT (Wikipedia)
WikipediaAssociated With: BCS, The Chartered Institute for ITView the Source
Charles Bachman (Wikipedia)
WikipediaHas Scientist: Charles Bachman, lead paragraph, sentence 1
Quote, Has Scientist: Charles Bachman, lead paragraph, sentence 1
Charles William Bachman III (December 11, 1924, July 13, 2017) was an American computer scientist, who spent his entire career as an industrial researcher, developer, and manager rather than in academia.
View the Source
John Cocke (Wikipedia)
WikipediaHas Scientist: John Cocke, lead paragraph, sentence 1
Quote, Has Scientist: John Cocke, lead paragraph, sentence 1
John Cocke (May 30, 1925, July 16, 2002) was an American computer scientist at IBM and recognized for his large contribution to computer architecture and optimizing compiler design.
View the Source
William Kahan (Wikipedia)
WikipediaHas Scientist: William Kahan, lead paragraph, sentence 1
Quote, Has Scientist: William Kahan, lead paragraph, sentence 1
William "Velvel" Morton Kahan (born June 5, 1933) is a Canadian mathematician and computer scientist, who is a professor emeritus at University of California, Berkeley.
View the Source
Frederick P. Brooks Jr. (Wikipedia)
WikipediaHas Scientist: Frederick Brooks Jr., lead paragraph, sentence 1
Quote, Has Scientist: Frederick Brooks Jr., lead paragraph, sentence 1
Frederick Phillips Brooks Jr. (April 19, 1931, November 17, 2022) was an American computer architect, software engineer, and computer scientist, best known for managing development of IBM's System/360 family of mainframe computers and the OS/360 software support package, then later writing candidly about those experiences in his seminal book The Mythical Man-Month.
View the Source
Peter Naur (Wikipedia)
WikipediaHas Scientist: Peter Naur, lead paragraph, sentence 1
Quote, Has Scientist: Peter Naur, lead paragraph, sentence 1
Peter Naur (25 October 1928-3 January 2016) was a Danish computer science pioneer and 2005 Turing Award winner.
View the Source
Wikipedia: Robert Tarjan
WikipediaHas Scientist: Robert Tarjan, Infobox, fields
Quote, Has Scientist: Robert Tarjan, Infobox, fields
Infobox fields: Computer science
View the Source
Leonard Adleman (Wikipedia)
WikipediaHas Scientist: Leonard Adleman, Infobox, fields
Quote, Has Scientist: Leonard Adleman, Infobox, fields
Infobox fields: Computer science; Cryptography
View the Source
Wikipedia: Michael Stonebraker
WikipediaHas Scientist: Michael Stonebraker, Infobox, fields
Quote, Has Scientist: Michael Stonebraker, Infobox, fields
Infobox fields: Computer science
View the Source
Wikipedia: Yann LeCun
WikipediaHas Scientist: Yann LeCun, Infobox, fields
Quote, Has Scientist: Yann LeCun, Infobox, fields
Infobox fields: Artificial intelligence Machine learning Computer vision Robotics Image compression
View the Source
Yoshua Bengio, Wikipedia
Has Scientist: Yoshua Bengio, Infobox, fields
Quote, Has Scientist: Yoshua Bengio, Infobox, fields
Infobox fields: Machine learning; Deep learning; Artificial intelligence
View the Source
Alan Perlis - Wikipedia
Has Scientist: Alan Perlis, Infobox, fields
Quote, Has Scientist: Alan Perlis, Infobox, fields
Infobox fields: Computer science
View the Source
Avi Wigderson - Wikipedia
Has Scientist: Avi Wigderson, Infobox, fields
Quote, Has Scientist: Avi Wigderson, Infobox, fields
Infobox fields: Theoretical computer science
View the Source
Edmund M. Clarke - Wikipedia
Has Scientist: Edmund M. Clarke, Infobox, fields
Quote, Has Scientist: Edmund M. Clarke, Infobox, fields
Infobox fields: Computer science
View the Source
Jack Dongarra - Wikipedia
Has Scientist: Jack Dongarra, Infobox, fields
Quote, Has Scientist: Jack Dongarra, Infobox, fields
Infobox fields: Computer Science; Computational science; Parallel computing
View the Source
Leslie Valiant, Wikipedia
Has Scientist: Leslie Valiant, Infobox, fields
Quote, Has Scientist: Leslie Valiant, Infobox, fields
Infobox fields: Mathematics; Theoretical computer science; Computational learning theory; Theoretical neuroscience
View the Source
Richard M. Karp, Wikipedia
Has Scientist: Richard M. Karp, Infobox, fields
Quote, Has Scientist: Richard M. Karp, Infobox, fields
Infobox fields: Mathematics; Computer science
View the Source
Samarendra Kumar Mitra (Wikipedia)
Has Scientist: Samarendra Kumar Mitra, Infobox, fields
Quote, Has Scientist: Samarendra Kumar Mitra, Infobox, fields
Infobox fields: Chemistry; Computer science
View the Source
Pat Hanrahan, Wikipedia
Has Scientist: Pat Hanrahan, Infobox, fields
Quote, Has Scientist: Pat Hanrahan, Infobox, fields
Infobox fields: Computer graphics
View the Source
Maurice Wilkes (Wikipedia)
WikipediaHas Scientist: Maurice Wilkes, Lead sentence
Quote, Has Scientist: Maurice Wilkes, Lead sentence
Sir Maurice Vincent Wilkes (26 June 1913-29 November 2010) was an English computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored-program computers, and who invented microprogramming, a method for using stored-program
View the Source
Robert W. Floyd (Wikipedia)
WikipediaHas Scientist: Robert W. Floyd, Lead sentence
Quote, Has Scientist: Robert W. Floyd, Lead sentence
Robert W. Floyd (born Robert Willoughby Floyd; June 8, 1936, September 25, 2001) was an American computer scientist.
View the Source
Manuel Blum (Wikipedia)
WikipediaHas Scientist: Manuel Blum, Lead sentence
Quote, Has Scientist: Manuel Blum, Lead sentence
Manuel Blum (born 26 April 1938) is a Venezuelan-born American computer scientist who received the 1995 ACM Turing Award "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
View the Source
Juris Hartmanis (Wikipedia)
WikipediaHas Scientist: Juris Hartmanis, Lead sentence
Quote, Has Scientist: Juris Hartmanis, Lead sentence
Juris Hartmanis (July 5, 1928, July 29, 2022) was a Latvian-born American computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational
View the Source
Richard E. Stearns, Wikipedia
Has Scientist: Richard Stearns, Lead sentence
Quote, Has Scientist: Richard Stearns, Lead sentence
Richard Edwin Stearns (July 5, 1936, August 29, 2026) was an American computer scientist who, with Juris Hartmanis, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". In 1994 he was inducted
View the Source
Edward Feigenbaum (Wikipedia)
WikipediaHas Scientist: Edward Feigenbaum, Lead sentence
Quote, Has Scientist: Edward Feigenbaum, Lead sentence
Edward Albert Feigenbaum (born January 20, 1936) is an American computer scientist working in the field of artificial intelligence, and with Raj Reddy he won the 1994 ACM Turing Award.
View the Source
Raj Reddy, Wikipedia
Has Scientist: Raj Reddy, Lead sentence
Quote, Has Scientist: Raj Reddy, Lead sentence
Dabbala Rajagopal "Raj" Reddy (born 13 June 1937) is an Indian-born American computer scientist.
View the Source
Wikipedia: John Hopcroft
WikipediaHas Scientist: John Hopcroft, Lead sentence
Quote, Has Scientist: John Hopcroft, Lead sentence
John Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist.
View the Source
Wikipedia: Andrew Yao
WikipediaHas Scientist: Andrew Yao, Lead sentence
Quote, Has Scientist: Andrew Yao, Lead sentence
Andrew Chi-Chih Yao (; born December 24, 1946) is a Chinese computer scientist, theoretical physicist, and computational theorist.
View the Source
Edwin Catmull, Wikipedia
Has Scientist: Edwin Catmull, Lead sentence
Quote, Has Scientist: Edwin Catmull, Lead sentence
Edwin Earl Catmull (born March 31, 1945) is an American computer scientist and animator who is the co-founder of Pixar and was the president of Walt Disney Animation Studios.
View the Source
Alfred Aho - Wikipedia
Has Scientist: Alfred Aho, Lead sentence
Quote, Has Scientist: Alfred Aho, Lead sentence
Alfred Vaino Aho (born August 9, 1941) is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.
View the Source
Amir Pnueli - Wikipedia
Has Scientist: Amir Pnueli, Lead sentence
Quote, Has Scientist: Amir Pnueli, Lead sentence
Amir Pnueli (; April 22, 1941, November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
View the Source
David Patterson (computer scientist) - Wikipedia
Has Scientist: David Patterson, Lead sentence
Quote, Has Scientist: David Patterson, Lead sentence
David Andrew Patterson (born November 16, 1947) is an American computer scientist and academic who has held the position of professor of computer science at the University of California, Berkeley since 1976. He is a computer pioneer.
View the Source
E. Allen Emerson - Wikipedia
Has Scientist: E. Allen Emerson, Lead sentence
Quote, Has Scientist: E. Allen Emerson, Lead sentence
Ernest Allen Emerson II (June 2, 1954, October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award.
View the Source
Edgar F. Codd - Wikipedia
Has Scientist: Edgar F. Codd, Lead sentence
Quote, Has Scientist: Edgar F. Codd, Lead sentence
Edgar Frank "Ted" Codd (19 August 1923-18 April 2003) was a British 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.
View the Source
Jeffrey Ullman - Wikipedia
Has Scientist: Jeffrey Ullman, Lead sentence
Quote, Has Scientist: Jeffrey Ullman, Lead sentence
Jeffrey David Ullman (born November 22, 1942) is an American computer scientist and the Stanford W. Ascherman Professor of Engineering, Emeritus, at Stanford University.
View the Source
John L. Hennessy, Wikipedia
Has Scientist: John L. Hennessy, Lead sentence
Quote, Has Scientist: John L. Hennessy, Lead sentence
John Leroy Hennessy (born September 22, 1952) is an American computer scientist and businessman who has served as the chairman of Alphabet Inc.
View the Source
Joseph Sifakis, Wikipedia
Has Scientist: Joseph Sifakis, Lead sentence
Quote, Has Scientist: Joseph Sifakis, Lead sentence
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist.
View the Source
Kristen Nygaard, Wikipedia
Has Scientist: Kristen Nygaard, Lead sentence
Quote, Has Scientist: Kristen Nygaard, Lead sentence
Kristen Nygaard (27 August 1926-10 August 2002) was a Norwegian computer scientist, programming language pioneer, and politician.
View the Source
Michael O. Rabin, Wikipedia
Has Scientist: Michael O. Rabin, Lead sentence
Quote, Has Scientist: Michael O. Rabin, Lead sentence
Michael Oser Rabin (; September 1, 1931, April 14, 2026) was a computer scientist who was co-recipient, with Dana Scott, of the 1976 ACM Turing Award for their work on computational complexity.
View the Source
Ole-Johan Dahl, Wikipedia
Has Scientist: Ole-Johan Dahl, Lead sentence
Quote, Has Scientist: Ole-Johan Dahl, Lead sentence
Ole-Johan Dahl (12 October 1931-29 June 2002) was a Norwegian computer scientist.
View the Source
Robin Milner, Wikipedia
Has Scientist: Robin Milner, Lead sentence
Quote, Has Scientist: Robin Milner, Lead sentence
Arthur John Robin Gorell Milner (13 January 1934-20 March 2010) was a British computer scientist, and he won the 1991 ACM Turing Award.
View the Source
Shafi Goldwasser, Wikipedia
Has Scientist: Shafi Goldwasser, Lead sentence
Quote, Has Scientist: Shafi Goldwasser, Lead sentence
Shafrira Goldwasser (; born November 14, 1959) is an Israeli-American computer scientist.
View the Source
Silvio Micali, Wikipedia
Has Scientist: Silvio Micali, Lead sentence
Quote, Has Scientist: Silvio Micali, Lead sentence
Silvio Micali (born October 13, 1954) is an Italian computer scientist, professor at the Massachusetts Institute of Technology and the founder of Algorand, a proof-of-stake blockchain cryptocurrency protocol.
View the Source
Stephen Cook, Wikipedia
Has Scientist: Stephen Cook, Lead sentence
Quote, Has Scientist: Stephen Cook, Lead sentence
Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
View the Source
Gilles Brassard - Wikipedia
Has Scientist: Gilles Brassard, Lead sentence
Quote, Has Scientist: Gilles Brassard, Lead sentence
Gilles Brassard (born April 20, 1955) is a Canadian computer scientist.
View the Source
Sankar Kumar Pal (Wikipedia)
Has Scientist: Sankar Kumar Pal, Lead sentence
Quote, Has Scientist: Sankar Kumar Pal, Lead sentence
Sankar Kumar Pal (born 1950) is an Indian computer scientist.
View the Source
Stephen Wolfram (Wikipedia)
Has Scientist: Stephen Wolfram, Lead sentence
Quote, Has Scientist: Stephen Wolfram, Lead sentence
Stephen Wolfram ( ; born 29 August 1959) is a British-American computer scientist, physicist, and businessman.
View the Source
Orna Berry (Wikipedia)
Has Scientist: Orna Berry, Lead sentence
Quote, Has Scientist: Orna Berry, Lead sentence
Orna Berry (; born December 19, 1949), is an Israeli computer scientist, high-tech entrepreneur, and senior executive in the Israeli science and technology industries.
View the Source
Bidyut Baran Chaudhuri (Wikipedia)
Has Scientist: Bidyut Baran Chaudhuri, Lead sentence
Quote, Has Scientist: Bidyut Baran Chaudhuri, Lead sentence
Bidyut Baran Chaudhuri (B. B. Chauduri) is a senior computer scientist and an emeritus professor of Techno India University in West Bengal, India.
View the Source
Tinku Acharya (Wikipedia)
Has Scientist: Tinku Acharya, Lead sentence
Quote, Has Scientist: Tinku Acharya, Lead sentence
Tinku Acharya is an Indian computer scientist, technologist and fellow of the American institute, the IEEE.
View the Source
Algorithm (Wikipedia)
WikipediaHas Theory: Algorithm, Lead sentence
Quote, Has Theory: Algorithm, Lead sentence
In mathematics and computer science, an algorithm ( ) is any well-defined set of instructions that when followed terminates after a finite number of steps that comprise a solution to a given computational problem.
View the Source
Data Structure (Wikipedia)
WikipediaHas Theory: Data Structure, Lead sentence
Quote, Has Theory: Data Structure, Lead sentence
In computer science, a data structure is a way to organize and store data that is usually chosen for efficient access to data.
View the Source
Programming Language (Wikipedia)
WikipediaHas Theory: Programming Language, Lead paragraph
Quote, Has Theory: Programming Language, Lead paragraph
A programming language is an engineered language for expressing computer programs, typically allowing software to be written in a human readable manner.
View the Source
Compiler (Wikipedia)
WikipediaHas Theory: Compiler, Lead paragraph
Quote, Has Theory: Compiler, Lead paragraph
In computing, a compiler is software that translates computer code written in one programming language (the source language) into another language (the target language).
View the Source
Robert Metcalfe (Wikipedia)
WikipediaHas Scientist: Robert Metcalfe, Lead section, second sentence
Quote, Has Scientist: Robert Metcalfe, Lead section, second sentence
He co-invented Ethernet, co-founded 3Com, and formulated Metcalfe's law, which describes the effect of a telecommunications network.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.