Jacob Bernoulli

Known for numerous mathematical landmarks including Bernoulli Numbers and the Bernoulli Differential Equation, Bernoulli became familiar with calculus through a correspondence with Gottfried Leibniz, then collaborated with his brother Johann on various...

Richard (Dick) Manning Karp

Co-publisher with John Hopcroft of the Hopcroft–Karp algorithm, still the fastest known method for finding maximum cardinality matchings in bipartite graphs, Karp is a computer scientist and computational theorist at the University...

Derrick (Dick) Henry Lehmer

Part of the Computations Committee formed to prepare the ENIAC for utilization following its completion, Lehmer was also active in the building of the California Digital Computer (CALDIC). An American mathematician, he...

Richard Ernest Bellman

Developer of dynamic programming, Bellman made foundational contributions to mathematics and computer science by introducing a method for solving complex problems by breaking them down into simpler sub-problems. An American applied mathematician...

Mark Semenovich Pinsker

Known for his entropy theory of dynamical systems, which introduced the maximal partition with zero entropy, later known as Pinsker's partition, Pinsker studied stochastic processes under A. N. Kolmogorov in the 1950s,...

Ralph C. Merkle

Co-inventor of public key cryptography, Merkle is a researcher who also works as a speaker on molecular nanotechnology and cryonics. He appeared as a character in the science fiction novel *The Diamond...

Walter F. Bauer

Pioneer in the use of electronic computers and founder of Informatics General Corporation, Bauer distinguished himself as a research digital computer engineer. During World War II, he served as a weather officer...

Lawrence (Larry) H. Landweber

Creator of THEORYNET, an electronic mail system serving over 100 researchers in computer science, Landweber is also best known for founding the Computer Science Network (CSNET) project in 1979, which later developed...

Frederick (Fred) Jacob Damerau

Pioneer in natural language processing and data mining, Damerau spent over four decades at the IBM Thomas J. Watson Research Center in Yorktown, New York. Born in Parma, Ohio, son of the...

David R. Karger

Developer of the fastest minimum spanning tree algorithm to date, Karger is also known for Karger's algorithm, a Monte Carlo method to compute the minimum cut of a connected graph. His work...

Gerard J. Holzmann

Developer of the SPIN model checker, Holzmann is a Dutch-born American computer scientist and researcher known for his work at Bell Labs in Murray Hill, New Jersey and at NASA. SPIN (short...

Edsger Wybe Dijkstra

Creator of the ALGOL programming language, Dijkstra was one of the most influential members of computing science's founding generation. Among the domains in which his scientific contributions are fundamental are algorithm design,...

Nils Aall Barricelli

Pioneering in artificial life research, Barricelli conducted early computer-assisted experiments in symbiogenesis and evolution that are considered foundational to the field. Being independently wealthy, he held an unpaid residency at the Institute...

Augusta Ada King, Countess of Lovelace

Known as the "World's First Computer Programmer," Lovelace wrote notes on Charles Babbage's analytical engine that include what is recognized as the first algorithm intended to be processed by a machine. An...

László Kalmár

Pioneer in mathematical logic and theoretical computer science, Kalmár defined what are known as elementary functions, number-theoretic functions (i.e. those based on the natural numbers) built up from the notions of composition...

Stanisław Marcin Ulam

Originator of the concept of the technological singularity, Ulam was also a renowned mathematician of Polish-Jewish origin who participated in America's Manhattan Project, originated the Teller–Ulam design of thermonuclear weapons, suggested the...

Kurt Gödel

Known for his two incompleteness theorems, Gödel heavily influenced the sciences and mathematics. Published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University...

William (Bill) Thomas Tutte

A foundational figure in combinatorics and graph theory, Tutte performed significant work in fields with many applications in computer science, and is credited with helping create graph theory in its modern form....

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...

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....