List of computer scientists
Encyclopedia
This is a list of well-known computer scientists, people who do work in computer science
, in particular researchers and authors.
Some persons notable as programmer
s are included here because they work in research as well as program. A few of these people pre-date the invention
of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory
and algorithmic information theory
.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, in particular researchers and authors.
Some persons notable as programmer
Programmer
A programmer, computer programmer or coder is someone who writes computer software. The term computer programmer can refer to a specialist in one area of computer programming or to a generalist who writes code for many kinds of software. One who practices or professes a formal approach to...
s are included here because they work in research as well as program. A few of these people pre-date the invention
Invention
An invention is a novel composition, device, or process. An invention may be derived from a pre-existing model or idea, or it could be independently conceived, in which case it may be a radical breakthrough. In addition, there is cultural invention, which is an innovative set of useful social...
of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
and algorithmic information theory
Algorithmic information theory
Algorithmic information theory is a subfield of information theory and computer science that concerns itself with the relationship between computation and information...
.
A
- Wil van der AalstWil van der AalstWil M.P. van der Aalst is a Dutch computer scientist, and professor at the Department of Mathematics & Computer Science of the Technische Universiteit Eindhoven, where he chairs the Architecture of Information Systems group, His research and teaching interests include information systems, workflow...
– business process managementBusiness process managementBusiness process management is a holistic management approach focused on aligning all aspects of an organization with the wants and needs of clients. It promotes business effectiveness and efficiency while striving for innovation, flexibility, and integration with technology. BPM attempts to...
, process miningProcess miningProcess mining is a process management technique that allows for the analysis of business processes based on event logs. The basic idea is to extract knowledge from event logs recorded by an information system...
, Petri nets - Hal AbelsonHal AbelsonHarold Abelson is a Professor of Electrical Engineering and Computer Science at MIT, a fellow of the IEEE, and is a founding director of both Creative Commons and the Free Software Foundation....
– intersection of computing and teaching - Serge AbiteboulSerge AbiteboulSerge Joseph Abiteboul is a computer scientist working in the areas of data management, database theory, and finite model theory.He received his PhD from the University of Southern California under the supervision of Seymour Ginsburg, in 1982....
– database theory - Samson AbramskySamson AbramskySamson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of game semantics...
– game semanticsGame semanticsGame semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. In the late 1950s Paul Lorenzen was the... - Leonard AdlemanLeonard AdlemanLeonard Max Adleman is an American theoretical computer scientist and professor of computer science and molecular biology at the University of Southern California. He is known for being a co-inventor of the RSA cryptosystem in 1977, and of DNA computing...
– RSA, DNA computingDNA computingDNA computing is a form of computing which uses DNA, biochemistry and molecular biology, instead of the traditional silicon-based computer technologies. DNA computing, or, more generally, biomolecular computing, is a fast developing interdisciplinary area... - Manindra AgrawalManindra AgrawalManindra Agrawal is a professor at the department of computer science and engineering and the Dean of Resource, Planning and Generation at the Indian Institute of Technology, Kanpur. He is also the recipient of the first Infosys Prize for Mathematics.-Early life:Manindra Agrawal obtained a...
– polynomial-time primality testing - Luis von AhnLuis von AhnLuis von Ahn is an entrepreneur and an associate professor in the Computer Science Department at Carnegie Mellon University. He is known as one of the pioneers of the idea of crowdsourcing. He is the founder of the company reCAPTCHA, which was sold to Google in 2009...
– human-based computationHuman-based computationHuman-based computation is a computer science technique in which a computational process performs its function by outsourcing certain steps to humans... - Alfred AhoAlfred AhoAlfred Vaino Aho is a Canadian computer scientist.-Career:Aho received a B.A.Sc. in Engineering Physics from the University of Toronto and a Ph.D. in Electrical Engineering/Computer Science from Princeton University...
– compilers book, the 'a' in AWK - Amos Nuwasiima – PHPPHPPHP is a general-purpose server-side scripting language originally designed for web development to produce dynamic web pages. For this purpose, PHP code is embedded into the HTML source document and interpreted by a web server with a PHP processor module, which generates the web page document...
Programming book - Frances E. AllenFrances E. AllenFrances Elizabeth "Fran" Allen is an American computer scientist and pioneer in the field of optimizing compilers. Her achievements include seminal work in compilers, code optimization, and parallelization...
– compiler optimizationCompiler optimizationCompiler optimization is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the amount of memory occupied... - Alexander Scaranti – Image Processing, Image Retrieval
- Gene AmdahlGene AmdahlGene Myron Amdahl is a Norwegian-American computer architect and high-tech entrepreneur, chiefly known for his work on mainframe computers at IBM and later his own companies, especially Amdahl Corporation...
– supercomputerSupercomputerA supercomputer is a computer at the frontline of current processing capacity, particularly speed of calculation.Supercomputers are used for highly calculation-intensive tasks such as problems including quantum physics, weather forecasting, climate research, molecular modeling A supercomputer is a...
developer, founder of Amdahl CorporationAmdahl CorporationAmdahl Corporation is an information technology company which specializes in IBM mainframe-compatible computer products. Founded in 1970 by Dr. Gene Amdahl, a former IBM employee, it has been a wholly owned subsidiary of Fujitsu since 1997... - A. Annerl – multidimensional processing, computational complexity theory
- Andrew AppelAndrew AppelAndrew Wilson Appel is the Eugene Higgins Professor of computer science at Princeton University, New Jersey. He is especially well-known because of his compiler books, the Modern Compiler Implementation in ML series, as well as Compiling With Continuations...
– compilers text books - Sanjeev AroraSanjeev AroraSanjeev Arora is a theoretical computer scientist who is best known for his work on probabilistically checkable proofs and, in particular, the PCP theorem. He is currently the Charles C...
– PCP theoremPCP theoremIn computational complexity theory, the PCP theorem states that every decision problem in the NP complexity class has probabilistically checkable proofs of constant query complexity and logarithmic randomness complexity .The PCP theorem says that for some universal constant K, for every... - A. E. Hugo - parallel computingParallel computingParallel computing is a form of computation in which many calculations are carried out simultaneously, operating on the principle that large problems can often be divided into smaller ones, which are then solved concurrently . There are several different forms of parallel computing: bit-level,...
on heterogeneous multicore architectures - John Vincent AtanasoffJohn Vincent AtanasoffJohn Vincent Atanasoff was an American physicist and inventor.The 1973 decision of the patent suit Honeywell v. Sperry Rand named him the inventor of the first automatic electronic digital computer...
– computer pioneer
B
- Charles BabbageCharles BabbageCharles Babbage, FRS was an English mathematician, philosopher, inventor and mechanical engineer who originated the concept of a programmable computer...
(1791-1871) – invented first mechanical computer - Charles BachmanCharles BachmanCharles William "Charlie" Bachman is an American computer scientist, who spent his entire career as an industrial researcher rather than in academia...
- Roland Carl BackhouseRoland Carl BackhouseRoland Carl Backhouse is a British computer scientist and mathematician who is currently Professor of Computing Science at the University of Nottingham.-Early life and education:...
– mathematics of program construction - John BackusJohn BackusJohn Warner Backus was an American computer scientist. He directed the team that invented the first widely used high-level programming language and was the inventor of the Backus-Naur form , the almost universally used notation to define formal language syntax.He also did research in...
– FORTRANFortranFortran is a general-purpose, procedural, imperative programming language that is especially suited to numeric computation and scientific computing...
, Backus–Naur formBackus–Naur formIn computer science, 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.It is applied wherever exact descriptions of... - David A. BaderDavid A. BaderDavid A. Bader is a Professor and Executive Director of High-Performance Computing in the Georgia Tech College of Computing. In addition, Bader was selected as the director of the first Sony Toshiba IBM Center of Competence for the Cell Processor at the Georgia Institute of Technology...
- Anthony James BarrAnthony James BarrAnthony James Barr, aka Tony Barr or Jim Barr is an American "programming language" designer, software engineer, and inventor...
– SAS SystemSAS SystemSAS is an integrated system of software products provided by SAS Institute Inc. that enables programmers to perform:* retrieval, management, and mining* report writing and graphics* statistical analysis... - Jean BartikJean BartikJean Bartik was one of the original programmers for the ENIAC computer.She was born Betty Jean Jennings in Gentry County, Missouri, in 1924 and attended Northwest Missouri State Teachers College, majoring in mathematics. In 1945, she was hired by the University of Pennsylvania to work for Army...
(1924-2011) - One of first computer programmers, on ENIACENIACENIAC was the first general-purpose electronic computer. It was a Turing-complete digital computer capable of being reprogrammed to solve a full range of computing problems....
(1946), one of first Vacuum tubeVacuum tubeIn electronics, a vacuum tube, electron tube , or thermionic valve , reduced to simply "tube" or "valve" in everyday parlance, is a device that relies on the flow of electric current through a vacuum...
computers, back when "programming" involved using cables, dials, and switches to physically rewire the machine. Worked with John MauchlyJohn MauchlyJohn William Mauchly 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.Together they started the first computer company,...
toward BINACBINACBINAC, the Binary Automatic Computer, was an early electronic computer designed for Northrop Aircraft Company by the Eckert-Mauchly Computer Corporation in 1949. Eckert and Mauchly, though they had started the design of EDVAC at the University of Pennsylvania, chose to leave and start EMCC, the...
(1949), EDVACEDVACEDVAC was one of the earliest electronic computers. Unlike its predecessor the ENIAC, it was binary rather than decimal, and was a stored program computer....
(1949), UNIVACUNIVACUNIVAC is the name of a business unit and division of the Remington Rand company formed by the 1950 purchase of the Eckert-Mauchly Computer Corporation, founded four years earlier by ENIAC inventors J. Presper Eckert and John Mauchly, and the associated line of computers which continues to this day...
(1951) to develop early "Stored program" computers. - Rudolf BayerRudolf BayerRudolf Bayer has been Professor of Informatics at the Technical University of Munich since 1972. He is noted for inventing three data sorting structures: the B-tree , the UB-tree and the red-black tree.Bayer is a recipient of 2001 ACM SIGMOD Edgar F. Codd Innovations Award.-External links:*...
– B-treeB-treeIn computer science, a B-tree is a tree data structure that keeps data sorted and allows searches, sequential access, insertions, and deletions in logarithmic time. The B-tree is a generalization of a binary search tree in that a node can have more than two children... - James C. Beatty, Jr. – compiler optimization, super-computing
- Gordon BellGordon BellC. Gordon Bell is an American computer engineer and manager. An early employee of Digital Equipment Corporation 1960–1966, Bell designed several of their PDP machines and later became Vice President of Engineering 1972-1983, overseeing the development of the VAX...
(1931- τ) - computer designer DECDigital Equipment CorporationDigital Equipment Corporation was a major American company in the computer industry and a leading vendor of computer systems, software and peripherals from the 1960s to the 1990s...
VAXVAXVAX was an instruction set architecture developed by Digital Equipment Corporation in the mid-1970s. A 32-bit complex instruction set computer ISA, it was designed to extend or replace DEC's various Programmed Data Processor ISAs...
, author: Computer Structures - Steven M. BellovinSteven M. BellovinSteven M. Bellovin is a researcher on computer networking and security. He is currently a Professor in the Computer Science department at Columbia University, having previously been a Fellow at AT&T Labs Research in Florham Park, New Jersey.- Career :...
– network securityNetwork securityIn the field of networking, the area of network security consists of the provisions and policies adopted by the network administrator to prevent and monitor unauthorized access, misuse, modification, or denial of the computer network and network-accessible resources... - Tim Berners-LeeTim Berners-LeeSir Timothy John "Tim" Berners-Lee, , also known as "TimBL", is a British computer scientist, MIT professor and the inventor of the World Wide Web...
– World Wide WebWorld Wide WebThe World Wide Web is a system of interlinked hypertext documents accessed via the Internet... - Peter BernusPeter BernusPeter Bernus is an Hungarian Australian scientist and Associate Professor of Enterprise Architecture at the School of Information and Communication Technology, Griffith University, Brisbane, Australia.- Biography :...
- Dines BjørnerDines BjørnerProfessor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
– Vienna Development MethodVienna Development MethodThe Vienna Development Method is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM...
(VDM), RAISERaiseRaise is a fell in the English Lake District. It stands on the main spine of the Helvellyn range in the Eastern Fells, between Thirlmere and Ullswater.-Topography:... - Gerrit BlaauwGerrit BlaauwGerrit Anne Blaauw is one of the principal designers of the IBM System/360 line of computers, together with Fred Brooks, Gene Amdahl, and others....
– one of the principal designers of the IBM System 360 line of computers - Manuel BlumManuel BlumManuel Blum is a 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".-Biography:Blum attended MIT, where he received his bachelor's degree and...
– cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties... - Barry BoehmBarry BoehmBarry W. Boehm is an American software engineer, TRW Emeritus Professor of Software Engineering at the Computer Science Department of the University of Southern California, and known for his many contributions to software engineering.- Biography :...
– software engineering economics, spiral development - Grady BoochGrady BoochGrady Booch is an American software engineer. Booch is best known for developing the Unified Modeling Language with Ivar Jacobson and James Rumbaugh. Grady is recognized internationally for his innovative work in software architecture, software engineering, and collaborative development environments...
– Unified Modeling LanguageUnified Modeling LanguageUnified Modeling Language is a standardized general-purpose modeling language in the field of object-oriented software engineering. The standard is managed, and was created, by the Object Management Group...
, Object Management GroupObject Management GroupObject Management Group is a consortium, originally aimed at setting standards for distributed object-oriented systems, and is now focused on modeling and model-based standards.- Overview :... - George BooleGeorge BooleGeorge Boole was an English mathematician and philosopher.As the inventor of Boolean logic—the basis of modern digital computer logic—Boole is regarded in hindsight as a founder of the field of computer science. Boole said,...
– Boolean logicBoolean logicBoolean algebra is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of multiplication xy, addition x + y, and negation −x replaced by the respective logical operations of... - Bert BosBert BosGijsbert Bos is a computer scientist. He studied mathematics at the University of Groningen, and wrote his PhD thesis on Rapid user interface development with the script language Gist....
– Cascading Style SheetsCascading Style SheetsCascading Style Sheets is a style sheet language used to describe the presentation semantics of a document written in a markup language... - Jonathan BowenJonathan BowenJonathan P. Bowen FBCS FRSA is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster...
– Z notationZ notationThe Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
, formal methodsFormal methodsIn computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems... - Stephen R. BourneStephen R. BourneSteve Bourne is a computer scientist, originally from the United Kingdom and based in the US for most of his career. He is most famous as the author of the Bourne shell , which is the foundation for the standard command line interfaces to Unix....
– Bourne shellBourne shellThe Bourne shell, or sh, was the default Unix shell of Unix Version 7 and most Unix-like systems continue to have /bin/sh - which will be the Bourne shell, or a symbolic link or hard link to a compatible shell - even when more modern shells are used by most users.Developed by Stephen Bourne at AT&T...
, portable ALGOL 68CALGOL 68CThe ALGOL68C computer programming language compiler was developed for the CHAOS OS for the CAP capability computer at Cambridge University in 1971 by Stephen Bourne and Michael Guy as a dialect of ALGOL 68. Other early contributors were Andrew D. Birrell and Ian Walker.The initial compiler was...
compiler - Robert S. BoyerRobert S. BoyerRobert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore...
– string searching, ACL2 theorem proverACL2 theorem proverACL2 is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification... - Jack E. BresenhamJack E. BresenhamJack Elton Bresenham is a former professor of computer science.-Biography:He retired from 27 years of service at IBM as a Senior Technical Staff Member in 1987. He taught for 16 years at Winthrop University and has nine patents...
– early computer graphics contributions including Bresenham's algorithm - David J. BrownDavid J. BrownDavid J. Brown is an American computer scientist. He was one of a small group that helped to develop the system at Stanford that later resulted in Sun Microsystems, and later was a founder Silicon Graphics in 1982.- Education :...
– Unified Memory Architecture, Binary Compatibility - Per Brinch HansenPer Brinch HansenPer Brinch Hansen was a Danish-American computer scientist known for concurrent programming theory.-Biography:He was born in Frederiksberg, in Copenhagen, Denmark....
(surname "Brinch Hansen") – concurrency - Sjaak BrinkkemperSjaak BrinkkemperJacobus Nicolaas Brinkkemper is a Dutch computer scientist, and Full Professor of organisation and information at the Department of Information and Computing Sciences of Utrecht University.-Biography:...
– methodology of product software development - Fred BrooksFred BrooksFrederick Phillips Brooks, Jr. is a 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...
– System 360, OS/360, The Mythical Man-MonthThe Mythical Man-MonthThe Mythical Man-Month: Essays on Software Engineering is a book on software engineering and project management by Fred Brooks, whose central theme is that "adding manpower to a late software project makes it later"...
, No Silver BulletNo Silver Bullet"No Silver Bullet — Essence and Accidents of Software Engineering" is a widely discussed paper on software engineering written by Fred Brooks in 1986... - Rod Brooks
- Alan BurnsAlan BurnsProfessor Alan Burns FREng FIET FBCS SMIEEE CEng is a professor in the Computer Science Department at the University of York, England. He has been at the University of York since 1990, and held the post of Head of Department from 1999 until 30 June 2006, when he was succeeded by John McDermid.He is...
– real-time computingReal-time computingIn computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints... - Ben Aaron Mwale – computer systems
C
- Martin Campbell-KellyMartin Campbell-KellyMartin Campbell-Kelly is an English computer scientist based at the University of Warwick who has specialised in the history of computing.Campbell-Kelly is professor emeritus in the Department of Computer Science at the University of Warwick. He is on the editorial board of the IEEE Annals of the...
– history of computingHistory of computingThe history of computing is longer than the history of computing hardware and modern computing technology and includes the history of methods intended for pen and paper or for chalk and slate, with or without the aid of tables... - Luca CardelliLuca CardelliLuca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
– objects - Claire Cardie – natural language processingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
, automatic summarizationAutomatic summarizationAutomatic summarization is the creation of a shortened version of a text by a computer program. The product of this procedure still contains the most important points of the original text....
, machine learningMachine learningMachine learning, a branch of artificial intelligence, is a scientific discipline concerned with the design and development of algorithms that allow computers to evolve behaviors based on empirical data, such as from sensor data or databases... - Edwin CatmullEdwin CatmullDr. Edwin Earl Catmull, Ph.D. is a computer scientist and current president of Walt Disney Animation Studios and Pixar Animation Studios. As a computer scientist, Catmull has contributed to many important developments in computer graphics....
– computer graphicsComputer graphicsComputer graphics are graphics created using computers and, more generally, the representation and manipulation of image data by a computer with help from specialized software and hardware.... - Vinton CerfVint CerfVinton Gray "Vint" Cerf is an American computer scientist, who is recognized as one of "the fathers of the Internet", sharing this title with American computer scientist Bob Kahn...
– Internet, TCP/IP - Gregory ChaitinGregory ChaitinGregory John Chaitin is an Argentine-American mathematician and computer scientist.-Mathematics and computer science:Beginning in 2009 Chaitin has worked on metabiology, a field parallel to biology dealing with the random evolution of artificial software instead of natural software .Beginning in...
- Zhou ChaochenZhou ChaochenZhou Chaochen is a Chinese computer scientist.Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences .He worked at...
– duration calculusDuration CalculusDuration calculus is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action ProCoS project on Provably Correct Systems.DC is mainly useful at the requirements level of... - Xiuzhen (Susan) Cheng – computer networks
- Alonzo ChurchAlonzo ChurchAlonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
– mathematics of combinators, lambda calculusLambda calculusIn mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus... - Gabriel Ciobanu – semantics, process calculi, membrane computing
- Edmund M. ClarkeEdmund M. ClarkeEdmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....
– model checkingModel checkingIn computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification.... - John CockeJohn CockeJohn Cocke was an American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design. He is considered by many to be "the father of RISC architecture."...
– RISC - Edgar F. CoddEdgar F. CoddEdgar Frank "Ted" Codd was an English computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases...
(1923-2003) – formulated the databaseDatabaseA database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality , in a way that supports processes requiring this information...
relational modelRelational modelThe relational model for database management is a database model based on first-order predicate logic, first formulated and proposed in 1969 by Edgar F... - Simon ColtonSimon ColtonSimon Colton is a British computer scientist, currently working in the Computational Creativity Group at Imperial College London, where he holds the position of Reader. He graduated from the University of Durham with a degree in Mathematics, gained a MSc...
– Computational Creativity - Paul Justin ComptonPaul Justin ComptonPaul Compton is an Emeritus Professor at the University of New South Wales . He is also the former Head of the UNSW School of Computer Science and Engineering. He is known for proposing Ripple Down Rules.-Career:...
– Ripple Down RulesRipple down rulesRipple Down Rules is a way of approaching knowledge acquisition. Knowledge acquisition refers to the transfer knowledge from human experts to knowledge based systems.- Introductory material :... - Gordon CormackGordon CormackGordon V. Cormack is a computer science professor at the University of Waterloo and co-inventor of Dynamic Markov Compression. He is the president of the Conference on Email and Anti-Spam 2007 and is the coordinator of the TREC Spam Evaluation Track. Cormack coaches Waterloo's ACM International...
– co-inventor of dynamic Markov compressionDynamic Markov compressionDynamic Markov compression is a lossless data compression algorithm developed by Gordon Cormack and Nigel Horspool . It uses predictive arithmetic coding similar to prediction by partial matching , except that the input is predicted one bit at a time... - Stephen CookStephen CookStephen Arthur Cook is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity...
– NP-completeNP-completeIn computational complexity theory, the complexity class NP-complete is a class of decision problems. A decision problem L is NP-complete if it is in the set of NP problems so that any given solution to the decision problem can be verified in polynomial time, and also in the set of NP-hard...
ness - James CooleyJames CooleyDr. James W. Cooley is an American mathematician. James William Cooley received a B.A. degree in 1949 from Manhattan College, Bronx, NY, an M.A. degree in 1951 from Columbia University, New York, NY, and a Ph.D. degree in 1961 in applied mathematics from Columbia University...
– Fast Fourier transformFast Fourier transformA fast Fourier transform is an efficient algorithm to compute the discrete Fourier transform and its inverse. "The FFT has been called the most important numerical algorithm of our lifetime ." There are many distinct FFT algorithms involving a wide range of mathematics, from simple...
(FFT) - Fernando J. CorbatóFernando J. CorbatóFernando José "Corby" Corbató is a prominent American computer scientist, notable as a pioneer in the development of time-sharing operating systems....
– Compatible Time-Sharing System (CTSS), MulticsMulticsMultics was an influential early time-sharing operating system. The project was started in 1964 in Cambridge, Massachusetts... - Patrick CousotPatrick CousotPatrick Cousot is a French computer scientist.Together with his wife Radhia, Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software, such as found in avionics...
– abstract interpretationAbstract interpretationIn computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics In... - Seymour CraySeymour CraySeymour Roger Cray was an American electrical engineer and supercomputer architect who designed a series of computers that were the fastest in the world for decades, and founded Cray Research which would build many of these machines. Called "the father of supercomputing," Cray has been credited...
– Cray Research, supercomputerSupercomputerA supercomputer is a computer at the frontline of current processing capacity, particularly speed of calculation.Supercomputers are used for highly calculation-intensive tasks such as problems including quantum physics, weather forecasting, climate research, molecular modeling A supercomputer is a... - Nello CristianiniNello CristianiniNello Cristianini is a Professor of Artificial Intelligence at the University of Bristol and a current holder of the Royal Society-Wolfson Research Merit Award....
– Machine learning, pattern analysis, artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
D
- Ole-Johan DahlOle-Johan DahlOle-Johan Dahl was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.- Career :...
– SimulaSimulaSimula is a name for two 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... - Andries van DamAndries van DamAndries "Andy" van Dam is a Dutch-born American professor of computer science and former Vice-President for Research at Brown University in Providence, Rhode Island. Together with Ted Nelson he contributed to the first hypertext system, HES in the late 1960s. He co-authored Computer Graphics:...
– computer graphicsComputer graphicsComputer graphics are graphics created using computers and, more generally, the representation and manipulation of image data by a computer with help from specialized software and hardware....
, hypertextHypertextHypertext is text displayed on a computer or other electronic device with references to other text that the reader can immediately access, usually by a mouse click or keypress sequence. Apart from running text, hypertext may contain tables, images and other presentational devices. Hypertext is the... - Christopher J. DateChristopher J. DateChris Date is an independent author, lecturer, researcher, and consultant, specializing in relational database theory.-Biography:Chris Date attended High Wycombe Royal Grammar School from 1951 to 1958 and received his BA in Mathematics from Cambridge University in 1962. He entered the computer...
– proponent of databaseDatabaseA database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality , in a way that supports processes requiring this information...
relational modelRelational modelThe relational model for database management is a database model based on first-order predicate logic, first formulated and proposed in 1969 by Edgar F... - Erik DemaineErik DemaineErik D. Demaine , is a professor of Computer Science at the Massachusetts Institute of Technology.-Early life:...
– computational origami - Tom DeMarcoTom DeMarcoTom DeMarco is an American software engineer, author, teacher and speaker on software engineering topics. He is known as one of the developers of Structured analysis in the 1980s.- Biography :...
- Dorothy E. DenningDorothy E. DenningDorothy Elizabeth Denning is an American information security researcher and a graduate of the University of Michigan. She has published four books and 140 articles...
– computer securityComputer securityComputer security is a branch of computer technology known as information security as applied to computers and networks. The objective of computer security includes protection of information and property from theft, corruption, or natural disaster, while allowing the information and property to... - Peter J. DenningPeter J. DenningPeter J. Denning is an American computer scientist, and prolific writer. He is best known for pioneering work in virtual memory, especially for inventing the working-set model for program behavior, which defeated thrashing in operating systems and became the reference standard for all memory...
– identified the use of an operating systemOperating systemAn operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...
's working setWorking setPeter Denning defines “the working set of information W of a process at time t to be the collection of information referenced by the process during the process time interval ”. Typically the units of information in question are considered to be memory pages...
and balance set, President of ACMAssociation for Computing MachineryThe Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009... - Michael Dertouzos – Director of Massachusetts Institute of TechnologyMassachusetts Institute of TechnologyThe Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...
(MIT) Laboratory for Computer Science (LCS) from 1974 to 2001 - Alexander DewdneyAlexander DewdneyAlexander Keewatin Dewdney is a Canadian mathematician, computer scientist and philosopher who has written a number of books on the future and implications of modern computing. He has also written one work of fiction, The Planiverse...
- Vinod DhamVinod DhamVinod Dham is an Inventor, Entrepreneur and Venture Capitalist. He is popularly known as the Father of the Pentium chip. for his contribution to the development of highly successful Pentium Processors from Intel...
– P5P5 (microarchitecture)The original Pentium microprocessor was introduced on March 22, 1993. Its microarchitecture, deemed P5, was Intel's fifth-generation and first superscalar x86 microarchitecture. As a direct extension of the 80486 architecture, it included dual integer pipelines, a faster FPU, wider data bus,...
Pentium processor - Jan DietzJan DietzJean Leonardus Gerardus Dietz is a Dutch computer scientist, and former Professor of Information Systems Design at Delft University of Technology.- Biography :Jan Dietz was born in 1945 in Brunssum. He obtained a M.A...
(1945 -ι) - information systemsInformation systemsInformation Systems is an academic/professional discipline bridging the business field and the well-defined computer science field that is evolving toward a new scientific area of study...
theory and "Design & Engineering Methodology for Organizations" - Whitfield DiffieWhitfield DiffieBailey Whitfield 'Whit' Diffie is an American cryptographer and one of the pioneers of public-key cryptography.Diffie and Martin Hellman's paper New Directions in Cryptography was published in 1976...
(1944-χLinear response functionA linear response function describes the input-output relationship of a signal transducer such as a radio turning electromagnetic waves into music or a neuron turning synaptic input into a response...
) – Public key cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties...
, Diffie–Hellman key exchange, - Edsger DijkstraEdsger DijkstraEdsger Wybe Dijkstra ; ) was a Dutch computer scientist. He received the 1972 Turing Award for fundamental contributions to developing programming languages, and was the Schlumberger Centennial Chair of Computer Sciences at The University of Texas at Austin from 1984 until 2000.Shortly before his...
– algorithmAlgorithmIn mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s, Goto considered harmful, semaphore (programming)Semaphore (programming)In computer science, a semaphore is a variable or abstract data type that provides a simple but useful abstraction for controlling access by multiple processes to a common resource in a parallel programming environment.... - Jack DongarraJack DongarraJack J. Dongarra is a University Distinguished Professor of Computer Sciencein the Electrical Engineering and Computer Science Department at the University of Tennessee...
– linear algebraLinear algebraLinear algebra is a branch of mathematics that studies vector spaces, also called linear spaces, along with linear functions that input one vector and output another. Such functions are called linear maps and can be represented by matrices if a basis is given. Thus matrix theory is often...
high performance computing - Marco DorigoMarco DorigoMarco Dorigo is a research director for the Belgian Funds for Scientific Research , a professor in the computer science department of the University of Paderborn and a co-director of , the artificial intelligence lab of the Université Libre de Bruxelles.He is the proponent of the "ant colony...
– ant colony optimizationAnt colony optimizationIn computer science and operations research, the ant colony optimization algorithm ' is a probabilistic technique for solving computational problems which can be reduced to finding good paths through graphs.... - Paul DourishPaul DourishPaul Dourish is a computer scientist best known for his work at the intersection of computer science and social science. He is a professor at the University of California, Irvine, where he joined the faculty in 2000.- Life and Work :...
– human computer interaction - Charles Stark DraperCharles Stark DraperCharles Stark Draper was an American scientist and engineer, often referred to as "the father of inertial navigation." He was the founder and director of the MIT Instrumentation Laboratory, later renamed the Charles Stark Draper Laboratory, which under his direction designed and built the Apollo...
(1901Angular accelerationAngular acceleration is the rate of change of angular velocity over time. In SI units, it is measured in radians per second squared , and is usually denoted by the Greek letter alpha .- Mathematical definition :...
–1987VelocityIn physics, velocity is speed in a given direction. Speed describes only how fast an object is moving, whereas velocity gives both the speed and direction of the object's motion. To have a constant velocity, an object must have a constant speed and motion in a constant direction. Constant ...
) - designer: Apollo Guidance ComputerApollo Guidance ComputerThe Apollo Guidance Computer provided onboard computation and control for guidance, navigation, and control of the Command Module and Lunar Module spacecraft of the Apollo program...
, "Father of inertial navigation", MIT Professor. - Susan DumaisSusan DumaisSusan Dumais is a Principal Researcher in the Context, Learning, and User Experience for Search Group of Microsoft Research and an Affiliate Professor at the University of Washington Information School....
– Information RetrievalInformation retrievalInformation retrieval is the area of study concerned with searching for documents, for information within documents, and for metadata about documents, as well as that of searching structured storage, relational databases, and the World Wide Web... - Adam DunkelsAdam DunkelsAdam Dunkels, Ph.D., is a Swedish software engineer, researcher and co-founder of the Networked Embedded Systems Group at the Swedish Institute of Computer Science in Kista, Sweden. His research is mainly focused on networking technology and distributed communication for small embedded devices and...
– ProtothreadsProtothreadsIn computer science, a protothread is a low-overhead mechanism for concurrent programming.Protothreads function as stackless, lightweight threads providing a blocking context cheaply using minimal memory per protothread .... - Alan DixAlan DixAlan Dix is an expert in the field of human-computer interaction. He is co-author of a widely-used university level textbook, entitled Human-Computer Interaction. He is currently a professor at Lancaster University.-External links:* * * *...
– literally wrote the book on HCI Human–computer interactionHuman–computer interactionHuman–computer Interaction is the study, planning, and design of the interaction between people and computers. It is often regarded as the intersection of computer science, behavioral sciences, design and several other fields of study...
E
- Annie J. EasleyAnnie EasleyAnnie J. Easley was born on April 23, 1933 in Birmingham, Alabama and died June 25, 2011 in Cleveland, Ohio. She is an African American computer scientist who worked for the Lewis Research Center of the National Aeronautics and Space Administration and its predecessor, the National Advisory...
- Wim EbbinkhuijsenWim EbbinkhuijsenWim Ebbinkhuijsen is a retired Dutch computer scientist who is considered one of the "fathers of Cobol".in 1979 he founded the international ISO COBOL working group...
– COBOLCOBOLCOBOL is one of the oldest programming languages. Its name is an acronym for COmmon Business-Oriented Language, defining its primary domain in business, finance, and administrative systems for companies and governments.... - John Presper Eckert – ENIACENIACENIAC was the first general-purpose electronic computer. It was a Turing-complete digital computer capable of being reprogrammed to solve a full range of computing problems....
- Philip-Emeagwali – supercomputing
- E. Allen EmersonE. Allen EmersonErnest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.He won the 2007 A.M. Turing Award along with Edmund M...
– model checking - Douglas EngelbartDouglas EngelbartDouglas Carl Engelbart is an American inventor, and an early computer and internet pioneer. He is best known for his work on the challenges of human-computer interaction, resulting in the invention of the computer mouse, and the development of hypertext, networked computers, and precursors to GUIs...
– tiled windowsWindow (computing)In computing, a window is a visual area containing some kind of user interface. It usually has a rectangular shape that can overlap with the area of other windows...
, hypertextHypertextHypertext is text displayed on a computer or other electronic device with references to other text that the reader can immediately access, usually by a mouse click or keypress sequence. Apart from running text, hypertext may contain tables, images and other presentational devices. Hypertext is the...
, computer mouse - Andrey ErshovAndrey ErshovAcademician Andrey Petrovych Ershov was a Soviet computer scientist, notable as a pioneer in systems programming and programming language research. He was responsible for the languages ALPHA and Rapira, AIST-0 the first Soviet time-sharing system, electronic publishing system RUBIN, and MRAMOR, a...
- Don Estridge (1937-1985) Led development of original IBM Personal Computer (PC), known as "father of the IBM PC".
- Christopher Riche Evans
- David C. EvansDavid C. EvansDavid Cannon Evans was the founder of the computer science department at the University of Utah and co-founder of Evans & Sutherland, a computer firm which is known as a pioneer in the domain of computer-generated imagery.-Biography:Evans attended the University of Utah and studied electrical...
– computer graphicsComputer graphicsComputer graphics are graphics created using computers and, more generally, the representation and manipulation of image data by a computer with help from specialized software and hardware.... - Shimon EvenShimon EvenShimon Even was an Israeli computer science researcher. His main topics of interest included algorithms, graph theory and cryptography. He was a member of the Computer Science Department at the Technion since 1974...
F
- Scott FahlmanScott FahlmanScott Elliott Fahlman is a computer scientist at Carnegie Mellon University. He is notable for early work on automated planning in a blocks world, on semantic networks, on neural networks , on the Dylan programming language, and on Common Lisp...
- Nizar Fakhfakh
- Edward FeigenbaumEdward FeigenbaumEdward Albert Feigenbaum is a computer scientist working in the field of artificial intelligence. He is often called the "father of expert systems."...
– intelligenceIntelligenceIntelligence has been defined in different ways, including the abilities for abstract thought, understanding, communication, reasoning, learning, planning, emotional intelligence and problem solving.... - Edward FeltenEdward FeltenEdward William Felten is a professor of computer science and public affairs at Princeton University. On November 4, 2010 he was named the Chief Technologist for the United States Federal Trade Commission, a position he officially assumed January 3, 2011.Felten has done a variety of computer...
– computer securityComputer securityComputer security is a branch of computer technology known as information security as applied to computers and networks. The objective of computer security includes protection of information and property from theft, corruption, or natural disaster, while allowing the information and property to... - Tim FininTim FininTim Finin is a Professor of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County...
- Raphael FinkelRaphael FinkelRaphael Finkel is an American computer scientist and a professor at the University of Kentucky. He compiled the first version of the Jargon File. He is the author of An Operating Systems Vade Mecum, a textbook on operating systems, and Advanced Programming Language Design, an introductory book...
- Donald FiresmithDonald FiresmithDonald G. Firesmith is an American software engineer, consultant, and trainer at the Software Engineering Institute .- Biography :...
- Tommy FlowersTommy FlowersThomas "Tommy" Harold Flowers, MBE was an English engineer. During World War II, Flowers designed Colossus, the world's first programmable electronic computer, to help solve encrypted German messages.-Early life:...
– Colossus computerColossus computerNot to be confused with the fictional computer of the same name in the movie Colossus: The Forbin Project.Colossus was the world's first electronic, digital, programmable computer. Colossus and its successors were used by British codebreakers to help read encrypted German messages during World War II... - Robert FloydRobert FloydRobert W Floyd was an eminent computer scientist.His contributions include the design of the Floyd–Warshall algorithm , which efficiently finds all shortest paths in a graph, Floyd's cycle-finding algorithm for detecting cycles in a sequence, and his work on parsing...
– NP-completeNP-completeIn computational complexity theory, the complexity class NP-complete is a class of decision problems. A decision problem L is NP-complete if it is in the set of NP problems so that any given solution to the decision problem can be verified in polynomial time, and also in the set of NP-hard...
ness - James D. FoleyJames D. FoleyJames David Foley is a Professor and the Stephen Fleming Chair in Telecommunications in the School of Interactive Computing, and former Dean of the College of Computing at Georgia Institute of Technology from 2008-2010...
- Ken ForbusKen ForbusKen Forbus is Walter P. Murphy Professor of Computer Science and Professor of Education at Northwestern University. He is notable for his work in qualitative process theory, automated sketch understanding and on automated analogical reasoning. He developed the structure mapping engine based on the...
- Herbert W. FrankeHerbert W. FrankeHerbert W. Franke is an Austrian scientist and writer. He is considered one of the most important science fiction authors in the German language....
- Daniel P. FriedmanDaniel P. FriedmanDaniel Paul Friedman is a professor of Computer Science at Indiana University in Bloomington, Indiana. His research focuses on programming languages, and he is a prominent author in the field....
G
- Richard GabrielRichard GabrielRichard P. Gabriel is an expert on the Lisp programming language in computing. His best known work was a 1990 essay “Lisp: Good News, Bad News, How to Win Big”, which incorporated the phrase Worse is Better, and his set of Lisp benchmarks , published in 1985 as Performance and evaluation of Lisp...
- Zvi GalilZvi GalilZvi Galil is an Israeli computer scientist and mathematician. He is the dean of the Georgia Institute of Technology College of Computing. His research interests include the design and analysis of algorithms, computational complexity and cryptography...
- Bernard GallerBernard GallerBernard A. Galler was an American mathematician and computer scientist at the University of Michigan who was involved in the development of large-scale operating systems and computer languages including the MAD programming language and the Michigan Terminal System operating system.He attended the...
– MAD (programming language) - Hector Garcia-MolinaHector Garcia-MolinaHéctor García-Molina is a Professor in the Departments of Computer Science and ElectricalEngineering at Stanford University. He has served at the U.S...
- Michael GareyMichael GareyMichael Randolph Garey is a computer science researcher, and co-author of Computers and Intractability: A Guide to the Theory of NP-completeness. He earned his PhD in computer science in 1970 from the University of Wisconsin–Madison. In 1995 he was inducted as a Fellow of the Association for...
– NP-completeNP-completeIn computational complexity theory, the complexity class NP-complete is a class of decision problems. A decision problem L is NP-complete if it is in the set of NP problems so that any given solution to the decision problem can be verified in polynomial time, and also in the set of NP-hard...
ness - Hugo de GarisHugo de GarisHugo de Garis is a researcher in the sub-field of artificial intelligence known as evolvable hardware. He became known in the 1990s for his research on the use of genetic algorithms to evolve neural networks using three dimensional cellular automata inside field programmable gate arrays...
- David GelernterDavid GelernterDavid Hillel Gelernter is a professor of computer science at Yale University. In the 1980s, he made seminal contributions to the field of parallel computation, specifically the tuple space coordination model, as embodied by the Linda programming system...
- Charles GeschkeCharles GeschkeCharles Geschke, is best known as the 1982 co-founder with John Warnock of Adobe Systems Inc., the graphics and publishing software company.-Education:...
- Seymour GinsburgSeymour GinsburgSeymour Ginsburg was a pioneer of automata theory, formal language theory, anddatabase theory, in particular; and computer science, in general...
– formal languageFormal languageA formal language is a set of words—that is, finite strings of letters, symbols, or tokens that are defined in the language. The set from which these letters are taken is the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar...
s, automata theoryAutomata theoryIn theoretical computer science, automata theory is the study of abstract machines and the computational problems that can be solved using these machines. These abstract machines are called automata...
, AFL theoryAbstract family of languagesIn 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...
, database theoryDatabase theoryDatabase theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems.... - Robert L. GlassRobert L. GlassRobert L. Glass is an American software engineer and pioneer of the software field, currently serving as a visiting professor at Griffith University in Queensland, Australia.- Biography :...
- Kurt GödelKurt GödelKurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
– computability – not a computer scientist per se, but his work was invaluable in the field - Joseph GoguenJoseph GoguenJoseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and founder and Editor-in-Chief of the...
- Adele GoldbergAdele Goldberg (computer scientist)Adele Goldberg is a computer scientist who participated in the development of the programming language Smalltalk-80 and various concepts related to object oriented programming while a researcher at the Xerox Palo Alto Research Center, PARC, in the 1970s.Goldberg began working at PARC in 1973, and...
– SmalltalkSmalltalkSmalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created as the language to underpin the "new world" of computing exemplified by "human–computer symbiosis." It was designed and created in part for educational use, more so for constructionist... - Ian GoldbergIan GoldbergIan Avrum Goldberg is a cryptographer and cypherpunk. He is best known for breaking Netscape's implementation of SSL , and for his role as Chief Scientist of Radialpoint , a Canadian software company...
– cryptographer, off-the-record messagingOff-the-record messagingOff-the-Record Messaging, commonly referred to as OTR, is a cryptographic protocol that provides strong encryption for instant messaging conversations. OTR uses a combination of the AES symmetric-key algorithm, the Diffie–Hellman key exchange, and the SHA-1 hash function... - Oded GoldreichOded GoldreichOded Goldreich is a professor of Computer Science at the Faculty of Mathematics and Computer Science of Weizmann Institute of Science, Israel. His research interests lie within the theory of computation...
– cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties...
, computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Shafi GoldwasserShafi GoldwasserShafrira Goldwasser is the RSA Professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel.-Biography:...
– cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties...
, computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Gene Golub – matrix (math) computation
- Martin Charles GolumbicMartin Charles GolumbicMartin Charles Golumbic is a mathematician and computer scientist, best known for his work in algorithmic graph theory and in artificial intelligence. He is the founding editor-in-chief of the journal Annals of Mathematics and Artificial Intelligence.-Biography:Golumbic was born in 1948 in Erie,...
– algorithmic graph theory - James GoslingJames GoslingJames A. Gosling, OC is a computer scientist, best known as the father of the Java programming language.-Education and career:In 1977, Gosling received a B.Sc in Computer Science from the University of Calgary...
– NeWS, Java (programming language)Java (programming language)Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities... - Paul Graham – ViawebViawebViaweb was a web-based application that allowed users to build and host their own online stores with little effort and technical expertise, directly from their own web browser. The eponymous company was started in July 1995 by Paul Graham, Robert Morris, and Trevor Blackwell. Graham claims that...
, On LispOn LispOn Lisp: Advanced Techniques for Common Lisp is a book by Paul Graham on macro programming in Common Lisp. It is currently out of print, but can be freely downloaded as a pdf.-External links:**Free versions of "On Lisp"******...
, ArcArc (programming language)Arc is a dialect of the Lisp programming language now under development by Paul Graham and Robert Morris.- History :In 2001 Paul Graham announced that he was working on a new dialect of Lisp named "Arc"... - Susan L. GrahamSusan L. GrahamSusan L. Graham is a computer scientist. Graham is the Pehong Chen Distinguished Professor in the Computer Science Division of the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley...
– compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s, programming environments - Jim Gray – databaseDatabaseA database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality , in a way that supports processes requiring this information...
- Sheila GreibachSheila GreibachSheila Adele Greibach is a researcher in formal languages, automata,compiler theory in particular; and computer science in general. She is currently Professor of Computer Science at the University of California, Los Angeles....
– Greibach normal formGreibach normal formIn computer science and formal language theory, a context-free grammar is in Greibach normal form if the right-hand sides of all productions start with a terminal symbol, optionally followed by some variables. A non-strict form allows one exception to this format restriction for allowing the empty...
, AFL theoryAbstract family of languagesIn 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... - Ralph GriswoldRalph GriswoldRalph E. Griswold was a computer scientist known for his research into high-level programming languages and symbolic computation. His language credits include the string processing language SNOBOL, SL5, and Icon.He attended Stanford University, receiving a bachelor's degree in physics, then an...
– SNOBOLSNOBOLSNOBOL is a generic name for the computer programming languages developed between 1962 and 1967 at AT&T Bell Laboratories by David J. Farber, Ralph E. Griswold and Ivan P. Polonsky, culminating in SNOBOL4... - Bill GroppBill GroppWilliam Douglas "Bill" Gropp is Paul and Cynthia Saylor Professor of Computer Science at the University of Illinois Urbana-Champaign. Gropp helped to create the Message Passing Interface, also known as MPI, and the Portable, Extensible Toolkit for Scientific Computation, also known as PETSc...
– Message Passing InterfaceMessage Passing InterfaceMessage Passing Interface is a standardized and portable message-passing system designed by a group of researchers from academia and industry to function on a wide variety of parallel computers...
, PETScPortable, Extensible Toolkit for Scientific ComputationThe Portable, Extensible Toolkit for Scientific Computation , is a suite of data structures and routines for the scalable solution of scientific applications modeled by partial differential equations. It employs the Message Passing Interface standard for all message-passing communication... - Barbara J. Grosz – Natural Language ProcessingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
, PlanningPlanningPlanning in organizations and public policy is both the organizational process of creating and maintaining a plan; and the psychological process of thinking about the activities required to create a desired goal on some scale. As such, it is a fundamental property of intelligent behavior...
, Centering Theory - Tom GruberTom GruberThomas Robert Gruber is an American computer scientist, inventor, and entrepreneur with a focus on systems for knowledge sharing and collective intelligence...
- Ramanathan V. GuhaRamanathan V. GuhaRamanathan V. Guha is an Indian computer scientist. He graduated with B.Tech from Indian Institute of Technology Madras, MS from University of California Berkeley and...
– RDFResource Description FrameworkThe Resource Description Framework is a family of World Wide Web Consortium specifications originally designed as a metadata data model...
, NetscapeNetscapeNetscape Communications is a US computer services company, best known for Netscape Navigator, its web browser. When it was an independent company, its headquarters were in Mountain View, California...
, RSS (file format)RSS (file format)RSS is a family of web feed formats used to publish frequently updated works—such as blog entries, news headlines, audio, and video—in a standardized format...
, EpinionsEpinionsEpinions.com is a general consumer review site that was established in 1999. Epinions was acquired by Shopping.com in 2003, which in turn was acquired by Ebay in 2005... - Neil J. GuntherNeil J. GuntherNeil Gunther, is a computer information systems researcher best known internationally for developing the open-source performance modeling software Pretty Damn Quick and developing the to computer capacity planning and performance analysis...
– computer performanceComputer performanceComputer performance is characterized by the amount of useful work accomplished by a computer system compared to the time and resources used.Depending on the context, good computer performance may involve one or more of the following:...
analysis, capacity planningCapacity planningCapacity planning is the process of determining the production capacity needed by an organization to meet changing demands for its products. In the context of capacity planning, "capacity" is the maximum amount of work that an organization is capable of completing in a given period of time... - Peter G. GyarmatiPeter G. GyarmatiPeter G. Gyarmati is a software engineer and computer scientist, best-known for the development of OS/360+HASP for the System/360, then later the OS/VS for the System/370, especially the resource allocation system...
– adaptivity in operating systems and networking
H
- Philipp Matthäus Hahn – mechanical calculatorCalculatorAn electronic calculator is a small, portable, usually inexpensive electronic device used to perform the basic operations of arithmetic. Modern calculators are more portable than most computers, though most PDAs are comparable in size to handheld calculators.The first solid-state electronic...
- Eldon C. HallEldon C. HallEldon Hall was the leader of hardware design efforts for the Apollo Guidance Computer at MIT, and advocated the use of integrated circuits for this task...
– Apollo Guidance ComputerApollo Guidance ComputerThe Apollo Guidance Computer provided onboard computation and control for guidance, navigation, and control of the Command Module and Lunar Module spacecraft of the Apollo program... - Joseph HalpernJoseph HalpernJoseph Yehuda Halpern is a professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty....
- Richard HammingRichard HammingRichard Wesley Hamming was an American mathematician whose work had many implications for computer science and telecommunications...
– Hamming codeHamming codeIn telecommunication, Hamming codes are a family of linear error-correcting codes that generalize the Hamming-code invented by Richard Hamming in 1950. Hamming codes can detect up to two and correct up to one bit errors. By contrast, the simple parity code cannot correct errors, and can detect only...
, founder of the Association for Computing MachineryAssociation for Computing MachineryThe Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009... - Jiawei HanJiawei HanJiawei Han, born in Shanghai, China on 11 August 1949, is a renowned computer scientist who specializes in research on Data Mining. He is an ACM fellow and an IEEE fellow. He was the 2009 winner of the McDowell Award, the highest technical award made by IEEE....
– Data miningData miningData mining , a relatively young and interdisciplinary field of computer science is the process of discovering new patterns from large data sets involving methods at the intersection of artificial intelligence, machine learning, statistics and database systems... - Juris HartmanisJuris HartmanisJuris Hartmanis 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".Hartmanis was born in Latvia...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Johan HåstadJohan HåstadJohan Torkel Håstad is a Swedish theoretical computer scientist most known for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 and 2011 and the ACM Doctoral Dissertation Award in 1986, among other prizes...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Les HattonLes HattonLes Hatton is a British-born computer scientist and mathematician most notable for his work in failures and vulnerabilities in software controlled systems....
– software failure and vulnerabilities - He JifengHe JifengHe Jifeng is a Chinese computer scientist.He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science...
– provably correct systems - Martin HellmanMartin HellmanMartin Edward Hellman is an American cryptologist, and is best known for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle...
– encryption - Gernot HeiserGernot HeiserGernot Heiser is a Scientia Professor and the John Lions Chair for operating systems at the University of New South Wales . He is also leader of the at NICTA. In 2006 he co-founded Open Kernel Labs to commercialise his L4 microkernel technology...
– Development of L4L4 microkernel familyL4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems.L4 was a response to the poor performance of earlier microkernel-base operating systems...
and founder of OK Labs - James HendlerJames HendlerJames Hendler is an artificial intelligence researcher at Rensselaer Polytechnic Institute, USA, and one of the originators of the Semantic Web.-Background and research:...
– Semantic WebSemantic WebThe Semantic Web is a collaborative movement led by the World Wide Web Consortium that promotes common formats for data on the World Wide Web. By encouraging the inclusion of semantic content in web pages, the Semantic Web aims at converting the current web of unstructured documents into a "web of... - John L. HennessyJohn L. HennessyJohn LeRoy Hennessy is an American computer scientist and academician. Hennessy is one of the founders of MIPS Computer Systems Inc. and is the 10th President of Stanford University.-Background:...
– computer architectureComputer architectureIn computer science and engineering, computer architecture is the practical art of selecting and interconnecting hardware components to create computers that meet functional, performance and cost goals and the formal modelling of those systems.... - Andrew HerbertAndrew HerbertAndrew James Herbert OBE is a British computer scientist, formerly Chairman of Microsoft Research, for the Europe, Middle East and Africa region.- Biography :...
- Danny Hillis – Connection MachineConnection MachineThe Connection Machine was a series of supercomputers that grew out of Danny Hillis' research in the early 1980s at MIT on alternatives to the traditional von Neumann architecture of computation...
- Geoffrey HintonGeoffrey HintonGeoffrey Hinton is a British born informatician most noted for his work on the mathematics and applications of neural networks, and their relationship to information theory.-Career:...
- Julia B. Hirschberg – Computational LinguisticsComputational linguisticsComputational linguistics is an interdisciplinary field dealing with the statistical or rule-based modeling of natural language from a computational perspective....
- C. A. R. HoareC. A. R. HoareSir Charles Antony Richard Hoare , commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development of Quicksort, one of the world's most widely used sorting algorithms...
– LogicLogicIn philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, rigor, Communicating sequential processesCommunicating sequential processesIn computer science, Communicating Sequential Processes is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi...
(CSP) - John Henry HollandJohn Henry HollandJohn Henry Holland is an American scientist and Professor of Psychology and Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He is a pioneer in complex systems and nonlinear science. He is known as the father of genetic algorithms. He was awarded...
– genetic algorithmGenetic algorithmA genetic algorithm is a search heuristic that mimics the process of natural evolution. This heuristic is routinely used to generate useful solutions to optimization and search problems...
s - Herman HollerithHerman HollerithHerman Hollerith was an American statistician who developed a mechanical tabulator based on punched cards to rapidly tabulate statistics from millions of pieces of data. He was the founder of one of the companies that later merged and became IBM.-Personal life:Hollerith was born in Buffalo, New...
(1860-1929) – invented recording of data on a machine readable medium, using punched cardPunched cardA punched card, punch card, IBM card, or Hollerith card is a piece of stiff paper that contains digital information represented by the presence or absence of holes in predefined positions...
s - John HopcroftJohn HopcroftJohn Edward Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation and data structures are regarded as standards in their fields. He is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University.He received his...
– compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s - Admiral Grace HopperGrace HopperRear Admiral Grace Murray Hopper was an American computer scientist and United States Navy officer. A pioneer in the field, she was one of the first programmers of the Harvard Mark I computer, and developed the first compiler for a computer programming language...
(1906-1992) – develop early compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s: FLOW-MaticFLOW-MATICFLOW-MATIC, originally known as B-0 , was the first English-like data processing language. It was developed for the UNIVAC I at Remington Rand under Grace Hopper.-Development:...
, COBOLCOBOLCOBOL is one of the oldest programming languages. Its name is an acronym for COmmon Business-Oriented Language, defining its primary domain in business, finance, and administrative systems for companies and governments....
. Also worked on UNIVACUNIVACUNIVAC is the name of a business unit and division of the Remington Rand company formed by the 1950 purchase of the Eckert-Mauchly Computer Corporation, founded four years earlier by ENIAC inventors J. Presper Eckert and John Mauchly, and the associated line of computers which continues to this day...
, gave speeches on computer history, where when gave out nano-seconds. - Eric HorvitzEric HorvitzEric Horvitz is a Distinguished Scientist at Microsoft, where he serves as a research area manager within Microsoft Research. His research interests span theoretical and practical challenges with developing systems that perceive, learn, and reason...
- Artificial IntelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its... - Alston Householder
- David A. HuffmanDavid A. HuffmanDavid Albert Huffman was a pioneer in computer science. He is well-known for his Huffman coding. David Huffman died at the age of 74 after a 10-month battle with cancer.-Education:...
(1925-1999) – Huffman codingHuffman codingIn computer science and information theory, Huffman coding is an entropy encoding algorithm used for lossless data compression. The term refers to the use of a variable-length code table for encoding a source symbol where the variable-length code table has been derived in a particular way based on...
, used in data compression.
I
- Jean IchbiahJean IchbiahJean David Ichbiah was a French-born computer scientist and the chief designer of Ada, a general-purpose, strongly typed programming language with certified validated compilers....
– Ada (programming language)Ada (programming language)Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages... - Dan Ingalls - Bit blitBit blitBit BLIT is a computer graphics operation in which several bitmaps are combined into one using a raster operator....
, Lively KernelLively KernelThe Lively Kernel is an open source web programming environment. It supports desktop-style applications with rich graphics and direct manipulation abilities, but without the installation or upgrade troubles of conventional desktop applications... - Kenneth E. IversonKenneth E. IversonKenneth Eugene Iverson was a Canadian computer scientist noted for the development of the APL programming language in 1962. He was honored with the Turing Award in 1979 for his contributions to mathematical notation and programming language theory...
– APL (programming language), J (programming language)J (programming language)The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is a synthesis of APL and the FP and FL function-level languages created by John Backus....
J
- Ivar JacobsonIvar JacobsonIvar Hjalmar Jacobson is a Swedish computer scientist, known as major contributor to UML, Objectory, RUP and aspect-oriented software development.- Biography :...
– Unified Modeling LanguageUnified Modeling LanguageUnified Modeling Language is a standardized general-purpose modeling language in the field of object-oriented software engineering. The standard is managed, and was created, by the Object Management Group...
, Object Management GroupObject Management GroupObject Management Group is a consortium, originally aimed at setting standards for distributed object-oriented systems, and is now focused on modeling and model-based standards.- Overview :... - Ramesh JainRamesh JainRamesh Chandra Jain is a scientist and entrepreneur whose decades long career has spanned several universities and startup companies. He is best known for founding the company Virage and working on some of the early visual information retrieval systems...
- Jonathan James
- David S. JohnsonDavid S. JohnsonDavid Stifler Johnson is a computer scientist specializing in algorithms and optimization. He is currently the head of the Algorithms and Optimization Department of AT&T Labs Research. He was awarded the 2010 Knuth Prize....
- Stephen C. JohnsonStephen C. JohnsonStephen Curtis Johnson spent nearly 20 years at Bell Labs and AT&T where he wrote yacc, lint, spell and the Portable C Compiler machine .Johnson earned his PhD in mathematics but has spent his entire career in computer science...
- Cliff Jones – Vienna Development MethodVienna Development MethodThe Vienna Development Method is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM...
(VDM) - Michael I. JordanMichael I. JordanMichael I. Jordan is a leading researcher in machine learning and artificial intelligence. Jordan was a prime mover behind popularising Bayesian networks in the machine learning community and is known for pointing out links between machine learning and statistics...
- Aravind K. Joshi
- Bill JoyBill JoyWilliam Nelson Joy , commonly known as Bill Joy, is an American computer scientist. Joy co-founded Sun Microsystems in 1982 along with Vinod Khosla, Scott McNealy and Andy Bechtolsheim, and served as chief scientist at the company until 2003...
(1954-ξ) – Sun MicrosystemsSun MicrosystemsSun Microsystems, Inc. was a company that sold :computers, computer components, :computer software, and :information technology services. Sun was founded on February 24, 1982...
, BSDBerkeley Software DistributionBerkeley Software Distribution is a Unix operating system derivative developed and distributed by the Computer Systems Research Group of the University of California, Berkeley, from 1977 to 1995...
UNIX, viVivi is a screen-oriented text editor originally created for the Unix operating system. The portable subset of the behavior of vi and programs based on it, and the ex editor language supported within these programs, is described by the Single Unix Specification and POSIX.The original code for vi...
, cshC shellThe C shell is a Unix shell that was created by Bill Joy while a graduate student at University of California, Berkeley in the late 1970s. It has been distributed widely, beginning with the 2BSD release of the BSD Unix system that Joy began distributing in 1978...
K
- William KahanWilliam KahanWilliam Morton Kahan is a mathematician and computer scientist who received the Turing Award in 1989 for "his fundamental contributions to numerical analysis", and was named an ACM Fellow in 1994....
– numerical analysisNumerical analysisNumerical analysis is the study of algorithms that use numerical approximation for the problems of mathematical analysis .... - Robert E. Kahn – TCP/IP
- Avinash KakAvinash KakAvinash C. Kak is a professor of Electrical and Computer Engineering at Purdue University who has done pioneering research in several different aspects of information processing...
– digital image processingDigital image processingDigital image processing is the use of computer algorithms to perform image processing on digital images. As a subcategory or field of digital signal processing, digital image processing has many advantages over analog image processing... - Daniel Mopati Kapeng – web designing principles
- David KargerDavid KargerDavid Karger is a Professor of Computer Science and a member of the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology . He received an AB from Harvard University and a PhD in computer science from Stanford University. Dr...
- Alan KayAlan KayAlan Curtis Kay is an American computer scientist, known for his early pioneering work on object-oriented programming and windowing graphical user interface design, and for coining the phrase, "The best way to predict the future is to invent it."He is the president of the Viewpoints Research...
– DynabookDynabookThe Dynabook concept, created by Alan Kay in 1968, described what is now known as a laptop computer or a tablet or slate computer with nearly eternal battery life and software aimed at giving children access to digital media...
, SmalltalkSmalltalkSmalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created as the language to underpin the "new world" of computing exemplified by "human–computer symbiosis." It was designed and created in part for educational use, more so for constructionist...
, overlapping windowsWindow (computing)In computing, a window is a visual area containing some kind of user interface. It usually has a rectangular shape that can overlap with the area of other windows... - Richard KarpRichard KarpRichard Manning Karp is a computer scientist and computational theorist at the University of California, Berkeley, notable for research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto...
– NP-completeNP-completeIn computational complexity theory, the complexity class NP-complete is a class of decision problems. A decision problem L is NP-complete if it is in the set of NP problems so that any given solution to the decision problem can be verified in polynomial time, and also in the set of NP-hard...
ness - Narendra KarmarkarNarendra KarmarkarNarendra K. Karmarkar is an Indian mathematician, renowned for developing Karmarkar's algorithm. He is listed as an ISI highly cited researcher.- Biography :...
– Karmarkar's algorithmKarmarkar's algorithmKarmarkar's algorithm is an algorithm introduced by Narendra Karmarkar in 1984 for solving linear programming problems. It was the first reasonably efficient algorithm that solves these problems in polynomial time... - Marek KarpinskiMarek KarpinskiMarek Karpinski is a computer scientist and mathematician known for his research in the theory of algorithms and their applications, combinatorial optimization, computational complexity, and mathematical foundations...
– NP optimization problems - John George KemenyJohn George KemenyJohn George Kemeny was a Hungarian American mathematician, computer scientist, and educator best known for co-developing the BASIC programming language in 1964 with Thomas E. Kurtz. Kemeny served as the 13th President of Dartmouth College from 1970 to 1981 and pioneered the use of computers in...
– BASICBASICBASIC is a family of general-purpose, high-level programming languages whose design philosophy emphasizes ease of use - the name is an acronym from Beginner's All-purpose Symbolic Instruction Code.... - Ken KennedyKen Kennedy (computer scientist)Ken Kennedy was an American computer scientist and professor at Rice University. He was the founding chairman of Rice's Computer Science Department....
– compiling for parallel and vector machines - Brian KernighanBrian KernighanBrian Wilson Kernighan is a Canadian computer scientist who worked at Bell Labs alongside Unix creators Ken Thompson and Dennis Ritchie and contributed to the development of Unix. He is also coauthor of the AWK and AMPL programming languages. The 'K' of K&R C and the 'K' in AWK both stand for...
(1942- τ) – UnixUnixUnix is a multitasking, multi-user computer operating system originally developed in 1969 by a group of AT&T employees at Bell Labs, including Ken Thompson, Dennis Ritchie, Brian Kernighan, Douglas McIlroy, and Joe Ossanna...
, the 'k' in AWK - Carl KesselmanCarl KesselmanCarl Kesselman is an Institute Fellow at the University of Southern California's Information Sciences Institute and a Professor in the Epstein Department of Industrial and Systems Engineering, also at the University of Southern California. Carl Kesselman is an acknowledged authority in grid...
– grid computingGrid computingGrid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common goal. The grid can be thought of as a distributed system with non-interactive workloads that involve a large number of files... - Gregor KiczalesGregor KiczalesGregor Kiczales is a professor of computer science at the University of British Columbia in Canada. His best known work is on Aspect-oriented programming and the AspectJ extension for Java at Xerox PARC. He has also contributed to the design of the Common Lisp Object System, and is the author of...
– CLOSCLOSThe Common Lisp Object System is the facility for object-oriented programming which is part of ANSI Common Lisp. CLOS is a powerful dynamic object system which differs radically from the OOP facilities found in more static languages such as C++ or Java. CLOS was inspired by earlier Lisp object...
, reflection (computer science)Reflection (computer science)In computer science, reflection is the process by which a computer program can observe and modify its own structure and behavior at runtime....
, aspect-oriented programmingAspect-oriented programmingIn computing, aspect-oriented programming is a programming paradigm which aims to increase modularity by allowing the separation of cross-cutting concerns... - Stephen Cole KleeneStephen Cole KleeneStephen Cole Kleene was an American mathematician who helped lay the foundations for theoretical computer science...
– Kleene closure, recursion theoryRecursion theoryComputability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability... - Leonard KleinrockLeonard KleinrockLeonard Kleinrock is an American engineer and computer scientist. A computer science professor at UCLA's Henry Samueli School of Engineering and Applied Science, he made several important contributions to the field of computer networking, in particular to the theoretical side of computer networking...
– ARPANETARPANETThe Advanced Research Projects Agency Network , was the world's first operational packet switching network and the core network of a set that came to compose the global Internet...
, queueing theoryQueueing theoryQueueing theory is the mathematical study of waiting lines, or queues. The theory enables mathematical analysis of several related processes, including arriving at the queue, waiting in the queue , and being served at the front of the queue...
, packet switchingPacket switchingPacket switching is a digital networking communications method that groups all transmitted data – regardless of content, type, or structure – into suitably sized blocks, called packets. Packet switching features delivery of variable-bit-rate data streams over a shared network...
, hierarchical routingHierarchical routingHierarchical routing is method of routing in networks that is based on hierarchical addressing.-Background:Most Transmission Control Protocol/Internet Protocol routing is based on a two-level hierarchical routing in which an IP address is divided into a network portion and a host portion... - Donald KnuthDonald KnuthDonald Ervin Knuth is a computer scientist and Professor Emeritus at Stanford University.He is the author of the seminal multi-volume work The Art of Computer Programming. Knuth has been called the "father" of the analysis of algorithms...
– The Art of Computer ProgrammingThe Art of Computer ProgrammingThe Art of Computer Programming is a comprehensive monograph written by Donald Knuth that covers many kinds of programming algorithms and their analysis....
, MIXMIXMIX is a hypothetical computer used in Donald Knuth's monograph, The Art of Computer Programming . MIX's model number is 1009, which was derived by combining the model numbers and names of several contemporaneous, commercial machines deemed significant by the author...
/MMIXMMIXMMIX is a 64-bit RISC instruction set architecture designed by Donald Knuth, with significant contributions by John L. Hennessy and Richard L. Sites...
, TeXTeXTeX is a typesetting system designed and mostly written by Donald Knuth and released in 1978. Within the typesetting system, its name is formatted as ....
, literate programmingLiterate programmingLiterate programming is an approach to programming introduced by Donald Knuth as an alternative to the structured programming paradigm of the 1970s.... - Andrew KoenigAndrew Koenig (programmer)Andrew R. Koenig is a former AT&T and Bell Labs researcher and programmer. He is the author of C Traps and Pitfalls, co-author of Accelerated C++ & Ruminations on C++, and his name is associated with argument-dependent name lookup, also known as "Koenig lookup"...
– C++C++C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell... - Michael KöllingMichael KöllingMichael Kölling is a professor and software developer currently with the School of Computing at the University of Kent. Originally from Bremen, Germany, he is also a key member of the team that developed the BlueJ and Greenfoot Java learning environments. BlueJ is used in over 900 institutions...
– BlueJBlueJBlueJ is an integrated development environment for the Java programming language, developed mainly for educational purposes, but also suitable for small-scale software development.... - Janet L. Kolodner – case-based reasoningCase-based reasoningCase-based reasoning , broadly construed, is the process of solving new problems based on the solutions of similar past problems. An auto mechanic who fixes an engine by recalling another car that exhibited similar symptoms is using case-based reasoning...
- David Korn – Korn shellKorn shellThe Korn shell is a Unix shell which was developed by David Korn in the early 1980s and announced at USENIX on July 14, 1983. Other early contributors were AT&T Bell Labs developers Mike Veach, who wrote the emacs code, and Pat Sullivan, who wrote the vi code...
- Kees KosterCornelis H. A. KosterCornelis Hermanus Antonius "Kees" Koster is a professor in the Department of Informatics of the University of Nijmegen in the Netherlands....
– ALGOL 68ALGOL 68ALGOL 68 isan imperative computerprogramming language that was conceived as a successor to theALGOL 60 programming language, designed with the goal of a... - John KozaJohn KozaJohn R. Koza is a computer scientist and a former consulting professor at Stanford University, most notable for his work in pioneering the use of genetic programming for the optimization of complex problems. He was a cofounder of Scientific Games Corporation, a company which built computer systems...
– genetic programmingGenetic programmingIn artificial intelligence, genetic programming is an evolutionary algorithm-based methodology inspired by biological evolution to find computer programs that perform a user-defined task. It is a specialization of genetic algorithms where each individual is a computer program... - Andrey Nikolaevich Kolmogorov – algorithmic complexity theory
- Robert KowalskiRobert KowalskiRobert "Bob" Anthony Kowalski is a British logician and computer scientist, who has spent most of his career in the United Kingdom....
– logic programmingLogic programmingLogic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a... - John KrogstieJohn KrogstieJohn Krogstie is a Norwegian computer scientist, professor in information systems at the Norwegian University of Science and Technology in Trondheim, Norway, and an expert in the field of enterprise modelling.- Biography :...
– SEQUAL framework - Joseph KruskalJoseph KruskalJoseph Bernard Kruskal, Jr. was an American mathematician, statistician, computer scientist and psychometrician. He was a student at the University of Chicago and at Princeton University, where he completed his Ph.D. in 1954, nominally under Albert W...
– Kruskal's algorithmKruskal's algorithmKruskal's algorithm is an algorithm in graph theory that finds a minimum spanning tree for a connected weighted graph. This means it finds a subset of the edges that forms a tree that includes every vertex, where the total weight of all the edges in the tree is minimized... - Thomas E. Kurtz (1928-β) – BASICBASICBASIC is a family of general-purpose, high-level programming languages whose design philosophy emphasizes ease of use - the name is an acronym from Beginner's All-purpose Symbolic Instruction Code....
programming language, Dartmouth computer professor.
L
- Monica S. LamMonica S. LamMonica Sin-Ling Lam is a professor in the Computer Science Department at Stanford, and Founder and Chief Scientist of MokaFive.-Professional biography:...
- Leslie LamportLeslie LamportLeslie Lamport is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972...
– algorithmAlgorithmIn mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s for distributed computingDistributed computingDistributed computing is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal...
, LaTeXLaTeXLaTeX is a document markup language and document preparation system for the TeX typesetting program. Within the typesetting system, its name is styled as . The term LaTeX refers only to the language in which documents are written, not to the editor used to write those documents. In order to...
. - Butler W. Lampson
- Peter J. LandinPeter J. LandinPeter John Landin was a British computer scientist. He was one of the first to realize that the lambda calculus could be used to model a programming language, an insight that is essential to development of both functional programming and denotational semantics.- Academic :Landin was born in...
- Tom Lane (computer scientist)
- Börje LangeforsBörje LangeforsBörje Langefors was a Swedish engineer and computer scientist, Emeritus Professor of Business Information Systems at the Department of Computer and Systems Science, Stockholm University and Royal Institute of Technology, Stockholm, and "one of those who made systems development a science."-...
- Edward D. LazowskaEdward D. LazowskaEdward D. Lazowska is an American computer scientist. He holds the Bill & Melinda Gates Chair in Computer Science & Engineering at the University of Washington, and is the founding Director of the University of Washington eScience Institute...
- Joshua LederbergJoshua LederbergJoshua Lederberg ForMemRS was an American molecular biologist known for his work in microbial genetics, artificial intelligence, and the United States space program. He was just 33 years old when he won the 1958 Nobel Prize in Physiology or Medicine for discovering that bacteria can mate and...
- Manny M Lehman – Laws of Software Evolution
- Charles E. LeisersonCharles E. LeisersonCharles Eric Leiserson is a computer scientist, specializing in the theory of parallel computing and distributed computing, and particularly practical applications thereof; as part of this effort, he developed the Cilk multithreaded language...
– cache-oblivious algorithms, provably good work-stealing, coauthor of Introduction to AlgorithmsIntroduction to AlgorithmsIntroduction to Algorithms is a book by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. It is used as the textbook for algorithms courses at many universities. It is also one of the most commonly cited references for algorithms in published papers, with over 4600... - Douglas LenatDouglas LenatDouglas B. Lenat is the CEO of Cycorp, Inc. of Austin, Texas, and has been a prominent researcher in artificial intelligence, especially machine learning , knowledge representation, blackboard systems, and "ontological engineering"...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, CycCycCyc is an artificial intelligence project that attempts to assemble a comprehensive ontology and knowledge base of everyday common sense knowledge, with the goal of enabling AI applications to perform human-like reasoning.... - Rasmus LerdorfRasmus LerdorfRasmus Lerdorf is a Danish programmer with Canadian citizenship and is most notable as the creator of the PHP scripting language. He authored the first two versions...
– PHPPHPPHP is a general-purpose server-side scripting language originally designed for web development to produce dynamic web pages. For this purpose, PHP code is embedded into the HTML source document and interpreted by a web server with a PHP processor module, which generates the web page document... - Leonid LevinLeonid Levin-External links:* at Boston University....
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - J.C.R. Licklider
- David LiddleDavid LiddleDavid Liddle is co-founder of Interval Research Corporation, consulting professor of computer science at Stanford University, and credited with heading development of the groundbreaking Xerox Star computer system. He has served on the board of many corporations. He was chair of the board of...
- John LionsJohn LionsJohn Lions was an Australian computer scientist. He is best known as the author of Lions' Commentary on UNIX 6th Edition, with Source Code, commonly known as the Lions Book.-Early life:...
– Lions BookLions' Commentary on UNIX 6th Edition, with Source CodeLions' Commentary on UNIX 6th Edition, with Source Code by John Lions contains the complete source code of the 6th Edition Unix kernel plus a commentary. It is commonly referred to as the Lions book... - Richard J. LiptonRichard J. LiptonRichard Jay "Dick" Lipton is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Lipton is presently Associate Dean of Research, Professor, and the Frederick G...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Barbara LiskovBarbara LiskovBarbara Liskov is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology.-Life and career:She earned her BA in...
– programming languageProgramming languageA programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s - Diane R. Litman – planningPlanningPlanning in organizations and public policy is both the organizational process of creating and maintaining a plan; and the psychological process of thinking about the activities required to create a desired goal on some scale. As such, it is a fundamental property of intelligent behavior...
, natural language processingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence.... - Ada LovelaceAda LovelaceAugusta Ada King, Countess of Lovelace , born Augusta Ada Byron, was an English writer chiefly known for her work on Charles Babbage's early mechanical general-purpose computer, the analytical engine...
– first programmer - Nancy LynchNancy LynchNancy Ann Lynch is a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the Theory of Distributed Systems research group at MIT's Computer Science and Artificial Intelligence Laboratory.She is the...
M
- Mohamed Medhat
- Zohar MannaZohar MannaZohar Manna is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation , one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.With Amir Pnueli, he co-authored an unfinished trilogy...
– fuzzy logicFuzzy logicFuzzy logic is a form of many-valued logic; it deals with reasoning that is approximate rather than fixed and exact. In contrast with traditional logic theory, where binary sets have two-valued logic: true or false, fuzzy logic variables may have a truth value that ranges in degree between 0 and 1... - Max LevchinMax LevchinMax Rafael Levchin is a Ukrainian-born American computer scientist and internet entrepreneur widely known as one of the co-founders and for his role as the former chief technology officer of PayPal....
– Gausebeck-Lechin Test and PayPal - James MartinJames Martin (author)James Martin is a British Information Technology consultant and author, who was nominated for a Pulitzer prize for his book, The Wired Society: A Challenge for Tomorrow .- Biography :...
– information engineeringInformation engineeringInformation engineering or information engineering methodology in software engineering is an approach to designing and developing information systems.-Overview:... - John MasheyJohn MasheyJohn Mashey is a computer scientist, director and entrepreneur.Mashey holds a Ph.D. in computer science from Pennsylvania State University, where he developed the ASSIST assembler language teaching software. He worked on the PWB/UNIX operating system at Bell Labs from 1973 to 1983, authoring the...
- Yuri MatiyasevichYuri MatiyasevichYuri Vladimirovich Matiyasevich, is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem, presented in his doctoral thesis, at LOMI .- Biography :* In 1962-1963 studied at Saint Petersburg Lyceum 239...
– solving Hilbert's tenth problemHilbert's tenth problemHilbert's tenth problem is the tenth on the list of Hilbert's problems of 1900. Its statement is as follows:Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite... - Yukihiro MatsumotoYukihiro Matsumotois a Japanese computer scientist and software programmer best known as the chief designer of the Ruby programming language and its reference implementation, Matz's Ruby Interpreter ....
– Ruby (programming language)Ruby (programming language)Ruby is a dynamic, reflective, general-purpose object-oriented programming language that combines syntax inspired by Perl with Smalltalk-like features. Ruby originated in Japan during the mid-1990s and was first developed and designed by Yukihiro "Matz" Matsumoto... - John MauchlyJohn MauchlyJohn William Mauchly 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.Together they started the first computer company,...
(1907-1980) - Designed ENIACENIACENIAC was the first general-purpose electronic computer. It was a Turing-complete digital computer capable of being reprogrammed to solve a full range of computing problems....
. First general purpose electronic digital computer, as well as EDVAC, BINAC and UNIVAC I, the first commercial computer. Worked with Jean BartikJean BartikJean Bartik was one of the original programmers for the ENIAC computer.She was born Betty Jean Jennings in Gentry County, Missouri, in 1924 and attended Northwest Missouri State Teachers College, majoring in mathematics. In 1945, she was hired by the University of Pennsylvania to work for Army...
on ENIACENIACENIAC was the first general-purpose electronic computer. It was a Turing-complete digital computer capable of being reprogrammed to solve a full range of computing problems....
, and Grace Murray Hopper on UNIVACUNIVACUNIVAC is the name of a business unit and division of the Remington Rand company formed by the 1950 purchase of the Eckert-Mauchly Computer Corporation, founded four years earlier by ENIAC inventors J. Presper Eckert and John Mauchly, and the associated line of computers which continues to this day...
. - John McCarthyJohn McCarthy (computer scientist)John McCarthy was an American computer scientist and cognitive scientist. He coined the term "artificial intelligence" , invented the Lisp programming language and was highly influential in the early development of AI.McCarthy also influenced other areas of computing such as time sharing systems...
– Lisp (programming language), artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its... - Douglas McIlroyDouglas McIlroyMalcolm Douglas McIlroy is a mathematician, engineer, and programmer. As of 2007 he is an Adjunct Professor of Computer Science at Dartmouth College. Dr...
– pipes - Kathleen R. McKeown – Natural Language ProcessingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
– Automatic SummarizationAutomatic summarizationAutomatic summarization is the creation of a shortened version of a text by a computer program. The product of this procedure still contains the most important points of the original text.... - Chris McKinstryChris McKinstryKenneth Christopher McKinstry was a researcher in artificial intelligence. He led the development of the MISTIC project which was launched in May 1996. He founded the Mindpixel project in July 2000, and closed it in December 2005...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, MindpixelMindpixelMindpixel was a web-based collaborative artificial intelligence project which aimed to create a knowledgebase of millions of human validated true/false statements, or probabilistic propositions. It ran from 2000 to 2005.-Description:... - Marshall Kirk McKusickMarshall Kirk McKusickMarshall Kirk McKusick is a computer scientist, known for his extensive work on BSD, from the 1980s to FreeBSD in the present day. He was president of the USENIX Association from 1990 to 1992 and again from 2002 to 2004, and still serves on the board. He is also on the editorial board of...
– BSD, Berkeley Fast File System - Lambert MeertensLambert MeertensLambert Guillaume Louis Théodore Meertens is a Dutch computer scientist and professor.While still a student at the Ignatius Gymnasium in Amsterdam, Meertens designed a computer, together with his classmate Kees Koster....
– ALGOL 68ALGOL 68ALGOL 68 isan imperative computerprogramming language that was conceived as a successor to theALGOL 60 programming language, designed with the goal of a...
, ABC (programming language) - Bertrand MeyerBertrand MeyerBertrand Meyer is an academic, author, and consultant in the field of computer languages. He created the Eiffel programming language.-Education and academic career:...
– Eiffel (programming language)Eiffel (programming language)Eiffel is an ISO-standardized, object-oriented programming language designed by Bertrand Meyer and Eiffel Software. The design of the language is closely connected with the Eiffel programming method... - Silvio MicaliSilvio MicaliSilvio Micali is an Italian-born 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. His research centers on the theory of cryptography and information...
– cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties... - Robin MilnerRobin MilnerArthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
– ML (programming language) - Marvin MinskyMarvin MinskyMarvin Lee Minsky is an American cognitive scientist in the field of artificial intelligence , co-founder of Massachusetts Institute of Technology's AI laboratory, and author of several texts on AI and philosophy.-Biography:...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, perceptronPerceptronThe perceptron is a type of artificial neural network invented in 1957 at the Cornell Aeronautical Laboratory by Frank Rosenblatt. It can be seen as the simplest kind of feedforward neural network: a linear classifier.- Definition :...
s, Society of MindSociety of MindThe Society of Mind is both the title of a book and the name of a theory of natural intelligence as written and developed by Marvin Minsky.-Minsky's model:... - Paul MockapetrisPaul MockapetrisDr. Paul V. Mockapetris is the inventor of the Domain Name System.In 1983, he proposed a Domain Name System architecture in RFCs 882 and 883 while at the Information Sciences Institute of the University of Southern California....
– Domain Name SystemDomain name systemThe Domain Name System is a hierarchical distributed naming system for computers, services, or any resource connected to the Internet or a private network. It associates various information with domain names assigned to each of the participating entities...
(DNS) - Cleve MolerCleve MolerCleve Barry Moler is a mathematician and computer programmer specializing in numerical analysis. In the mid to late 1970s, he was one of the authors of LINPACK and EISPACK, Fortran libraries for numerical computing. He invented MATLAB, a numerical computing package, to give his students at the...
– numerical analysisNumerical analysisNumerical analysis is the study of algorithms that use numerical approximation for the problems of mathematical analysis ....
, MATLABMATLABMATLAB is a numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages,... - Edward F. MooreEdward F. MooreEdward Forrest Moore was an American professor of mathematics and computer science, the inventor of the Moore finite state machine, and an early pioneer of artificial life....
– Moore machineMoore machineIn the theory of computation, a Moore machine is a finite-state machine, whose output values are determined solely by its current state.-Name:The Moore machine is named after Edward F... - Gordon MooreGordon MooreGordon Earle Moore is the co-founder and Chairman Emeritus of Intel Corporation and the author of Moore's Law .-Life and career:...
– Moore's lawMoore's LawMoore's law describes a long-term trend in the history of computing hardware: the number of transistors that can be placed inexpensively on an integrated circuit doubles approximately every two years.... - J Strother MooreJ Strother MooreJ Strother Moore is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm. An example of the workings of the Boyer–Moore string search algorithm is given...
– string searching, ACL2 theorem proverACL2 theorem proverACL2 is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification... - Hans MoravecHans MoravecHans Moravec is an adjunct faculty member at the Robotics Institute of Carnegie Mellon University. He is known for his work on robotics, artificial intelligence, and writings on the impact of technology. Moravec also is a futurist with many of his publications and predictions focusing on...
– robotics - Robert Tappan MorrisRobert Tappan MorrisRobert Tappan Morris, , is an American computer scientist, best known for creating the Morris Worm in 1988, considered the first computer worm on the Internet - and subsequently becoming the first person convicted under the Computer Fraud and Abuse Act.He went on to co-found the online store...
– Morris worm - Joel MosesJoel MosesJoel Moses is an Israeli-American computer scientist and Institute Professor at the Massachusetts Institute of Technology.Joel Moses was born in Palestine in 1941 and emigrated to the U.S. in 1954. He attended Midwood High School in Brooklyn, New York...
– MacsymaMacsymaMacsyma is a computer algebra system that was originally developed from 1968 to 1982 at MIT as part of Project MAC and later marketed commercially... - Stephen MuggletonStephen MuggletonProfessor Stephen Muggleton FBCS, FIET, FAAAI, FREng is Head of the Computational Bioinformatics Laboratory at Imperial College London. He received his BSc in Computer Science and PhD in Artificial Intelligence where he was supervised by Donald Michie from the University of Edinburgh...
- Debajyoti MukhopadhyayDebajyoti MukhopadhyayDr. Debajyoti Mukhopadhyay is a computer scientist and advisor in information technology. Born to Anima and Pramod Kumar Mukhopadhyay, he grew up in Calcutta....
– interoperability, web mining
N
- Mihai NadinMihai NadinMihai Nadin is a scholar and researcher in electrical engineering, computer science, aesthetics, semiotics, human-computer interaction , computational design, post-industrial society, and anticipatory systems...
– anticipation research - Makoto NagaoMakoto Nagaois a Japanese computer scientist. He contributed to various fields: machine translation, natural language processing, pattern recognition, image processing and library science...
– machine translation, natural language processing, digital library - Frieder NakeFrieder NakeFrieder Nake is a professor for computer graphics at the department for computer science at the University of Bremen and visiting professor for hypermedia design at the University of the Arts Bremen. He lives and works in Bremen, Germany.He has taught in Stuttgart, Toronto and Vancouver, and has...
– pioneered computer arts - Peter NaurPeter NaurPeter Naur is a Danish pioneer in computer science and Turing award winner. His last name is the N in the BNF notation , used in the description of the syntax for most programming languages...
– BNF, ALGOL 60ALGOL 60ALGOL 60 is a member of the ALGOL family of computer programming languages. It gave rise to many other programming languages, including BCPL, B, Pascal, Simula, C, and many others. ALGOL 58 introduced code blocks and the begin and end pairs for delimiting them... - Roger NeedhamRoger NeedhamRoger Michael Needham, CBE, FRS, FREng was a British computer scientist.-Early life:He attended Doncaster Grammar School for Boys in Doncaster ....
- James G. NellJames G. NellJames G. Nell is an American engineer, who was the principal investigator of the Manufacturing Enterprise Integration at the National Institute of Standards and Technology , known for his work on Enterprise integration.- Biography :...
– GERAMGeneralised Enterprise Reference Architecture and MethodologyGeneralised Enterprise Reference Architecture and Methodology is a generalised Enterprise Architecture framework for enterprise integration and business process engineering. It identifies the set of components recommended for use in enterprise engineering.This framework is developed in the 1990s... - Bernard de NeumannBernard de NeumannFrederick Bernard de Neumann is a British mathematician, computer scientist, inventor, and naval historian. In Austria and Germany he is known as Bernhard von Neumann....
– massively parallel autonomous cellular processor, software engineering research - John von NeumannJohn von NeumannJohn von Neumann was a Hungarian-American mathematician and polymath who made major contributions to a vast number of fields, including set theory, functional analysis, quantum mechanics, ergodic theory, geometry, fluid dynamics, economics and game theory, computer science, numerical analysis,...
(1953-1957) – early computers, von Neumann machineVon Neumann architectureThe term Von Neumann architecture, aka the Von Neumann model, derives from a computer architecture proposal by the mathematician and early computer scientist John von Neumann and others, dated June 30, 1945, entitled First Draft of a Report on the EDVAC...
, set theorySet theorySet theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
, functional analysisFunctional analysisFunctional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear operators acting upon these spaces and respecting these structures in a suitable sense...
, mathematics pioneer, linear programmingLinear programmingLinear programming is a mathematical method for determining a way to achieve the best outcome in a given mathematical model for some list of requirements represented as linear relationships...
, quantum mechanicsQuantum mechanicsQuantum mechanics, also known as quantum physics or quantum theory, is a branch of physics providing a mathematical description of much of the dual particle-like and wave-like behavior and interactions of energy and matter. It departs from classical mechanics primarily at the atomic and subatomic...
. - Allen NewellAllen NewellAllen Newell 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...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, Computer Structures - Max NewmanMax NewmanMaxwell Herman Alexander "Max" Newman, FRS was a British mathematician and codebreaker.-Pre–World War II:Max Newman was born Maxwell Neumann in Chelsea, London, England, on 7 February 1897...
– Colossus, MADM - Andrew NgAndrew NgAndrew Ng is an Associate Professor in the Department of Computer Science at Stanford University. His work is primarily in machine learning and robotics. He received his PhD from Carnegie Mellon University and finished his postdoctoral research in the University of California, Berkeley, where he...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, machine learningMachine learningMachine learning, a branch of artificial intelligence, is a scientific discipline concerned with the design and development of algorithms that allow computers to evolve behaviors based on empirical data, such as from sensor data or databases...
, roboticsRoboticsRobotics is the branch of technology that deals with the design, construction, operation, structural disposition, manufacture and application of robots... - Nils Nilsson – artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
- G.M. NijssenG.M. NijssenSjir Nijssen is a Dutch computer scientist, who was fulltime professor at the University of Queensland. Nijssen is considered the founder of verbalization in computer science, and one of the founders of business modeling and information analysis based on natural language.- Biography :Sjir Nijssen...
– NIAM - Jerre NoeJerre NoeJerre Noe was an American computer scientist. In the 1950s, he led the technical team for the ERMA project, the Bank of America's first venture into computerized banking...
- Emmy NoetherEmmy NoetherAmalie Emmy Noether was an influential German mathematician known for her groundbreaking contributions to abstract algebra and theoretical physics. Described by David Hilbert, Albert Einstein and others as the most important woman in the history of mathematics, she revolutionized the theories of...
- Peter NordinPeter NordinPeter Nordin is a Swedish computer scientist, entrepreneur and author who has contributed to artificial intelligence, automatic programming, machine learning, and evolutionary robotics.- Studies and early career :...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, genetic programmingGenetic programmingIn artificial intelligence, genetic programming is an evolutionary algorithm-based methodology inspired by biological evolution to find computer programs that perform a user-defined task. It is a specialization of genetic algorithms where each individual is a computer program...
, evolutionary roboticsEvolutionary roboticsEvolutionary robotics is a methodology that uses evolutionary computation to develop controllers for autonomous robots. Algorithms in ER frequently operate on populations of candidate controllers, initially selected from some distribution. This population is then repeatedly modified according to... - Donald NormanDonald NormanDonald Arthur Norman is an academic in the field of cognitive science, design and usability engineering and a co-founder and consultant with the Nielsen Norman Group. He is the author of the book The Design of Everyday Things....
– user interfaceUser interfaceThe user interface, in the industrial design field of human–machine interaction, is the space where interaction between humans and machines occurs. The goal of interaction between a human and a machine at the user interface is effective operation and control of the machine, and feedback from the...
s, usabilityUsabilityUsability is the ease of use and learnability of a human-made object. The object of use can be a software application, website, book, tool, machine, process, or anything a human interacts with. A usability study may be conducted as a primary job function by a usability analyst or as a secondary job... - George NovackyGeorge NovackyGeorge A. Novacky is an Assistant Department Chair and Senior Lecturer in Computer Science, and an Assistant Dean of CAS for Undergraduate Studies at the University of Pittsburgh. He is known for being an animated and spirited lecturer who often approaches topics from unique standpoints to draw in...
– Assistant Department Chair and Senior Lecturer in Computer Science, Assistant Dean of CAS for Undergraduate Studies at University of Pittsburgh - Kristen NygaardKristen NygaardKristen Nygaard was a Norwegian computer scientist, programming language pioneer and politician. He was born in Oslo and died of a heart attack in 2002.-Object-oriented programming:...
– SimulaSimulaSimula is a name for two 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...
P
- Christos PapadimitriouChristos PapadimitriouChristos Harilaos Papadimitriou is a Professor in the Computer Science Division at the University of California, Berkeley, United States...
- David ParnasDavid ParnasDavid Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is also noted for his advocacy of precise documentation.- Biography :Parnas earned...
– information hidingInformation hidingIn computer science, information hiding is the principle of segregation of the design decisions in a computer program that are most likely to change, thus protecting other parts of the program from extensive modification if the design decision is changed...
, modular programmingModular programmingModular programming is a software design technique that increases the extent to which software is composed of separate, interchangeable components called modules by breaking down program functions into modules, each of which accomplishes one function and contains everything necessary to accomplish... - Yale PattYale PattYale Nance Patt is an American professor of electrical and computer engineering at The University of Texas at Austin. He holds the Ernest Cockrell, Jr. Centennial Chair in Engineering. In 1965, Patt introduced the WOS module, the first complex logic gate implemented on a single piece of silicon...
– Instruction Level ParallelismInstruction level parallelismInstruction-level parallelism is a measure of how many of the operations in a computer program can be performed simultaneously. Consider the following program: 1. e = a + b 2. f = c + d 3. g = e * f...
, speculative architectures - David A. Patterson
- Randy PauschRandy PauschRandolph Frederick "Randy" Pausch was an American professor of computer science and human-computer interaction and design at Carnegie Mellon University in Pittsburgh, Pennsylvania....
(1960-2008) - Human-Computer interaction, Carnegie Professor, "Last LectureReally Achieving Your Childhood DreamsReally Achieving Your Childhood Dreams was a lecture given by Carnegie Mellon University computer science professor Randy Pausch on September 18, 2007 that received a large amount of media coverage, and was the base for The Last Lecture, a New York Times best-selling book co-authored with Wall...
". - Judea PearlJudea PearlJudea Pearl is a computer scientist and philosopher, best known for developing the probabilistic approach to artificial intelligence and the development of Bayesian networks ....
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, Search - Alan PerlisAlan PerlisAlan Jay Perlis was an American computer scientist known for his pioneering work in programming languages and the first recipient of the Turing Award.-Biography:...
– Programming Pearls - Radia PerlmanRadia PerlmanRadia Joy Perlman is a software designer and network engineer sometimes referred to as the "Mother of the Internet." She is most famous for her invention of the spanning-tree protocol , which is fundamental to the operation of network bridges, while working for Digital Equipment Corporation...
– spanning tree protocolSpanning tree protocolThe Spanning Tree Protocol is a network protocol that ensures a loop-free topology for any bridged Ethernet local area network. The basic function of STP is to prevent bridge loops and ensuing broadcast radiation... - Simon Peyton JonesSimon Peyton JonesSimon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional languages...
– functional programmingFunctional programmingIn computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state... - Gordon PlotkinGordon PlotkinGordon D. Plotkin, FRS, FRSE is a Scottish computer scientist.Gordon Plotkin is best-known for his introduction of structural operational semantics and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential...
- Amir Pnueli – temporal logicTemporal logicIn logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry...
- Willem van der PoelWillem van der PoelWillem Louis van der Poel is a pioneering Dutch computer scientist, who is known for designing the ZEBRA computer. In 1950 he obtained an engineering degree in applied science at Delft University of Technology. In 1956 he obtained his PhD degree from the University of Amsterdam...
– computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games - Martha Pollack – intentions in planning
- Emil Post – mathematics
- Jon PostelJon PostelJonathan Bruce Postel was an American computer scientist who made many significant contributions to the development of the Internet, particularly with respect to standards...
– Internet - Franco Preparata
- William H. PressWilliam H. PressWilliam H. Press is an astrophysicist, theoretical physicist, and computational biologist. He is a member of the United States National Academy of Sciences, the American Academy of Arts and Sciences, and the Council on Foreign Relations. Other honors include the 1981 Helen B...
- numerical algorithms
R
- Michael O. RabinMichael O. RabinMichael Oser Rabin , is an Israeli computer scientist and a recipient of the Turing Award.- Biography :Rabin was born in 1931 in Breslau, Germany, , the son of a rabbi. In 1935, he emigrated with his family to Mandate Palestine...
– nondeterministic machines - Dragomir R. RadevDragomir R. RadevDragomir R. Radev is a University of Michigan computer science professor working on natural language processing and information retrieval.He is currently working on the fields of open domain question answering, multi-document summarization, and the application of NLP in Bioinformatics and...
– Natural Language ProcessingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
, Information RetrievalInformation retrievalInformation retrieval is the area of study concerned with searching for documents, for information within documents, and for metadata about documents, as well as that of searching structured storage, relational databases, and the World Wide Web... - T. V. RamanT. V. RamanT. V. Raman is a computer scientist who is blind. His accessibility research interests are primarily auditory user interfaces and structured electronic documents. He has worked on speech interaction and markup technologies in the context of the World Wide Web at Digital's Cambridge Research Lab ,...
– accessibilityAccessibilityAccessibility is a general term used to describe the degree to which a product, device, service, or environment is available to as many people as possible. Accessibility can be viewed as the "ability to access" and benefit from some system or entity...
, EmacspeakEmacspeakEmacspeak is a free computer application, a speech interface and an audio desktop employing Emacs, which is written in C, Emacs Lisp and Tcl and developed principally by T. V. Raman and first released May 1995; it is portable to all POSIX-compatible OSs...
, etc. - Brian RandellBrian RandellBrian Randell is a British computer scientist, and Emeritus Professor at the School of Computing Science, Newcastle University, U.K. He specializes in research in software fault tolerance and dependability, and is a noted authority on the early prior to 1950 history of computers.- Biography...
– dependabilityDependabilityDependability is a value showing the reliability of a person to others because of his/her integrity, truthfulness, and trustfulness, traits that can encourage someone to depend on him/her.The wider use of this noun is in Systems engineering.... - Yoav Raz – databaseDatabaseA database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality , in a way that supports processes requiring this information...
s: commitment orderingCommitment orderingIn concurrency control of databases, transaction processing , and related applications, Commitment ordering is a class of interoperable Serializability techniques, both centralized and distributed. It allows optimistic implementations...
(or commit ordering) for guaranteeing distributedSerializabilityIn concurrency control of databases, transaction processing , and various transactional applications , both centralized and distributed, a transaction schedule is serializable, has the serializability property, if its outcome In concurrency control of databases, transaction processing (transaction...
and global serializabilityGlobal serializabilityIn concurrency control of databases, transaction processing , and other transactional distributed applications, Global serializability is a property of a global schedule of transactions... - Raj ReddyRaj ReddyDabbala Rajagopal "Raj" Reddy , a Turing Award winner, is one of the early pioneers in Computer Science and Artificial Intelligence and has served on the faculty of Stanford and Carnegie Mellon University for over 40 years. He was the founding Director of the Robotics Institute at CMU...
– AIAiAI, A.I., Ai, or ai may refer to:- Computers :* Artificial intelligence, a branch of computer science* Ad impression, in online advertising* .ai, the ISO Internet 2-letter country code for Anguilla... - David P. ReedDavid P. ReedDavid P. Reed is an American computer scientist, educated at the Massachusetts Institute of Technology, known for a number of significant contributions to computer networking....
- John C. ReynoldsJohn C. ReynoldsJohn C. Reynolds is an American computer scientist.John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been Professor of Computer...
- Joyce K. ReynoldsJoyce K. ReynoldsJoyce K. Reynolds is a computer scientist.Reynolds holds bachelor's and master's degrees from the University of Southern California, United States. She has been active in the development of the protocols underlying the Internet...
– Internet - Adam Riese
- Dennis RitchieDennis RitchieDennis MacAlistair Ritchie , was an American computer scientist who "helped shape the digital era." He created the C programming language and, with long-time colleague Ken Thompson, the UNIX operating system...
– C (programming language)C (programming language)C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....
, UNIXUnixUnix is a multitasking, multi-user computer operating system originally developed in 1969 by a group of AT&T employees at Bell Labs, including Ken Thompson, Dennis Ritchie, Brian Kernighan, Douglas McIlroy, and Joe Ossanna... - Ron RivestRon RivestRonald Linn Rivest is a cryptographer. He is the Andrew and Erna Viterbi Professor of Computer Science at MIT's Department of Electrical Engineering and Computer Science and a member of MIT's Computer Science and Artificial Intelligence Laboratory...
– RSA, MD5MD5The MD5 Message-Digest Algorithm is a widely used cryptographic hash function that produces a 128-bit hash value. Specified in RFC 1321, MD5 has been employed in a wide variety of security applications, and is also commonly used to check data integrity...
, RC4RC4In cryptography, RC4 is the most widely used software stream cipher and is used in popular protocols such as Secure Sockets Layer and WEP... - Colette RollandColette RollandColette Rolland is a French computer scientist and Professor of Computer Science in the department of Mathematics and Informatics at the University of Paris 1 Pantheon-Sorbonne, and a leading researcher in the area of information and knowledge systems, known for her work in meta-modeling.-...
– REMORA methodology, meta modelling - Azriel RosenfeldAzriel RosenfeldProfessor Dr. Azriel Rosenfeld was an American Research Professor, a Distinguished University Professor, and Director of the Center for Automation Research at the University of Maryland in College Park, Maryland, where he also held affiliate professorships in the Departments of Computer Science,...
- Douglas T. RossDouglas T. RossDouglas Taylor Ross was an American computer scientist pioneer, and Chairman of SofTech, Inc.. He is most famous for originating the term CAD for computer-aided design, and is consider to be the father of Automatically Programmed Tools a language to drive numerically controlled manufacturing.-...
– Structured Analysis and Design TechniqueStructured Analysis and Design TechniqueStructured Analysis and Design Technique is a software engineering methodology for describing systems as a hierarchy of functions.- Overview :... - Guido van RossumGuido van RossumGuido van Rossum is a Dutch computer programmer who is best known as the author of the Python programming language. In the Python community, Van Rossum is known as a "Benevolent Dictator For Life" , meaning that he continues to oversee the Python development process, making decisions where necessary...
– Python (programming language)Python (programming language)Python is a general-purpose, high-level programming language whose design philosophy emphasizes code readability. Python claims to "[combine] remarkable power with very clear syntax", and its standard library is large and comprehensive... - Winston W. RoyceWinston W. RoyceWinston W. Royce was an American computer scientist, director at Lockheed Software Technology Center in Austin, Texas, and one of the leaders in software development in the second half of the 20th century...
– Waterfall model - Rudy RuckerRudy RuckerRudolf von Bitter Rucker is an American mathematician, computer scientist, science fiction author, and philosopher, and is one of the founders of the cyberpunk literary movement. The author of both fiction and non-fiction, he is best known for the novels in the Ware Tetralogy, the first two of...
– mathematician, Writer, Educator - Steven RudichSteven RudichSteven Rudich is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs were unlikely to answer many of the important problems in computational complexity theory. For this work,...
– complexity theory, cryptography - Jeff RulifsonJeff RulifsonJohns Frederick Rulifson is an American computer scientist.-Biography:Johns Frederick Rulifson was born August 20, 1941 in Bellefontaine, Ohio. His father was Erwin Charles Rulifson and mother was Virginia Helen Johns...
- James RumbaughJames RumbaughJames E. Rumbaugh is an American computer scientist and object methodologist who is best known for his work in creating the Object Modeling Technique and the Unified Modeling Language .- Biography :...
– Unified Modeling LanguageUnified Modeling LanguageUnified Modeling Language is a standardized general-purpose modeling language in the field of object-oriented software engineering. The standard is managed, and was created, by the Object Management Group...
, Object Management GroupObject Management GroupObject Management Group is a consortium, originally aimed at setting standards for distributed object-oriented systems, and is now focused on modeling and model-based standards.- Overview :... - Juan Manuel Ramirez – Researcher / writer, Open Source Software Technologies
S
- Siddhant Kotnala – programming LanguageProgramming languageA programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s, Operating SystemOperating systemAn operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system... - George SadowskyGeorge SadowskyGeorge Sadowsky is an American computer scientist who has worked in a number of entities, related to promotion of the Internet worldwide....
- Gerard SaltonGerard SaltonGerard Salton , also known as Gerry Salton, was a Professor of Computer Science at Cornell University. Salton was perhaps the leading computer scientist working in the field of information retrieval during his time...
– information retrievalInformation retrievalInformation retrieval is the area of study concerned with searching for documents, for information within documents, and for metadata about documents, as well as that of searching structured storage, relational databases, and the World Wide Web... - Jean E. SammetJean E. SammetJean E. Sammet is an American computer scientist who developed the FORMAC programming language in 1962.She received her B.A. in Math from Mount Holyoke College in 1948 and her M.A. in Math from University of Illinois at Urbana-Champaign in 1949...
– programming languageProgramming languageA programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s - Claude SammutClaude SammutClaude Sammut is a Professor of Computer Science and Engineering at the University of New South Wales and Head of the Artificial Intelligence Research Group...
– Artificial IntelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
researcher - Carl SassenrathCarl SassenrathCarl Sassenrath is an architect of operating systems and computer languages. He brought multitasking to personal computers in 1985 with the creation of the Amiga Computer operating system kernel, and he is currently the designer of the REBOL computer language as well as the CTO of REBOL...
– operating systemOperating systemAn operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...
s, programming languageProgramming languageA programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s, AmigaAmigaThe Amiga is a family of personal computers that was sold by Commodore in the 1980s and 1990s. The first model was launched in 1985 as a high-end home computer and became popular for its graphical, audio and multi-tasking abilities...
, REBOLREBOLREBOL is a cross-platform data exchange language and a multi-paradigm dynamic programming language originally designed by Carl Sassenrath for network communications and distributed computing. The language and its official implementation, which is a proprietary freely redistributable software are... - Jonathan SchaefferJonathan SchaefferJonathan Herbert Schaeffer is a Canadian researcher and professor at the University of Alberta and the Canada Research Chair in Artificial Intelligence....
- Wilhelm SchickardWilhelm SchickardWilhelm Schickard was a German polymath who designed a calculating machine in 1623, twenty years before the Pascaline of Blaise Pascal. Unfortunately a fire destroyed the machine as it was being built in 1624 and Schickard decided to abandon his project...
– one of first calculating machineCalculating machineA calculating machine is a machine designed to come up with calculations or, in other words, computations. One noted machine was the Victorian British scientist Charles Babbage's Difference Engine , designed in the 1840s but never completed in the inventor's lifetime...
s - Bruce SchneierBruce SchneierBruce Schneier is an American cryptographer, computer security specialist, and writer. He is the author of several books on general security topics, computer security and cryptography, and is the founder and chief technology officer of BT Managed Security Solutions, formerly Counterpane Internet...
– cryptography, security - Fred B. SchneiderFred B. SchneiderFred B. Schneider is an American computer scientist, based at Cornell University, New York, USA, where he is the Samuel B. Eckert Professor of Computer Science. He has published extensively...
– concurrent and distributed computing - Michael I. Schwartzbach – computer scientist at Aarhus University
- Dana ScottDana ScottDana Stewart Scott 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...
– domain theoryDomain theoryDomain theory is a branch of mathematics that studies special kinds of partially ordered sets commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational... - Michael L. ScottMichael L. ScottMichael Lee Scott is a professor of computer science at the University of Rochester in Rochester, New York.-Education and teaching:...
– programming languageProgramming languageA programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s, algorithmAlgorithmIn mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s, distributed computingDistributed computingDistributed computing is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal... - Ravi SethiRavi SethiRavi Sethi is an Indian computer scientist retired from Bell Labs and president of Avaya Labs Research. He is best known as one of three authors of the classic computer science textbook Compilers: Principles, Techniques, and Tools, also known as the Dragon Book.Sethi was born in 1947 in Murdana,...
– compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s, 2nd Dragon Book - Adi ShamirAdi ShamirAdi Shamir is an Israeli cryptographer. He is a co-inventor of the RSA algorithm , a co-inventor of the Feige–Fiat–Shamir identification scheme , one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer...
– RSA, cryptanalysis - Claude Shannon – information theoryInformation theoryInformation theory is a branch of applied mathematics and electrical engineering involving the quantification of information. Information theory was developed by Claude E. Shannon to find fundamental limits on signal processing operations such as compressing data and on reliably storing and...
- David E. Shaw – computational finance, computational biochemistry, parallel architectures
- Scott ShenkerScott ShenkerScott Shenker is a Professor of Computer Science at UC Berkeley. He is also the head of the Networking Group and the Vice President of the International Computer Science Institute in Berkeley, California. He received his Sc.B. in Physics from Brown University in 1978, and his PhD in Physics from...
– networking - Ben ShneidermanBen ShneidermanBen Shneiderman is an American computer scientist, and professor for Computer Science at the Human-Computer Interaction Laboratory at the University of Maryland, College Park...
– human-computer interaction, information visualizationInformation visualizationInformation visualization is the interdisciplinary study of "the visual representation of large-scale collections of non-numerical information, such as files and lines of code in software systems, library and bibliographic databases, networks of relations on the internet, and so forth".- Overview... - Edward H. ShortliffeEdward H. ShortliffeEdward Hance Shortliffe, MD, PhD is a Canadian-born American biomedical informatician, physician and computer scientist. Dr. Shortliffe is a pioneer in the use of artificial intelligence in medicine...
– MYCINMycinIn artificial intelligence, MYCIN was an early expert system designed to identify bacteria causing severe infections, such as bacteremia and meningitis, and to recommend antibiotics, with the dosage adjusted for patient's body weight — the name derived from the antibiotics themselves, as many...
(Medical diagnostoc expert system) - Joseph SifakisJoseph SifakisJoseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking....
– model checking - Herbert SimonHerbert SimonHerbert Alexander Simon was an American political scientist, economist, sociologist, and psychologist, and professor—most notably at Carnegie Mellon University—whose research ranged across the fields of cognitive psychology, cognitive science, computer science, public administration, economics,...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its... - Daniel SleatorDaniel SleatorDaniel Dominic Kaplan Sleator is a professor of computer science at Carnegie Mellon University. He discovered amortized analysis and he invented many data structures with Robert Tarjan, such as splay trees, link/cut trees, and skew heaps. He also pioneered the theory of link grammars and developed...
– splay treeSplay treeA splay tree is a self-adjusting binary search tree with the additional property that recently accessed elements are quick to access again. It performs basic operations such as insertion, look-up and removal in O amortized time. For many sequences of nonrandom operations, splay trees perform...
, amortized analysisAmortized analysisIn computer science, amortized analysis is a method of analyzing algorithms that considers the entire sequence of operations of the program. It allows for the establishment of a worst-case bound for the performance of an algorithm irrespective of the inputs by looking at all of the operations... - Arne SølvbergArne SølvbergArne Sølvberg is a Norwegian computer scientist, professor in computer science at the Norwegian University of Science and Technology in Trondheim, Norway, and an expert in the field of information modelling.- Biography :...
– information modelling - Brian Cantwell SmithBrian Cantwell SmithBrian Cantwell Smith is a scholar in the fields of cognitive science, computer science, information studies, and philosophy, especially ontology. His research has focused on the foundations and philosophy of computing, both in the practice and theory of computer science, and in the use of...
– reflection (computer science)Reflection (computer science)In computer science, reflection is the process by which a computer program can observe and modify its own structure and behavior at runtime....
, 3lisp - Karen Sparck-Jones – Information RetrievalInformation retrievalInformation retrieval is the area of study concerned with searching for documents, for information within documents, and for metadata about documents, as well as that of searching structured storage, relational databases, and the World Wide Web...
, Natural Language ProcessingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence.... - Steven SpewakSteven SpewakSteven H. Spewak was an American management consultant, author, and lecturer on enterprise architectures, who influenced the direction of enterprise architecture thinking, especially in government.- Biography :...
– Enterprise Architecture PlanningEnterprise Architecture PlanningEnterprise Architecture Planning in Enterprise Architecture is the planning process of defining architectures for the use of information in support of the business and the plan for implementing those architectures.- Overview :... - Robert SproullRobert SproullRobert Lamb Sproull is a retired American educator, physicist, and US Department of Defense official.Sproull was born in Lacon, Illinois. A graduate of Deep Springs College, Sproull studied English literature at Cornell University before taking a Ph.D. at the same university in physics...
- Maciej StachowiakMaciej StachowiakMaciej Stachowiak is a Polish American software developer currently employed by Apple Inc. where he is a leader of the development team responsible for the Safari web browser and WebKit Framework. A longtime proponent of Open Source, Stachowiak was involved with the SCWM, GNOME and Nautilus...
– GNOMEGNOMEGNOME is a desktop environment and graphical user interface that runs on top of a computer operating system. It is composed entirely of free and open source software...
, SafariSafari (web browser)Safari is a web browser developed by Apple Inc. and included with the Mac OS X and iOS operating systems. First released as a public beta on January 7, 2003 on the company's Mac OS X operating system, it became Apple's default browser beginning with Mac OS X v10.3 "Panther". Safari is also the...
, WebKitWebKitWebKit is a layout engine designed to allow web browsers to render web pages. WebKit powers Google Chrome and Apple Safari and by October 2011 held over 33% of the browser market share between them. It is also used as the basis for the experimental browser included with the Amazon Kindle ebook... - Richard StallmanRichard StallmanRichard Matthew Stallman , often shortened to rms,"'Richard Stallman' is just my mundane name; you can call me 'rms'"|last= Stallman|first= Richard|date= N.D.|work=Richard Stallman's homepage...
(1953-ΝNu (letter)Nu , is the 13th letter of the Greek alphabet. In the system of Greek numerals it has a value of 50...
) – GNU ProjectGNU ProjectThe GNU Project is a free software, mass collaboration project, announced on September 27, 1983, by Richard Stallman at MIT. It initiated GNU operating system development in January, 1984... - Ronald StamperRonald StamperRonald Stamper is a British computer scientist, formerly a researcher in the LSE and Professor at the University of Twente, known for his pioneering work in Organisational semiotics, and the creation of the MEASUR methodology and the SEDITA framework.- Works :The main thrust of Stamper's published...
- Richard StearnsRichard Stearns (computer scientist)Richard Edwin Stearns 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"...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other... - Guy L. Steele, Jr.Guy L. Steele, Jr.Guy Lewis Steele Jr. , also known as "The Great Quux", and GLS , is an American computer scientist who has played an important role in designing and documenting several computer programming languages.-Biography:...
– Scheme, Common LispCommon LispCommon Lisp, commonly abbreviated CL, is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 , . From the ANSI Common Lisp standard the Common Lisp HyperSpec has been derived for use with web browsers... - Thomas SterlingThomas Sterling (computing)Dr. Thomas Sterling is currently a Professor of Computer Science at Louisiana State University, a Faculty Associate at California Institute of Technology, and a Distinguished Visiting Scientist at Oak Ridge National Laboratory. He received his PhD as a Hertz Fellow from MIT in 1984...
– Creator of Beowulf clustersBeowulf (computing)A Beowulf cluster is a computer cluster of what are normally identical, commodity-grade computers networked into a small local area network with libraries and programs installed which allow processing to be shared among them... - W. Richard StevensW. Richard StevensWilliam Richard Stevens was one of the most famous and widely acclaimed authors of UNIX and TCP/IP books.-Biography:...
(1951-1999)Renowned author of "TCP/IP IllustratedTCP/IP IllustratedTCP/IP Illustrated is the name of a series of 3 books written by W. Richard Stevens. Unlike traditional books which explain the RFC specifications, Stevens goes into great detail using actual network traces to describe the protocol, hence its 'Illustrated' title.The first book in the series,...
", "Advanced Programming in the Unix EnvironmentAdvanced Programming in the Unix EnvironmentAdvanced Programming in the Unix Environment is a computer programming book by W. Richard Stevens describing the application programming interface of the UNIX family of operating systems. The book illustrates UNIX application programming in the C programming language.The first edition of the book...
" and other books. - Larry StockmeyerLarry StockmeyerLarry Joseph Stockmeyer was a computer scientist. He was one of the pioneers in the field of computational complexity theory, and he also worked in the field of distributed computing...
– computational complexity, distributed computing - Michael StonebrakerMichael StonebrakerMichael Ralph Stonebraker is a computer scientist specializing in database research.Through a series of academic prototypes and commercial startups, Stonebraker's research and products are central to many relational database systems on the market today...
– relational databaseRelational databaseA relational database is a database that conforms to relational model theory. The software used in a relational database is called a relational database management system . Colloquial use of the term "relational database" may refer to the RDBMS software, or the relational database itself...
practice and theory - Christopher StracheyChristopher StracheyChristopher Strachey was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design...
– denotational semanticsDenotational semanticsIn computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects which describe the meanings of expressions from the languages... - Bjarne StroustrupBjarne StroustrupBjarne Stroustrup ; born December 30, 1950 in Århus, Denmark) is a Danish computer scientist, most notable for the creation and the development of the widely used C++ programming language...
– C++C++C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell... - Madhu SudanMadhu SudanMadhu Sudan is an Indian computer scientist, professor of computer science at the Massachusetts Institute of Technology and a member of MIT Computer Science and Artificial Intelligence Laboratory.-Career:...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
, coding theoryCoding theoryCoding theory is the study of the properties of codes and their fitness for a specific application. Codes are used for data compression, cryptography, error-correction and more recently also for network coding... - Gerald Jay SussmanGerald Jay SussmanGerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology . He received his S.B. and Ph.D. degrees in mathematics from MIT in 1968 and 1973 respectively. He has been involved in artificial intelligence research at MIT since 1964...
– Scheme - Bert SutherlandBert SutherlandWilliam Robert "Bert" Sutherland , older brother of Ivan Sutherland, was the longtime manager of three prominent research labs, including Sun Microsystems Laboratories , the Systems Science Laboratory at Xerox PARC , and the Computer Science Division of Bolt, Beranek and Newman, Inc...
– graphicsGraphicsGraphics are visual presentations on some surface, such as a wall, canvas, computer screen, paper, or stone to brand, inform, illustrate, or entertain. Examples are photographs, drawings, Line Art, graphs, diagrams, typography, numbers, symbols, geometric designs, maps, engineering drawings,or...
, Internet - Ivan SutherlandIvan SutherlandIvan Edward Sutherland is an American computer scientist and Internet pioneer. He received the Turing Award from the Association for Computing Machinery in 1988 for the invention of Sketchpad, an early predecessor to the sort of graphical user interface that has become ubiquitous in personal...
– graphicsGraphicsGraphics are visual presentations on some surface, such as a wall, canvas, computer screen, paper, or stone to brand, inform, illustrate, or entertain. Examples are photographs, drawings, Line Art, graphs, diagrams, typography, numbers, symbols, geometric designs, maps, engineering drawings,or... - Mario SzegedyMario SzegedyMario Szegedy is a Hungarian computer scientist, professor of computer science at Rutgers University. He received his Ph.D. in computer science in 1989 from the University of Chicago...
– complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
, quantum computing
T
- Andrew S. TanenbaumAndrew S. TanenbaumAndrew Stuart "Andy" Tanenbaum is a professor of computer science at the Vrije Universiteit, Amsterdam in the Netherlands. He is best known as the author of MINIX, a free Unix-like operating system for teaching purposes, and for his computer science textbooks, regarded as standard texts in the...
– operating systemOperating systemAn operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...
s, MINIXMinixMINIX is a Unix-like computer operating system based on a microkernel architecture created by Andrew S. Tanenbaum for educational purposes; MINIX also inspired the creation of the Linux kernel.... - Robert TarjanRobert TarjanRobert Endre Tarjan is a renowned American computer scientist. He is the discoverer of several important graph algorithms, including Tarjan's off-line least common ancestors algorithm, and co-inventor of both splay trees and Fibonacci heaps. Tarjan is currently the James S...
– splay tree - Jaime TeevanJaime TeevanJaime Teevan is a researcher at Microsoft Research. She was named a Technology Review 2009 Young Innovator for her research on personalized search...
- Shang-Hua Teng – analysis of algorithms
- Larry TeslerLarry TeslerLarry Tesler is a computer scientist working in the field of human-computer interaction. Tesler has worked at Xerox PARC, Apple Computer, Amazon.com, and Yahoo!...
– human-computer interaction, graphical user interface, Apple Macintosh - Avie TevanianAvie TevanianAvadis "Avie" Tevanian is a former Senior Vice President of Software Engineering at Apple Computer from 1997 to 2003, and a former Chief Software Technology Officer from 2003 to 2006. He is a member of the board of embedded software tools company Green Hills Software. Tevanian was responsible for...
– Mach kernel team, NeXT, Mac OS X - Bruce H. Thomas – wearable computerWearable computerWearable computers are miniature electronic devices that are worn by the bearer under, with or on top of clothing. This class of wearable technology has been developed for general or special purpose information technologies and media development...
s, augmented realityAugmented realityAugmented reality is a live, direct or indirect, view of a physical, real-world environment whose elements are augmented by computer-generated sensory input such as sound, video, graphics or GPS data. It is related to a more general concept called mediated reality, in which a view of reality is... - Ken Thompson – UnixUnixUnix is a multitasking, multi-user computer operating system originally developed in 1969 by a group of AT&T employees at Bell Labs, including Ken Thompson, Dennis Ritchie, Brian Kernighan, Douglas McIlroy, and Joe Ossanna...
- Walter F. TichyWalter F. TichyWalter F. Tichy is professor of computer science at the Karlsruhe Institute of Technology in Germany where he teaches classes in software engineering....
– RCS - Seinosuke TodaSeinosuke Todais a computer scientist working at the Nihon University in Tokyo. He was a recipient of the 1998 Gödel Prize for proving Toda's theorem.-External links:* at the Nihon University....
– computation complexity, recipient of 1998 Gödel PrizeGödel PrizeThe Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The... - Linus TorvaldsLinus TorvaldsLinus Benedict Torvalds is a Finnish software engineer and hacker, best known for having initiated the development of the open source Linux kernel. He later became the chief architect of the Linux kernel, and now acts as the project's coordinator...
(1969-∞PhiPhi may refer to:In language:*Phi, the Greek letter Φ,φ, the symbol for voiceless bilabial fricativeIn mathematics:*The Golden ratio*Euler's totient function*A statistical measure of association reported with the chi-squared test...
) – LinuxLinuxLinux is a Unix-like computer operating system assembled under the model of free and open source software development and distribution. The defining component of any Linux system is the Linux kernel, an operating system kernel first released October 5, 1991 by Linus Torvalds...
kernel, GitGit (software)Git is a distributed revision control system with an emphasis on speed. Git was initially designed and developed by Linus Torvalds for Linux kernel development. Every Git working directory is a full-fledged repository with complete history and full revision tracking capabilities, not dependent on... - Godfried ToussaintGodfried ToussaintGodfried T. Toussaint is a Research Professor of Computer Science at New York University Abu Dhabi in Abu Dhabi, United Arab Emirates. He is an expert on various aspects of computational geometry, discrete geometry, and their applications: pattern recognition , motion planning, visualization ,...
– computational geometry – computational music therory - Joseph F TraubJoseph F TraubJoseph Frederick Traub , is a computer scientist. He is the Edwin Howard Armstrong Professor of Computer Science at Columbia University and External Professor at the Santa Fe Institute...
– computational complexity of scientific problems - John TukeyJohn TukeyJohn Wilder Tukey ForMemRS was an American statistician.- Biography :Tukey was born in New Bedford, Massachusetts in 1915, and obtained a B.A. in 1936 and M.Sc. in 1937, in chemistry, from Brown University, before moving to Princeton University where he received a Ph.D...
– FFT - Murray TuroffMurray TuroffMurray Turoff is a retired Distinguished Professor at New Jersey Institute of Technology who was a key founding father of computer-mediated communication.-Career:...
– computer-mediated communicationComputer-mediated communicationComputer-mediated communication is defined as any communicative transaction that occurs through the use of two or more networked computers... - Alan TuringAlan TuringAlan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
(1912-1954) – British computing pioneer, Turing MachineTuring machineA Turing machine is a theoretical device that manipulates symbols on a strip of tape according to a table of rules. Despite its simplicity, a Turing machine can be adapted to simulate the logic of any computer algorithm, and is particularly useful in explaining the functions of a CPU inside a...
, algorithmAlgorithmIn mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s, cryptology, computer architectureComputer architectureIn computer science and engineering, computer architecture is the practical art of selecting and interconnecting hardware components to create computers that meet functional, performance and cost goals and the formal modelling of those systems....
.
V
- Leslie ValiantLeslie ValiantLeslie Gabriel Valiant is a British computer scientist and computational theorist.He was educated at King's College, Cambridge, Imperial College London, and University of Warwick where he received his Ph.D. in computer science in 1974. He started teaching at Harvard University in 1982 and is...
– computational complexity theoryComputational complexity theoryComputational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
, computational learning theoryComputational learning theoryIn theoretical computer science, computational learning theory is a mathematical field related to the analysis of machine learning algorithms.-Overview:Theoretical results in machine learning mainly deal with a type of... - Srinidhi VaradarajanSrinidhi VaradarajanSrinidhi Varadarajan is the director of the Terascale Computing Facility and an Associate Professor in the Department of Computer Science at Virginia Tech. He joined the Department of Computer Science in August 1999. His research interests are in the area of high performance computer systems...
– System XSystem X (computing)System X is a supercomputer assembled by Virginia Tech's Advanced Research Computing facility in the summer of 2003 that was originally composed of 1,100 Apple Power Mac G5 computers. System X ran at 12.25 Teraflops, , and was ranked #3 on November 16, 2003 and #280 in the July 2008 edition of...
: VirginiaTech's Power Mac G5Power Mac G5The Power Mac G5 is Apple's marketing name for models of the Power Macintosh that contains the IBM PowerPC G5 CPU. The professional-grade computer was the most powerful in Apple's lineup when it was introduced, widely hailed as the first 64-bit PC, and was touted by Apple as the fastest personal...
Supercluster - François VernadatFrançois VernadatFrançois B. Vernadat is a French and Canadian computer scientist, who has contributed to Enterprise Modelling, Integration and Networking over the last 25 years specialising in enterprise architectures, business process modelling, information systems design and analysis, systems integration and...
– enterprise modeling - Richard VeryardRichard VeryardRichard Veryard is a British computer scientist, author and business consultant, known for his work on Service Oriented Architecture and the Service-Based Business.-Biography:...
– enterprise modeling - Patrick Valduriez – distributed data management
W
- Philip WadlerPhilip WadlerPhilip Wadler is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and...
– functional programmingFunctional programmingIn computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state... - David Wagner – security, cryptographyCryptographyCryptography is the practice and study of techniques for secure communication in the presence of third parties...
- Marilyn A. Walker – natural language processingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
, spoken dialogue systems, intelligent virtual agents - Larry WallLarry WallLarry Wall is a programmer and author, most widely known for his creation of the Perl programming language in 1987.-Education:Wall earned his bachelor's degree from Seattle Pacific University in 1976....
(1954-) – inventor of PerlPerlPerl is a high-level, general-purpose, interpreted, dynamic programming language. Perl was originally developed by Larry Wall in 1987 as a general-purpose Unix scripting language to make report processing easier. Since then, it has undergone many changes and revisions and become widely popular...
programming language, study of language structure - James Z. WangJames Z. WangJames Z. Wang is a Professor of the College of Information Sciences and Technology, the Department of Computer Science and Engineering, and the Integrative Biosciences Program at the Pennsylvania State University, USA. He is also the Vice Director of the Intelligent Information Systems Laboratory...
- Manfred K. WarmuthManfred K. WarmuthManfred Klaus Warmuth is a researcher and professor at the University of California, Santa Cruz. His main research interest is computational learning theory with a special focus on online learning algorithms.-External links:*...
– computational learning theoryComputational learning theoryIn theoretical computer science, computational learning theory is a mathematical field related to the analysis of machine learning algorithms.-Overview:Theoretical results in machine learning mainly deal with a type of... - David H. D. WarrenDavid H. D. WarrenDavid H. D. Warren is a computer scientist .In the 1970s and 1980s he worked primarily on logic programming and in particular the programming language Prolog. Warren wrote the first compiler for Prolog...
– AIArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, logic programmingLogic programmingLogic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
, PrologPrologProlog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...
, the 'W' in WAMWarren abstract machineIn 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine and has become the de facto standard target for Prolog compilers.-Purpose:The purpose of... - Kevin WarwickKevin WarwickKevin Warwick is a British scientist and professor of cybernetics at the University of Reading, Reading, Berkshire, United Kingdom...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its... - Jan WeglarzJan WeglarzJan Węglarz is a Polish computer scientist. His current research focuses on operations research.He studied at the University of Adam Mickiewicz in Poznań, where he graduated mathematics in 1969, and later on Poznań University of Technology, when he received title from automatics in 1971. He...
- Jie WuJie WuJie Wu is currently a distinguished professor of Computer Science at the Temple University. He currently serves as Program Director of Networking Technology and Systems at The National Science Foundation from 2005. He is noted for his research in routing for wired and wireless networks.Dr...
– computer networks - Peter WegnerPeter WegnerPeter Wegner is an American computer scientist who has made significant contributions to both the theory of object-oriented programming during 80's and to the relevance of Church-Turing thesis for empirical aspects of computer science during 90's and present. The seminal work for his previous...
– object-oriented programmingObject-oriented programmingObject-oriented programming is a programming paradigm using "objects" – data structures consisting of data fields and methods together with their interactions – to design applications and computer programs. Programming techniques may include features such as data abstraction,...
, interaction (computer science) - Peter J. WeinbergerPeter J. WeinbergerPeter Jay Weinberger is a computer scientist best known for his early work at Bell Labs. He now works at Google.Weinberger was an undergraduate at Swarthmore College, graduating in 1964...
– programming language design, the 'w' in AWK - Mark WeiserMark WeiserMark D. Weiser was a chief scientist at Xerox PARC in the United States. Weiser is widely considered to be the father of ubiquitous computing, a term he coined in 1988.-Biography:...
– ubiquitous computingUbiquitous computingUbiquitous computing is a post-desktop model of human-computer interaction in which information processing has been thoroughly integrated into everyday objects and activities. In the course of ordinary activities, someone "using" ubiquitous computing engages many computational devices and systems... - Joseph WeizenbaumJoseph WeizenbaumJoseph Weizenbaum was a German-American author and professor emeritus of computer science at MIT.-Life and career:...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, ELIZAELIZAELIZA is a computer program and an early example of primitive natural language processing. ELIZA operated by processing users' responses to scripts, the most famous of which was DOCTOR, a simulation of a Rogerian psychotherapist. Using almost no information about human thought or emotion, DOCTOR... - Steve WhittakerSteve WhittakerSteve Whittaker is a professor in Human-Computer Interaction. He currently works at University of California at Santa Cruz. He was previously a Professor in information retrieval at the Information Studies department at the University of Sheffield. He earned an MA at the University of Cambridge...
– Human Computer Interaction, Computer Support for Cooperative Work, Social MediaSocial mediaThe term Social Media refers to the use of web-based and mobile technologies to turn communication into an interactive dialogue. Andreas Kaplan and Michael Haenlein define social media as "a group of Internet-based applications that build on the ideological and technological foundations of Web 2.0,... - Jennifer WidomJennifer WidomJennifer Widom is the chair of the Computer Science Department at Stanford University where she has worked on nontraditional data management. She is the Fletcher Jones Professor in Computer Science and a member of the National Academy of Engineering...
– nontraditional data management - Janyce Wiebe – subjectivitySubjectivitySubjectivity refers to the subject and his or her perspective, feelings, beliefs, and desires. In philosophy, the term is usually contrasted with objectivity.-Qualia:...
, natural language processingNatural language processingNatural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....
, automatic summarizationAutomatic summarizationAutomatic summarization is the creation of a shortened version of a text by a computer program. The product of this procedure still contains the most important points of the original text....
, - Gio WiederholdGio WiederholdGio Wiederhold is an Italian-born computer scientist who spent most of his career at Stanford University. His research focuses on the design of large-scale database management systems, the protection of their content, often using knowledge-based techniques.-Biography:Gio Wiederhold was born June...
– database management systemDatabase management systemA database management system is a software package with computer programs that control the creation, maintenance, and use of a database. It allows organizations to conveniently develop databases for various applications by database administrators and other specialists. A database is an integrated...
s - Adriaan van WijngaardenAdriaan van WijngaardenAdriaan van Wijngaarden was an important mathematician and computer scientist who is considered by many to have been the founding father of informatica in the Netherlands...
– Dutch pioneer; ARRA, ALGOLALGOLALGOL is a family of imperative computer programming languages originally developed in the mid 1950s which greatly influenced many other languages and became the de facto way algorithms were described in textbooks and academic works for almost the next 30 years... - Mary Allen WilkesMary Allen WilkesMary Allen Wilkes is a former computer programmer and hardware engineer, most known for her work with the LINC computer. She left computer science and became an attorney. She is a graduate of Wellesley College, class of 1959....
– LINCLINCThe LINC was a 12-bit, 2048-word computer. The LINC can be considered the first minicomputer and a forerunner to the personal computer....
developer, assembler-linker designer - Maurice Vincent WilkesMaurice Vincent WilkesSir Maurice Vincent Wilkes FRS, FREng, DFBCS was a British computer scientist credited with several important developments in computing. At the time of his death, Wilkes was an Emeritus Professor of the University of Cambridge...
– microprogramming, EDSACEDSACElectronic Delay Storage Automatic Calculator was an early British computer. The machine, having been inspired by John von Neumann's seminal First Draft of a Report on the EDVAC, was constructed by Maurice Wilkes and his team at the University of Cambridge Mathematical Laboratory in England... - Yorick WilksYorick WilksYorick Wilks FBCS is a British Computer Scientist who is Professor of Artificial Intelligence at the University of Sheffield, a Senior Research Fellow at the Oxford Internet Institute, and a Senior Scientist at the Florida Institute for Human and Machine Cognition.__FORCETOC__- Biography :Wilks...
– computational linguisticsComputational linguisticsComputational linguistics is an interdisciplinary field dealing with the statistical or rule-based modeling of natural language from a computational perspective....
, artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its... - James H. WilkinsonJames H. WilkinsonJames Hardy Wilkinson 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.-Early life:...
– numerical analysisNumerical analysisNumerical analysis is the study of algorithms that use numerical approximation for the problems of mathematical analysis .... - Sophie WilsonSophie WilsonSophie Wilson is a British computer scientist. She is known for designing the Acorn Micro-Computer, the first of a long line of computers sold by Acorn Computers Ltd, as well as the instruction set of the highly successful ARM processor.- Life and career :...
– ARM architectureARM architectureARM is a 32-bit reduced instruction set computer instruction set architecture developed by ARM Holdings. It was named the Advanced RISC Machine, and before that, the Acorn RISC Machine. The ARM architecture is the most widely used 32-bit ISA in numbers produced... - Shmuel WinogradShmuel WinogradShmuel Winograd is an American computer scientist, noted for his contributions to computational complexity. He has proved several major results regarding the computational aspects of arithmetic; his contributions include the Coppersmith-Winograd algorithm and an algorithm for Fast Fourier...
– Coppersmith-Winograd algorithm - Terry WinogradTerry WinogradTerry Allen Winograd is an American professor of computer science at Stanford University, and co-director of the Stanford Human-Computer Interaction Group...
– artificial intelligenceArtificial intelligenceArtificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, SHRDLUSHRDLUSHRDLU was an early natural language understanding computer program, developed by Terry Winograd at MIT from 1968-1970. In it, the user carries on a conversation with the computer, moving objects, naming collections and querying the state of a simplified "blocks world", essentially a virtual box... - Niklaus WirthNiklaus WirthNiklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering. In 1984 he won the Turing Award for developing a sequence of innovative computer languages.-Biography:Wirth...
– PascalPascal (programming language)Pascal is an influential imperative and procedural programming language, designed in 1968/9 and published in 1970 by Niklaus Wirth as a small and efficient language intended to encourage good programming practices using structured programming and data structuring.A derivative known as Object Pascal...
, ModulaModulaThe Modula programming language is a descendent of the Pascal programming language. It was developed in Switzerland in the late 1970s by Niklaus Wirth, the same person who designed Pascal...
, Oberon (programming language)Oberon (programming language)Oberon is a programming language created in 1986 by Professor Niklaus Wirth and his associates at ETH Zurich in Switzerland. It was developed as part of the implementation of the Oberon operating system... - Dennis E. WisnoskyDennis E. WisnoskyDennis E. Wisnosky is an American consultant, writer and currently Chief Architect and Chief Technical Officer of the US DoD Business Mission Area within the Office of Business Transformation...
– Integrated Computer-Aided ManufacturingIntegrated Computer-aided manufacturingIntegrated Computer-Aided Manufacturing is a US Air Force program to develop tools, techniques, and processes to support manufacturing integration and has influenced the computer-integrated manufacturing and computer-aided manufacturing project efforts of many companies.The ICAM program was...
(ICAM), IDEFIDEFIDEF, an abbreviation of Integration Definition, refers to a family of modeling languages in the field of systems and software engineering. They cover a wide range of uses, from functional modeling to data, simulation, object-oriented analysis/design and knowledge acquisition. These "definition... - Stephen WolframStephen WolframStephen Wolfram is a British scientist and the chief designer of the Mathematica software application and the Wolfram Alpha computational knowledge engine.- Biography :...
– MathematicaMathematicaMathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing... - William WulfWilliam WulfWilliam Allan Wulf is a computer scientist notable for his work in programming languages and compilers.Born in Chicago, Illinois, he attended the University of Illinois, receiving a BS in Engineering Physics and an MS in Electrical Engineering, then achieved the first Ph.D. in Computer Science...
– compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s
Y
- Tao YangTao Yang (Wuxi)Tao Yang is a computer scientist. He attended Tongji University, where he received his Bachelor's degree in 1990 and his Master's degree in 1993. He has invented fuzzy cellular neural networks in 1995,computational verb in 1997,...
- Andrew Chi-Chih Yao
- Edward YourdonEdward YourdonEdward Nash Yourdon is an American software engineer, computer consultant, author and lecturer, and pioneer in the software engineering methodology...
– Structured Systems Analysis and Design MethodStructured Systems Analysis and Design MethodStructured systems analysis and design method is a systems approach to the analysis and design of information systems. SSADM was produced for the Central Computer and Telecommunications Agency , a UK government office concerned with the use of technology in government, from 1980 onwards.- Overview...
Z
- Lotfi Zadeh – fuzzy logicFuzzy logicFuzzy logic is a form of many-valued logic; it deals with reasoning that is approximate rather than fixed and exact. In contrast with traditional logic theory, where binary sets have two-valued logic: true or false, fuzzy logic variables may have a truth value that ranges in degree between 0 and 1...
- Arif ZamanArif ZamanArif Zaman, Ph.D., is a Pakistani mathematician and an academic scientist. He is the Professor of Statistics and Mathematics and as well as Chairman of the Department of Mathematics at the School of Science and Engineering of the Lahore University of Management Sciences...
– Pseudo-random number generator - Albert Zomaya – Australian pioneer of scheduling in parallel and distributed systems
- Konrad ZuseKonrad ZuseKonrad Zuse was a German civil engineer and computer pioneer. His greatest achievement was the world's first functional program-controlled Turing-complete computer, the Z3, which became operational in May 1941....
– German pioneer of hardware and software - Mark ZuckerbergMark ZuckerbergMark Elliot Zuckerberg is an American computer programmer and Internet entrepreneur. He is best known for co-creating the social networking site Facebook, of which he is chief executive and president...
– Co-founder and CEO of Facebook
See also
- Academic genealogy of computer scientistsAcademic genealogy of computer scientistsThe following is an academic genealogy of computer scientists and is constructed by following the pedigree of thesis advisors.- France :Many French computer scientists worked at the National Institute for Research in Computer Science and Control ....
- List of pioneers in computer science
- List of programming language researchers
- List of members of the National Academy of Sciences (Computer and information sciences)
- List of programmers
- List of computing people
- List of important publications in computer science
- List of Russian IT developers