Corrado Böhm

Known for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages, Böhm was a computer scientist and Professor Emeritus...

Roger Michael Needham

Head of Cambridge University Computing Laboratory and designer of influential cryptography and security systems, Needham was a major figure in computer science. A Mathematics and Philosophy graduate from Cambridge University in the...

Richard Edwin Stearns

1993 ACM Turing Award recipient, Stearns is a prominent computer scientist who, with Juris Hartmanis, was recognized "in recognition of their seminal paper which established the foundations for the field of computational...

Gene Myron Amdahl

Team leader in building IBM mainframes and founder of Amdahl Corporation, Amdahl was chiefly known for his work on mainframe computers at IBM and later his own companies. He was perhaps best...

Kenneth Eugene Iverson

Developer of the APL programming language in 1962, Iverson was a Canadian computer scientist noted for his contributions to mathematical notation and programming language theory. He was honored with the Turing Award...

Mavis Batey (née Lever)

One of Bletchley Park's most effective codebreakers, Batey joined the team in May 1940 at just 19 years old, interrupting her German-language studies at University College London. Working under the eccentric cryptographer...

Edward Rolf Tufte

Noted for his writings on information design and statistics, Tufte is an expert in the presentation of informational graphics such as charts and diagrams, and a fellow of the American Statistical Association....

Jack Howlett

Director of the Atlas Computer Laboratory, Howlett led a laboratory created to provide a service to researchers across the United Kingdom with a need for large-scale computing power, and played a key...

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

Dimitri P. Bertsekas

Known for his fourteen textbooks and monographs in theoretical and algorithmic optimization and control, and in applied probability, Bertsekas is an applied mathematician and computer scientist who has served as a professor...

Richard E. Crandall

Developer of the irrational base discrete weighted transform, an important method of finding very large primes, Crandall made significant contributions to computational number theory. He served, at various times, as Chief Scientist...

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

Shaun Wylie

A key member of Hut 8 at Bletchley Park, Wylie worked alongside Alan Turing on solving the Enigma machine as used by the German Navy. He was born in Oxford, England, the...

Grigore Constantin Moisil

Considered the father of computer science in Romania, Moisil made foundational contributions to automata theory, many-valued algebras, and mathematical logic. Grigore Moisil attended primary school in Bucharest, then high school in Vaslui and...

Russell Lincoln Ackoff

Recognized as the "Father of Operations Research" for helping establish one of the world's first Departments of Operations Research, Ackoff is also celebrated internationally as a pragmatic academic, systems thinker, and prolific...

Victor Mayer Amédée Mannheim

Inventor of the modern slide rule, Mannheim standardized the design that remained in common use until pocket calculators took over. After graduating from the École d'Application in Metz, Mannheim became an officer of...

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

Martin David Davis

Known for his work on Hilbert's tenth problem and as co-inventor of the Davis-Putnam and DPLL algorithms, Davis is an American mathematician. Born in New York City, he grew up in the...

Adriaan van Wijngaarden

One of the founding fathers of informatica (computer science) and designer of ALGOL, van Wijngaarden was a pioneering figure in the history of computing. Adriaan's education was in mechanical engineering, for which...

Peter Goddard

A mathematical physicist who helped establish a permanent Archives Center at the IAS, Goddard is known for his contributions to string theory and conformal field theory, including the no-ghost theorem (proved together...