Home›Scientists›Discipline›Computer ScienceDisciplineComputer ScienceAlso Known As InformaticsFormal SciencesReference and ClassificationThoroughly VerifiedComputer 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/FactsComputer ScienceConnectionsSourcesComments (0)Reader Challenges (0)FactsFounded YearWell-attested1936 1Sourced 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 QuestionWell-attestedCan 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? 2ScopeWell-attestedComputer 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. 2SignificanceWell-attestedComputer 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. 2Computer ScienceFilter Results89 entriesField (legacy)AllArtificial Intelligence (1)Cognitive Science / Computer Science (1)Cognitive Science / Computer Science / Economics (1)Computability theory and cryptanalysis (1)Computer architecture (1)Computer architecture and optimizing compiler design (1)Computer architecture and software engineering (1)Computer design (1)Computer Networking (3)Computer Science (29)Computer Science / Cognitive Science (1)Computer science and computer graphics (1)Computer science and mathematics (2)Computer science, artificial intelligence (2)Computer science, computer graphics (1)Computer science, cryptography (1)Computer science, database systems (1)Computer science, deep learning (1)Computer science, mathematics, and logic (1)Computer science, time-sharing operating systems (1)Cryptography (1)Cryptography and information security (1)Database management systems (1)Engineering (1)Mathematics and computer science (2)Mathematics and computing (1)Numerical analysis (1)Theoretical computer science and combinatorial algorithms (1)Theoretical computer science, automata theory and algorithms (1)EraAll1791 (1)1815 (1)1890 (1)1894 (1)1903 (2)1906 (1)1912 (1)1913 (1)1916 (3)1920 (1)1922 (1)1923 (1)1924 (2)1925 (2)1926 (2)1927 (3)1928 (2)1930 (1)1931 (3)1932 (1)1933 (1)1934 (3)1935 (1)1936 (4)1937 (1)1938 (3)1939 (3)1940 (1)1941 (4)1942 (1)1943 (5)1944 (2)1945 (3)1946 (3)1947 (2)1948 (1)1949 (2)1950 (3)1951 (1)1952 (1)1954 (2)1955 (3)1956 (1)1958 (2)1959 (1)1960 (1)1964 (1)1965 (1)InstitutionAllAmerican Association for the Advancement of Science (1)American Physical Society (2)Association for Computing Machinery (25)Bell Labs (5)California Institute of Technology (1)Carnegie Mellon University (4)Cavendish Laboratory (1)Columbia University (2)Cornell University (1)ETH Zurich (1)Harvard University (2)Institute for Advanced Study (3)Jadavpur University (1)Massachusetts Institute of Technology (11)Moscow State University (1)National Academy of Sciences (14)National Physical Laboratory (1)Princeton University (1)Royal Astronomical Society (1)Royal Society (6)Stanford University (3)University of Copenhagen (1)University of Manchester (1)University of Oslo (2)University of Oxford (1)University of Texas at Austin (2)University of Zurich (1)Weizmann Institute of Science (2)Yale University (1)École Polytechnique Fédérale de Lausanne (1)In GroupAllAlgebra And Number Theory (1)Other Mathematicians (2)NationalityAllCanada (6)China (1)Denmark (1)France (2)Greece (1)Hungary (1)India (5)Ireland (1)Israel (6)Japan (1)Netherlands (1)Norway (2)Switzerland (1)United Kingdom (10)United States (59)Show ResultsBrowseCompareSelect all 89Ada LovelaceComputer ScienceAlan KayComputer ScienceAlan PerlisComputer ScienceAlan TuringComputer ScienceAlfred AhoComputer ScienceAllen NewellComputer ScienceAlonzo ChurchComputer ScienceAmir PnueliComputer ScienceAndrew YaoComputer ScienceAvi WigdersonComputer ScienceBarbara LiskovComputer ScienceBidyut Baran ChaudhuriComputer ScienceButler LampsonComputer ScienceCharles BabbageComputer ScienceCharles BachmanComputer ScienceCharles P. ThackerComputer ScienceChieko AsakawaComputer ScienceClaude ShannonComputer ScienceDavid PattersonComputer ScienceDennis RitchieComputer ScienceDonald KnuthComputer ScienceDouglas EngelbartComputer ScienceE. Allen EmersonComputer ScienceEdgar F. CoddComputer ScienceEdmund M. ClarkeComputer ScienceEdsger DijkstraComputer ScienceEdward FeigenbaumComputer ScienceEdwin CatmullComputer ScienceFernando CorbatoComputer ScienceFrances AllenComputer ScienceFrederick Brooks Jr.Computer ScienceGilles BrassardComputer ScienceGrace HopperComputer ScienceHerbert SimonComputer ScienceIvan SutherlandComputer ScienceJack DongarraComputer ScienceJeffrey UllmanComputer ScienceJim GrayComputer ScienceJohn BackusComputer ScienceJohn CockeComputer ScienceJohn HopcroftComputer ScienceJohn L. HennessyComputer ScienceJohn McCarthyComputer ScienceJohn von NeumannComputer ScienceJoseph SifakisComputer ScienceJudea PearlComputer ScienceJuris HartmanisComputer ScienceKen ThompsonComputer ScienceKenneth IversonComputer ScienceKristen NygaardComputer ScienceLeonard AdlemanComputer ScienceLeslie LamportComputer ScienceLeslie ValiantComputer ScienceManuel BlumComputer ScienceMarvin MinskyComputer ScienceMaurice WilkesComputer ScienceMichael O. RabinComputer ScienceMichael StonebrakerComputer ScienceNiklaus WirthComputer ScienceNorbert WienerComputer ScienceOle-Johan DahlComputer ScienceOrna BerryComputer SciencePat HanrahanComputer SciencePeter NaurComputer ScienceRadia PerlmanComputer ScienceRaj ReddyComputer ScienceRichard M. KarpComputer ScienceRichard StearnsComputer ScienceRobert MetcalfeComputer ScienceRobert TarjanComputer ScienceRobert W. FloydComputer ScienceRobin MilnerComputer ScienceRonald RivestComputer ScienceSamarendra Kumar MitraComputer ScienceSankar Kumar PalComputer ScienceShafi GoldwasserComputer ScienceSilvio MicaliComputer ScienceStephen CookComputer ScienceStephen WolframComputer ScienceTim Berners-LeeComputer ScienceTinku AcharyaComputer ScienceTony HoareComputer ScienceUjjwal MaulikComputer ScienceVannevar BushComputer ScienceVint CerfComputer ScienceWhitfield DiffieComputer ScienceWilliam KahanComputer ScienceYann LeCunComputer ScienceYoshua BengioComputer ScienceConnectionsAssociated WithAssociation for Computing Machinery, Institutions Well-attested Source Association for Computing Machinery (Wikipedia)tier 3BCS, The Chartered Institute for IT, Institutions Well-attested Source BCS, The Chartered Institute for IT (Wikipedia)tier 2Founded ByAlan Turing, Scientists Well-attested Source Wikipedia: Computer sciencetier 2Has ScientistLeonard Adleman, Scientists Well-attested Source Leonard Adleman (Wikipedia)tier 3Leslie Lamport, Scientists Well-attested Leslie Valiant, Scientists Well-attested Source Leslie Valiant, WikipediaManuel Blum, Scientists Well-attested Source Manuel Blum (Wikipedia)tier 3Marvin Minsky, Scientists Well-attested Maurice Wilkes, Scientists Well-attested Source Maurice Wilkes (Wikipedia)tier 3Michael O. Rabin, Scientists Well-attested Source Michael O. Rabin, WikipediaMichael Stonebraker, Scientists Well-attested Source Wikipedia: Michael Stonebrakertier 3Niklaus Wirth, Scientists Well-attested Norbert Wiener, Scientists Well-attested Ole-Johan Dahl, Scientists Well-attested Source Ole-Johan Dahl, WikipediaOrna Berry, Scientists Well-attested Source Orna Berry (Wikipedia)Pat Hanrahan, Scientists Well-attested Source Pat Hanrahan, WikipediaPeter Naur, Scientists Well-attested Source Peter Naur (Wikipedia)tier 3Radia Perlman, Scientists Well-attested Raj Reddy, Scientists Well-attested Source Raj Reddy, WikipediaRichard M. Karp, Scientists Well-attested Source Richard M. Karp, WikipediaRichard Stearns, Scientists Well-attested Source Richard E. Stearns, WikipediaRobert Metcalfe, Scientists Well-attested Source Robert Metcalfe (Wikipedia)tier 3Robert Tarjan, Scientists Well-attested Source Wikipedia: Robert Tarjantier 3Robert W. Floyd, Scientists Well-attested Source Robert W. Floyd (Wikipedia)tier 3Robin Milner, Scientists Well-attested Source Robin Milner, WikipediaRonald Rivest, Scientists Well-attested Source Ronald Rivest (Wikipedia)tier 3Samarendra Kumar Mitra, Scientists Well-attested Source Samarendra Kumar Mitra (Wikipedia)Sankar Kumar Pal, Scientists Well-attested Source Sankar Kumar Pal (Wikipedia)Shafi Goldwasser, Scientists Well-attested Source Shafi Goldwasser, WikipediaSilvio Micali, Scientists Well-attested Source Silvio Micali, WikipediaStephen Cook, Scientists Well-attested Source Stephen Cook, WikipediaStephen Wolfram, Scientists Well-attested Source Stephen Wolfram (Wikipedia)Tim Berners-Lee, Scientists Well-attested Tinku Acharya, Scientists Well-attested Source Tinku Acharya (Wikipedia)Tony Hoare, Scientists Well-attested Ujjwal Maulik, Scientists Well-attested Source Ujjwal Maulik (Wikipedia)Vannevar Bush, Scientists Well-attested Vint Cerf, Scientists Well-attested Whitfield Diffie, Scientists Well-attested William Kahan, Scientists Well-attested Source William Kahan (Wikipedia)tier 3Yann LeCun, Scientists Well-attested Source Wikipedia: Yann LeCuntier 3Yoshua Bengio, Scientists Well-attested Source Yoshua Bengio, WikipediaShowing 51 to 89 of 89 in Has Scientist, page 2 of 2.← Previous12Has TheoryAlgorithm, Concepts Well-attested Source Algorithm (Wikipedia)tier 3Amdahl's Law, Theories Well-attested Analysis of Algorithms, Theories Well-attested Source Big Omicron and Big Omega and Big ThetaDonald Knuthtier 1CAP Theorem, Theories Well-attested Chomsky Hierarchy, Theories Well-attested Church-Rosser Theorem, Theories Well-attested Church-Turing Thesis, Theories Well-attested Compiler, Concepts Well-attested Source Compiler (Wikipedia)tier 3Cook-Levin Theorem, Theories Well-attested Data Structure, Concepts Well-attested Source Data Structure (Wikipedia)tier 3Halting Problem, Theories Well-attested Information Theory, Theories Well-attested Kolmogorov Complexity, Theories Well-attested Moore's Law, Theories Well-attested P versus NP Problem, Theories Well-attested Programming Language, Concepts Well-attested Source Programming Language (Wikipedia)tier 3Stored-Program Architecture, Theories Well-attested Source First Draft of a Report on the EDVACJohn von Neumanntier 1Turing Machine, Theories Well-attested Source On Computable Numbers, with an Application to the EntscheidungsproblemAlan Turingtier 1StudiesAlgorithm, Concepts Well-attested Source Algorithm (Wikipedia)tier 3Compiler, Concepts Well-attested Source Compiler (Wikipedia)tier 3Data Structure, Concepts Well-attested Source Data Structure (Wikipedia)tier 3Programming Language, Concepts Well-attested Source Programming Language (Wikipedia)tier 3UsesTransistor, Instruments Well-attested Source William Shockley (Britannica)tier 1Sources1. History of Computer Science (Wikipedia)tier 3WikipediaLead sectionQuote, Lead sectionThe 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 Source2. Wikipedia: Computer sciencetier 2WikipediaLead sectionComputer 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 TuringView the SourceComputer Science (Wikipedia)tier 2WikipediaNaming sectionIn 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).In Group: Computing, Decision and Systems Sciences, Leadis the study of computation, information, and automation, together with their associated phenomenaView the SourceWilliam Shockley (Britannica)tier 1Encyclopaedia BritannicaUses: TransistorView the SourceAssociation for Computing Machinery (Wikipedia)tier 3WikipediaAssociated With: Association for Computing Machinery, Lead sectionView the SourceBCS, The Chartered Institute for IT (Wikipedia)tier 2WikipediaAssociated With: BCS, The Chartered Institute for ITView the SourceCharles Bachman (Wikipedia)tier 3WikipediaHas Scientist: Charles Bachman, lead paragraph, sentence 1Quote, Has Scientist: Charles Bachman, lead paragraph, sentence 1Charles 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 SourceJohn Cocke (Wikipedia)tier 3WikipediaHas Scientist: John Cocke, lead paragraph, sentence 1Quote, Has Scientist: John Cocke, lead paragraph, sentence 1John 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 SourceWilliam Kahan (Wikipedia)tier 3WikipediaHas Scientist: William Kahan, lead paragraph, sentence 1Quote, Has Scientist: William Kahan, lead paragraph, sentence 1William "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 SourceFrederick P. Brooks Jr. (Wikipedia)tier 3WikipediaHas Scientist: Frederick Brooks Jr., lead paragraph, sentence 1Quote, Has Scientist: Frederick Brooks Jr., lead paragraph, sentence 1Frederick 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 SourcePeter Naur (Wikipedia)tier 3WikipediaHas Scientist: Peter Naur, lead paragraph, sentence 1Quote, Has Scientist: Peter Naur, lead paragraph, sentence 1Peter Naur (25 October 1928-3 January 2016) was a Danish computer science pioneer and 2005 Turing Award winner.View the SourceWikipedia: Robert Tarjantier 3WikipediaHas Scientist: Robert Tarjan, Infobox, fieldsQuote, Has Scientist: Robert Tarjan, Infobox, fieldsInfobox fields: Computer scienceView the SourceLeonard Adleman (Wikipedia)tier 3WikipediaHas Scientist: Leonard Adleman, Infobox, fieldsQuote, Has Scientist: Leonard Adleman, Infobox, fieldsInfobox fields: Computer science; CryptographyView the SourceWikipedia: Michael Stonebrakertier 3WikipediaHas Scientist: Michael Stonebraker, Infobox, fieldsQuote, Has Scientist: Michael Stonebraker, Infobox, fieldsInfobox fields: Computer scienceView the SourceWikipedia: Yann LeCuntier 3WikipediaHas Scientist: Yann LeCun, Infobox, fieldsQuote, Has Scientist: Yann LeCun, Infobox, fieldsInfobox fields: Artificial intelligence Machine learning Computer vision Robotics Image compressionView the SourceYoshua Bengio, WikipediaHas Scientist: Yoshua Bengio, Infobox, fieldsQuote, Has Scientist: Yoshua Bengio, Infobox, fieldsInfobox fields: Machine learning; Deep learning; Artificial intelligenceView the SourceAlan Perlis - WikipediaHas Scientist: Alan Perlis, Infobox, fieldsQuote, Has Scientist: Alan Perlis, Infobox, fieldsInfobox fields: Computer scienceView the SourceAvi Wigderson - WikipediaHas Scientist: Avi Wigderson, Infobox, fieldsQuote, Has Scientist: Avi Wigderson, Infobox, fieldsInfobox fields: Theoretical computer scienceView the SourceEdmund M. Clarke - WikipediaHas Scientist: Edmund M. Clarke, Infobox, fieldsQuote, Has Scientist: Edmund M. Clarke, Infobox, fieldsInfobox fields: Computer scienceView the SourceJack Dongarra - WikipediaHas Scientist: Jack Dongarra, Infobox, fieldsQuote, Has Scientist: Jack Dongarra, Infobox, fieldsInfobox fields: Computer Science; Computational science; Parallel computingView the SourceLeslie Valiant, WikipediaHas Scientist: Leslie Valiant, Infobox, fieldsQuote, Has Scientist: Leslie Valiant, Infobox, fieldsInfobox fields: Mathematics; Theoretical computer science; Computational learning theory; Theoretical neuroscienceView the SourceRichard M. Karp, WikipediaHas Scientist: Richard M. Karp, Infobox, fieldsQuote, Has Scientist: Richard M. Karp, Infobox, fieldsInfobox fields: Mathematics; Computer scienceView the SourceSamarendra Kumar Mitra (Wikipedia)Has Scientist: Samarendra Kumar Mitra, Infobox, fieldsQuote, Has Scientist: Samarendra Kumar Mitra, Infobox, fieldsInfobox fields: Chemistry; Computer scienceView the SourcePat Hanrahan, WikipediaHas Scientist: Pat Hanrahan, Infobox, fieldsQuote, Has Scientist: Pat Hanrahan, Infobox, fieldsInfobox fields: Computer graphicsView the SourceMaurice Wilkes (Wikipedia)tier 3WikipediaHas Scientist: Maurice Wilkes, Lead sentenceQuote, Has Scientist: Maurice Wilkes, Lead sentenceSir 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-programView the SourceRobert W. Floyd (Wikipedia)tier 3WikipediaHas Scientist: Robert W. Floyd, Lead sentenceQuote, Has Scientist: Robert W. Floyd, Lead sentenceRobert W. Floyd (born Robert Willoughby Floyd; June 8, 1936, September 25, 2001) was an American computer scientist.View the SourceManuel Blum (Wikipedia)tier 3WikipediaHas Scientist: Manuel Blum, Lead sentenceQuote, Has Scientist: Manuel Blum, Lead sentenceManuel 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 SourceJuris Hartmanis (Wikipedia)tier 3WikipediaHas Scientist: Juris Hartmanis, Lead sentenceQuote, Has Scientist: Juris Hartmanis, Lead sentenceJuris 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 computationalView the SourceRichard E. Stearns, WikipediaHas Scientist: Richard Stearns, Lead sentenceQuote, Has Scientist: Richard Stearns, Lead sentenceRichard 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 inductedView the SourceEdward Feigenbaum (Wikipedia)tier 3WikipediaHas Scientist: Edward Feigenbaum, Lead sentenceQuote, Has Scientist: Edward Feigenbaum, Lead sentenceEdward 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 SourceRaj Reddy, WikipediaHas Scientist: Raj Reddy, Lead sentenceQuote, Has Scientist: Raj Reddy, Lead sentenceDabbala Rajagopal "Raj" Reddy (born 13 June 1937) is an Indian-born American computer scientist.View the SourceWikipedia: John Hopcrofttier 3WikipediaHas Scientist: John Hopcroft, Lead sentenceQuote, Has Scientist: John Hopcroft, Lead sentenceJohn Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist.View the SourceWikipedia: Andrew Yaotier 3WikipediaHas Scientist: Andrew Yao, Lead sentenceQuote, Has Scientist: Andrew Yao, Lead sentenceAndrew Chi-Chih Yao (; born December 24, 1946) is a Chinese computer scientist, theoretical physicist, and computational theorist.View the SourceEdwin Catmull, WikipediaHas Scientist: Edwin Catmull, Lead sentenceQuote, Has Scientist: Edwin Catmull, Lead sentenceEdwin 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 SourceAlfred Aho - WikipediaHas Scientist: Alfred Aho, Lead sentenceQuote, Has Scientist: Alfred Aho, Lead sentenceAlfred 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 SourceAmir Pnueli - WikipediaHas Scientist: Amir Pnueli, Lead sentenceQuote, Has Scientist: Amir Pnueli, Lead sentenceAmir Pnueli (; April 22, 1941, November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.View the SourceDavid Patterson (computer scientist) - WikipediaHas Scientist: David Patterson, Lead sentenceQuote, Has Scientist: David Patterson, Lead sentenceDavid 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 SourceE. Allen Emerson - WikipediaHas Scientist: E. Allen Emerson, Lead sentenceQuote, Has Scientist: E. Allen Emerson, Lead sentenceErnest Allen Emerson II (June 2, 1954, October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award.View the SourceEdgar F. Codd - WikipediaHas Scientist: Edgar F. Codd, Lead sentenceQuote, Has Scientist: Edgar F. Codd, Lead sentenceEdgar 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 SourceJeffrey Ullman - WikipediaHas Scientist: Jeffrey Ullman, Lead sentenceQuote, Has Scientist: Jeffrey Ullman, Lead sentenceJeffrey 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 SourceJohn L. Hennessy, WikipediaHas Scientist: John L. Hennessy, Lead sentenceQuote, Has Scientist: John L. Hennessy, Lead sentenceJohn Leroy Hennessy (born September 22, 1952) is an American computer scientist and businessman who has served as the chairman of Alphabet Inc.View the SourceJoseph Sifakis, WikipediaHas Scientist: Joseph Sifakis, Lead sentenceQuote, Has Scientist: Joseph Sifakis, Lead sentenceJoseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) is a Greek-French computer scientist.View the SourceKristen Nygaard, WikipediaHas Scientist: Kristen Nygaard, Lead sentenceQuote, Has Scientist: Kristen Nygaard, Lead sentenceKristen Nygaard (27 August 1926-10 August 2002) was a Norwegian computer scientist, programming language pioneer, and politician.View the SourceMichael O. Rabin, WikipediaHas Scientist: Michael O. Rabin, Lead sentenceQuote, Has Scientist: Michael O. Rabin, Lead sentenceMichael 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 SourceOle-Johan Dahl, WikipediaHas Scientist: Ole-Johan Dahl, Lead sentenceQuote, Has Scientist: Ole-Johan Dahl, Lead sentenceOle-Johan Dahl (12 October 1931-29 June 2002) was a Norwegian computer scientist.View the SourceRobin Milner, WikipediaHas Scientist: Robin Milner, Lead sentenceQuote, Has Scientist: Robin Milner, Lead sentenceArthur 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 SourceShafi Goldwasser, WikipediaHas Scientist: Shafi Goldwasser, Lead sentenceQuote, Has Scientist: Shafi Goldwasser, Lead sentenceShafrira Goldwasser (; born November 14, 1959) is an Israeli-American computer scientist.View the SourceSilvio Micali, WikipediaHas Scientist: Silvio Micali, Lead sentenceQuote, Has Scientist: Silvio Micali, Lead sentenceSilvio 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 SourceStephen Cook, WikipediaHas Scientist: Stephen Cook, Lead sentenceQuote, Has Scientist: Stephen Cook, Lead sentenceStephen 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 SourceGilles Brassard - WikipediaHas Scientist: Gilles Brassard, Lead sentenceQuote, Has Scientist: Gilles Brassard, Lead sentenceGilles Brassard (born April 20, 1955) is a Canadian computer scientist.View the SourceSankar Kumar Pal (Wikipedia)Has Scientist: Sankar Kumar Pal, Lead sentenceQuote, Has Scientist: Sankar Kumar Pal, Lead sentenceSankar Kumar Pal (born 1950) is an Indian computer scientist.View the SourceStephen Wolfram (Wikipedia)Has Scientist: Stephen Wolfram, Lead sentenceQuote, Has Scientist: Stephen Wolfram, Lead sentenceStephen Wolfram ( ; born 29 August 1959) is a British-American computer scientist, physicist, and businessman.View the SourceOrna Berry (Wikipedia)Has Scientist: Orna Berry, Lead sentenceQuote, Has Scientist: Orna Berry, Lead sentenceOrna 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 SourceBidyut Baran Chaudhuri (Wikipedia)Has Scientist: Bidyut Baran Chaudhuri, Lead sentenceQuote, Has Scientist: Bidyut Baran Chaudhuri, Lead sentenceBidyut Baran Chaudhuri (B. B. Chauduri) is a senior computer scientist and an emeritus professor of Techno India University in West Bengal, India.View the SourceTinku Acharya (Wikipedia)Has Scientist: Tinku Acharya, Lead sentenceQuote, Has Scientist: Tinku Acharya, Lead sentenceTinku Acharya is an Indian computer scientist, technologist and fellow of the American institute, the IEEE.View the SourceAlgorithm (Wikipedia)tier 3WikipediaHas Theory: Algorithm, Lead sentenceQuote, Has Theory: Algorithm, Lead sentenceIn 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 SourceData Structure (Wikipedia)tier 3WikipediaHas Theory: Data Structure, Lead sentenceQuote, Has Theory: Data Structure, Lead sentenceIn computer science, a data structure is a way to organize and store data that is usually chosen for efficient access to data.View the SourceProgramming Language (Wikipedia)tier 3WikipediaHas Theory: Programming Language, Lead paragraphQuote, Has Theory: Programming Language, Lead paragraphA programming language is an engineered language for expressing computer programs, typically allowing software to be written in a human readable manner.View the SourceCompiler (Wikipedia)tier 3WikipediaHas Theory: Compiler, Lead paragraphQuote, Has Theory: Compiler, Lead paragraphIn 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 SourceWikipedia: Fernando Corbatotier 3WikipediaHas Scientist: Fernando Corbato, LeadQuote, Has Scientist: Fernando Corbato, Leadwas an American computer scientistView the SourceRonald Rivest (Wikipedia)tier 3WikipediaHas Scientist: Ronald Rivest, LeadQuote, Has Scientist: Ronald Rivest, Leadis an American cryptographer and computer scientistView the SourceChieko Asakawa (Wikipedia)Has Scientist: Chieko Asakawa, LeadQuote, Has Scientist: Chieko Asakawa, Leadis a blind Japanese computer scientistView the SourceUjjwal Maulik (Wikipedia)Has Scientist: Ujjwal Maulik, LeadQuote, Has Scientist: Ujjwal Maulik, Leadis an Indian computer scientistView the SourceKenneth E. Iverson (Wikipedia)tier 3WikipediaHas Scientist: Kenneth Iverson, LeadQuote, Has Scientist: Kenneth Iverson, Leadwas a Canadian computer scientistView the SourceWikipedia: Jim Graytier 3WikipediaHas Scientist: Jim Gray, LeadQuote, Has Scientist: Jim Gray, Leadwas an American computer scientistView the SourceCharles P. Thacker - WikipediaHas Scientist: Charles P. Thacker, Infobox: fieldQuote, Has Scientist: Charles P. Thacker, Infobox: fieldComputer ScienceView the SourceRobert Metcalfe (Wikipedia)tier 3WikipediaHas Scientist: Robert Metcalfe, Lead section, second sentenceQuote, Has Scientist: Robert Metcalfe, Lead section, second sentenceHe co-invented Ethernet, co-founded 3Com, and formulated Metcalfe's law, which describes the effect of a telecommunications network.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.