171 relations: Adi Shamir, Alan Kay, Alan Perlis, Alan Turing, ALGOL, ALGOL W, Allen Newell, Amir Pnueli, Analysis of algorithms, Andrew Yao, APL (programming language), Artificial intelligence, Association for Computing Machinery, Automated theorem proving, Automatic programming, Barbara Liskov, Bletchley Park, Bob Kahn, Butler Lampson, Calculus of communicating systems, Carnegie Mellon University, Charles Bachman, Charles P. Thacker, Cliff Shaw, Communication complexity, Communications of the ACM, Compatible Time-Sharing System, Compiler, Computational complexity theory, Computer architecture, Computer graphics, Computer monitor, Computer network, Computer program, Computer programming, Computer science, Computer security, Concurrency (computer science), Cryptography, Dana Scott, Database, David Patterson (computer scientist), DBLP, Delay line memory, Dennis Ritchie, Denotational semantics, Donald Knuth, Douglas Engelbart, E. Allen Emerson, Edgar F. Codd, ..., Edmund M. Clarke, Edsger W. Dijkstra, Edward Feigenbaum, Electronic delay storage automatic calculator, Euler (programming language), Exception handling, Fernando J. Corbató, Floating-point arithmetic, Formal verification, Fortran, Frances E. Allen, Fred Brooks, Google, Herbert A. Simon, IBM, IEEE John von Neumann Medal, Intel, International Data Group, Internet, Internet protocol suite, Internetworking, Ivan Sutherland, James H. Wilkinson, Jim Gray (computer scientist), John Backus, John Cocke, John Hopcroft, John L. Hennessy, John McCarthy (computer scientist), Joseph Sifakis, Judea Pearl, Juris Hartmanis, Ken Thompson, Kenneth E. Iverson, Kristen Nygaard, Leonard Adleman, Leslie Lamport, Leslie Valiant, Library (computing), Linear algebra, List of awards named after people, List of prizes known as the Nobel of a field, List of science and technology awards, List of Turing Award laureates by university affiliation, Logic for Computable Functions, Manuel Blum, Martin Hellman, Marvin Minsky, Mathematics, Maurice Wilkes, McGraw-Hill Education, Michael O. Rabin, Michael Stonebraker, Millennium Technology Prize, ML (programming language), Model checking, Modula, Multics, Nevanlinna Prize, Niklaus Wirth, Nobel Prize, Nondeterministic finite automaton, NP-completeness, Numerical analysis, Object-oriented programming, Ole-Johan Dahl, Operating system, Operational semantics, Paris Kanellakis Award, Parsing, Pascal (programming language), Peter Naur, Probably approximately correct learning, Programming language, Pseudorandom number generator, Public-key cryptography, Raj Reddy, RAND Corporation, Reader (academic rank), Reduced instruction set computer, Relational database, Richard E. Stearns, Richard Hamming, Richard M. Karp, Robert Tarjan, Robert W. Floyd, Robin Milner, Rolf Schock Prizes, Ron Rivest, RSA (cryptosystem), Semantics, Shafi Goldwasser, Silvio Micali, Simula, Sketchpad, Smalltalk, Software engineering, Stephen Cook, Stephen Kettle, Temporal logic, The Art of Computer Programming, Theoretical computer science, Theory of computation, Tim Berners-Lee, Time-sharing, Tony Hoare, Transaction processing, Turing Lecture, Type inference, Type safety, United States, University of Manchester, Unix, Vint Cerf, Web browser, Whitfield Diffie, William Kahan, Word processor, Workstation, World Wide Web, Xerox Alto. Expand index (121 more) » « Shrink index
Adi Shamir (עדי שמיר; born July 6, 1952) is an Israeli cryptographer.
Alan Curtis Kay (born May 17, 1940 published by the Association for Computing Machinery 2012) is an American computer scientist.
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.
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
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.
ALGOL W is a programming language.
Allen Newell (March 19, 1927 – July 19, 1992) was a researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology.
Amir Pnueli (אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
In computer science, the analysis of algorithms is the determination of the computational complexity of algorithms, that is the amount of time, storage and/or other resources necessary to execute them.
Andrew Chi-Chih Yao (born December 24, 1946) is a Chinese computer scientist and computational theorist.
APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson.
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.
The Association for Computing Machinery (ACM) is an international learned society for computing.
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
In computer science, the term automatic programming identifies a type of computer programming in which some mechanism generates a computer program to allow human programmers to write the code at a higher abstraction level.
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.
Bletchley Park was the central site for British (and subsequently, Allied) codebreakers during World War II.
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.
Butler W. Lampson (born December 23, 1943) is an American computer scientist best known for his contributions to the development and implementation of distributed personal computing.
The calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus.
Carnegie Mellon University (commonly known as CMU) is a private research university in Pittsburgh, Pennsylvania.
Charles William Bachman III (Born on 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.
Charles Patrick "Chuck" Thacker (February 26, 1943 – June 12, 2017) was an American pioneer computer designer.
John Clifford Shaw (1922–9 February 1991) was a systems programmer at the RAND Corporation.
In theoretical computer science, communication complexity studies the amount of communication required to solve a problem when the input to the problem is distributed among two or more parties.
Communications of the ACM is the monthly journal of the Association for Computing Machinery (ACM).
The Compatible Time-Sharing System (CTSS), was one of the first time-sharing operating systems; it was developed at the MIT Computation Center.
A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).
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.
In computer engineering, computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.
Computer graphics are pictures and films created using computers.
A computer monitor is an output device which displays information in pictorial form.
A computer network, or data network, is a digital telecommunications network which allows nodes to share resources.
A computer program is a collection of instructions for performing a specific task that is designed to solve a specific class of problems.
Computer programming is the process of building and designing an executable computer program for accomplishing a specific computing task.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
Cybersecurity, computer security or IT security is the protection of computer systems from theft of or damage to their hardware, software or electronic data, as well as from disruption or misdirection of the services they provide.
In computer science, concurrency refers to the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the final outcome.
Cryptography or cryptology (from κρυπτός|translit.
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.
A database is an organized collection of data, stored and accessed electronically.
David Andrew Patterson (born November 16, 1947) is an American computer pioneer and academic who has held the position of Professor of Computer Science at the University of California, Berkeley since 1976.
DBLP is a computer science bibliography website.
Delay line memory is a form of computer memory, now obsolete, that was used on some of the earliest digital computers.
Dennis MacAlistair Ritchie (September 9, 1941 – October 12, 2011) was an American computer scientist.
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages.
Donald Ervin Knuth (born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University.
Douglas Carl Engelbart (January 30, 1925 – July 2, 2013) was an American engineer and inventor, and an early computer and Internet pioneer.
Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.
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.
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.
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.
Edward Albert "Ed" Feigenbaum (born January 20, 1936) is a computer scientist working in the field of artificial intelligence, and joint winner of the 1994 ACM Turing Award.
The electronic delay storage automatic calculator (EDSAC) was an early British computer.
Euler is a programming language created by Niklaus Wirth and Helmut Weber, conceived as an extension and generalization of ALGOL 60.
Exception handling is the process of responding to the occurrence, during computation, of exceptions – anomalous or exceptional conditions requiring special processing – often changing the normal flow of program execution.
Fernando José "Corby" Corbató (born July 1, 1926) is a prominent American computer scientist, notable as a pioneer in the development of time-sharing operating systems.
In computing, floating-point arithmetic is arithmetic using formulaic representation of real numbers as an approximation so as to support a trade-off between range and precision.
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
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.
Frances Elizabeth "Fran" Allen (born August 4, 1932) is an American computer scientist and pioneer in the field of optimizing compilers.
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.
Google LLC is an American multinational technology company that specializes in Internet-related services and products, which include online advertising technologies, search engine, cloud computing, software, and hardware.
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".
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.
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.
Intel Corporation (stylized as intel) is an American multinational corporation and technology company headquartered in Santa Clara, California, in the Silicon Valley.
International Data Group, Inc. (IDG) is a Chinese-owned, American-based media, data and marketing services and venture capital organization.
The Internet is the global system of interconnected computer networks that use the Internet protocol suite (TCP/IP) to link devices worldwide.
The Internet protocol suite is the conceptual model and set of communications protocols used on the Internet and similar computer networks.
Internetworking is the practice of connecting a computer network with other networks through the use of gateways that provide a common method of routing information packets between the networks.
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.
James Hardy Wilkinson FRS (27 September 1919 – 5 October 1986) was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.
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".
John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist.
John Cocke (May 30, 1925 – July 16, 2002) was an American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design.
John Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist.
John Leroy Hennessy (born September 22, 1952) is an American computer scientist, academician, businessman and Chairman of Alphabet Inc..
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.
Joseph Sifakis (Ιωσήφ Σηφάκης) is a Greek computer scientist with French citizenship,, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Judea Pearl (born September 4, 1936) is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks (see the article on belief propagation).
Juris Hartmanis (born July 5, 1928) is a prominent 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 complexity theory".
Kenneth Lane "Ken" Thompson (born February 4, 1943), commonly referred to as ken in hacker circles, is an American pioneer of computer science.
Kenneth Eugene Iverson (17 December 1920 – 19 October 2004) was a Canadian computer scientist noted for the development of the programming language APL.
Kristen Nygaard (27 August 1926 – 10 August 2002) was a Norwegian computer scientist, programming language pioneer and politician.
Leonard Adleman (born December 31, 1945) is an American computer scientist.
Leslie B. Lamport (born February 7, 1941) is an American computer scientist.
Leslie Gabriel Valiant http://royalsociety.org/DServe/dserve.exe?dsqIni.
In computer science, a library is a collection of non-volatile resources used by computer programs, often for software development.
Linear algebra is the branch of mathematics concerning linear equations such as linear functions such as and their representations through matrices and vector spaces.
This is a list of prizes that are named after people.
This is a non-exhaustive list of prizes known as "the Nobel Prize of" a given field.
A list of medals, prizes, and other awards in the fields of science, technology, engineering and social science.
The following list comprehensively shows Turing Award laureates by university affiliations since 1966 (as of 2018, 67 winners in total), grouped by their current and past affiliation to academic institutions.
Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972.
Manuel Blum (Caracas, 26 April 1938) is a Venezuelan computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
Martin Edward Hellman (born October 2, 1945) is an American cryptologist, best known for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle.
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.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
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.
McGraw-Hill Education (MHE) is a learning science company and one of the "big three" educational publishers that provides customized educational content, software, and services for pre-K through postgraduate education.
Michael Oser Rabin (מִיכָאֵל עוזר רַבִּין, born September 1, 1931) is an Israeli computer scientist and a recipient of the Turing Award.
Michael Ralph Stonebraker (born October 11, 1943) is a computer scientist specializing in database research.
The Millennium Technology Prize (Millennium-teknologiapalkinto) is one of the world's largest technology prizes.
ML (Meta Language) is a general-purpose functional programming language.
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.
The Modula programming language is a descendant of the Pascal programming language.
Multics (Multiplexed Information and Computing Service) is an influential early time-sharing operating system, based around the concept of a single-level memory.
The Rolf Nevanlinna Prize (named in honor of Rolf Nevanlinna) is awarded once every 4 years at the International Congress of Mathematicians, for outstanding contributions in Mathematical Aspects of Information Sciences including.
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.
The Nobel Prize (Swedish definite form, singular: Nobelpriset; Nobelprisen) is a set of six annual international awards bestowed in several categories by Swedish and Norwegian institutions in recognition of academic, cultural, or scientific advances.
In automata theory, a finite state machine is called a deterministic finite automaton (DFA), if.
In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.
Numerical analysis is the study of algorithms that use numerical approximation (as opposed to general symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics).
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").
Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist.
An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics).
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".
Parsing, syntax analysis or syntactic analysis is the process of analysing a string of symbols, either in natural language, computer languages or data structures, conforming to the rules of a formal grammar.
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.
Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner.
In computational learning theory, probably approximately correct learning (PAC learning) is a framework for mathematical analysis of machine learning.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
A pseudorandom number generator (PRNG), also known as a deterministic random bit generator (DRBG), is an algorithm for generating a sequence of numbers whose properties approximate the properties of sequences of random numbers.
Public-key cryptography, or asymmetric cryptography, is any cryptographic system that uses pairs of keys: public keys which may be disseminated widely, and private keys which are known only to the owner.
Dabbala Rajagopal "Raj" Reddy (born June 13, 1937) is an Indian-American computer scientist and a winner of the Turing Award.
RAND Corporation ("Research ANd Development") is an American nonprofit global policy think tank created in 1948 by Douglas Aircraft Company to offer research and analysis to the United States Armed Forces.
The title of reader in the United Kingdom and some universities in the Commonwealth of Nations, for example India, Australia and New Zealand, denotes an appointment for a senior academic with a distinguished international reputation in research or scholarship.
A reduced instruction set computer, or RISC (pronounced 'risk'), is one whose instruction set architecture (ISA) allows it to have fewer cycles per instruction (CPI) than a complex instruction set computer (CISC).
A relational database is a digital database based on the relational model of data, as proposed by E. F. Codd in 1970.
Richard Edwin Stearns (born July 5, 1936) is a prominent 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" (Hartmanis and Stearns, 1965).
Richard Wesley Hamming (February 11, 1915 – January 7, 1998) was an American mathematician whose work had many implications for computer engineering and telecommunications.
Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley.
Robert Endre Tarjan (born April 30, 1948) is an American computer scientist and mathematician.
Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was a computer scientist.
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock (1933–1986).
Ronald Linn Rivest (born May 6, 1947) is a cryptographer and an Institute Professor at MIT.
RSA (Rivest–Shamir–Adleman) is one of the first public-key cryptosystems and is widely used for secure data transmission.
Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.
Shafrira Goldwasser (שפרירה גולדווסר; born 1959) is an American-Israeli computer scientist and winner of the Turing Award in 2012.
Silvio Micali (born October 13, 1954) is an Italian computer scientist at MIT Computer Science and Artificial Intelligence Laboratory and a professor of computer science in MIT's Department of Electrical Engineering and Computer Science since 1983.
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.
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.
Smalltalk is an object-oriented, dynamically typed, reflective programming language.
Software engineering is the application of engineering to the development of software in a systematic method.
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.
Stephen Kettle (born 12 July 1966, in Castle Bromwich, Warwickshire, England) is a British sculptor who works exclusively with slate.
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
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.
Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.
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.
In computing, time-sharing is the sharing of a computing resource among many users by means of multiprogramming and multi-tasking at the same time.
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
Transaction processing is information processing in computer science that is divided into individual, indivisible operations called transactions.
The BCS / IET Turing Lecture is an annual lecture given by a noted speaker on the subject of Computer Science.
Type inference refers to the automatic detection of the data type of an expression in a programming language.
In computer science, type safety is the extent to which a programming language discourages or prevents type errors.
The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.
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.
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.
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.
A web browser (commonly referred to as a browser) is a software application for accessing information on the World Wide Web.
Bailey Whitfield 'Whit' Diffie (born June 5, 1944) is an American cryptographer and one of the pioneers of public-key cryptography along with Martin Hellman and Ralph Merkle.
William "Velvel" Morton Kahan (born June 5, 1933) is a Canadian mathematician and computer scientist who received the Turing Award in 1989 for "his fundamental contributions to numerical analysis", was named an ACM Fellow in 1994, and inducted into the National Academy of Engineering in 2005.
A word processor is a computer program or device that provides for input, editing, formatting and output of text, often plus other features.
A workstation is a special computer designed for technical or scientific applications.
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.
The Xerox Alto is the first computer designed from its inception to support an operating system based on a graphical user interface (GUI), later using the desktop metaphor.
A M Turing Award, A. M. Turing Award, A.M. Turing Award, ACM Turing Award, Acm Turing award, Alan turing award, List of Turing Award laureates, Turing Award Laureate, Turing Award laureates, Turing Awards, Turing Prize, Turing award.