Oswald Veblen

Involved in overseeing the World War II work that produced the pioneering ENIAC electronic digital computer, Veblen was also an American mathematician, geometer, and topologist whose work found application in atomic physics...

Irving Stoy Reed

Co-inventor of the Reed-Solomon error-detecting and correcting codes, Reed made many contributions to areas of electrical engineering including radar, signal processing, and image processing. He was part of the team that built...

Charles Sanders Peirce

As early as 1886, Peirce saw that logical operations could be carried out by electrical switching circuits, the same idea that was used decades later to produce digital computers. An American philosopher,...

Robert Morris

Contributor to early versions of UNIX, Morris developed the math library, the program crypt, and the password encryption scheme used for user authentication. He was born in Boston, Massachusetts, and received a...

James Weldon Demmel

Writer of Prometheus, a parallel multigrid finite element solver, Demmel is an American mathematician and computer scientist. Prometheus, which he wrote with Mark Adams and Robert Taylor, won the Carl Benz Award...

Richard F. Clippinger

Co-developer of numeric methods for solving ordinary and partial differential equations on the ENIAC, EDVAC, and ORDVAC computers, Clippinger was a computing laboratory staff member at the Aberdeen Proving Ground, Maryland, who...

Irving John Good

Mathematician and cryptologist responsible for the term "technological singularity," Good was a pioneering figure in computing, statistics, and codebreaking. On 27 May 1941, having just obtained his doctorate at Cambridge, Good walked into...

Mina Spiegel Rees

Pioneer of federally funded computer research and development and the first woman president of the American Association for the Advancement of Science (AAAS), Rees transformed the landscape of postwar American science. She was...

John Edward Hopcroft

Recognized for fundamental achievements in the design and analysis of algorithms and data structures, Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation (also known as the Cinderella...

Dana Stewart Scott

Author of the joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, Scott has had a research career spanning computer science, mathematics, and philosophy, characterized by...

Ramakrishnan Srikant

Key architect for IBM Intelligent Miner, Srikant contributed the association rules and sequential patterns modules to the product. Dr. Srikant has served as a Principal Research Scientist at Google. He previously managed the...

Ralph Edward Gomory

Credited with many fundamental contributions to advanced technology — including the single-transistor memory cell, high-density storage devices, silicon processing methods, and relational database theory — Gomory is an American applied mathematician and...

Peter John Landin

One of the first to realize that the lambda calculus could be used to model a programming language, Landin made contributions essential to the development of both functional programming and denotational semantics....

William Gordon Welchman

One of four signatories to an influential letter delivered personally to Winston Churchill in October 1941 asking for more resources for the code-breaking work at Bletchley Park, and teacher of the first...

Michael Oser Rabin

Author of the landmark joint paper "Finite Automata and Their Decision Problems," which introduced nondeterministic machines and had a lasting impact on automata theory, Rabin and co-author Dana S. Scott were cited...

Doulgas Rayner Hartree

English mathematician and physicist, Hartree was most famous for the development of numerical analysis and its application to the Hartree-Fock equations of atomic physics and the construction of the meccano differential analyzer.

Abdal Mammad ibn M Khwrizm

Considered the founder of algebra, Khwrizm shared this credit with Diophantus. His Kitab al-Jabr wa-l-Muqabala presented the first systematic solution of linear and quadratic equations. In the twelfth century, Latin translations of...

Kathleen Booth (née Britten)

Credited with writing the first assembly language and the design of the assembler and autocode (ARC and APE(X)C) for the Birkbeck College computers, Booth made foundational contributions to computer programming. Born in...

Martin Edward Hellman

Co-inventor of public key cryptography, Hellman co-authored with Whitfield Diffie the landmark 1976 paper *New Directions in Cryptography*. It introduced a radically new method of distributing cryptographic keys, which went far toward...

Charles Antony Richard Hoare

Developer of Quicksort, one of the world's most widely used sorting algorithms, Hoare also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the...