David Elliott Bell

Co-developer of the highly influential Bell-LaPadula security model, Bell is a mathematician and computer security pioneer. His management experience has ranged from line management up to executive and Board of Directors responsibilities....

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

Alonzo Church

A major contributor to mathematical logic and the foundations of theoretical computer science, Church is sometimes called the father of theoretical computer science. He is best known for the lambda calculus, the...

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

Leslie Lamport

Known for his seminal work in distributed systems and as the initial developer of LaTeX, Lamport is a prominent computer scientist and mathematician. A graduate of the Bronx High School of Science, he...

Manuel Blum

Recipient of the 1995 Turing Award for his contributions to the foundations of computational complexity theory and its application to cryptography and program checking, Blum is a computer scientist whose work has...

Marshall Nicholas Rosenbluth

Deriver of the Metropolis algorithm — cited in Computing in Science and Engineering (Jan. 2000) as being among the top 10 algorithms having the "greatest influence on the development and practice of...

Michael T. Goodrich

Pioneer and research leader on efficient parallel and distributed solutions, Goodrich has served as a Chancellor's Professor and chair of the Department of Computer Science of the Donald Bren School of Information...

Elwyn Ralph Berlekamp

Known for his work in information theory and combinatorial game theory, Berlekamp was one of the inventors of the Welch–Berlekamp and Berlekamp–Massey algorithms, which are used to implement Reed–Solomon error correction. While an...

Shmuel Winograd

Noted for proving major results in computational complexity and co-creating the Coppersmith–Winograd algorithm, Winograd was one of the most influential figures in the computational aspects of arithmetic. He proved several major results...

Karl Kempf

Pioneer in applying advanced mathematics to industrial and engineering challenges, Kempf is best known for heading a group of mathematicians at Stanford University who built computer models allowing Intel to design financial...

Norbert Wiener

Founder of cybernetics, Wiener pioneered the study of stochastic and noise processes, contributing work relevant to electronic engineering, electronic communication, and control systems. Cybernetics, the field he founded, formalized the notion of...

Amar Mukherjee

Pioneer in Switching Theory and the first to develop an algorithm for the minimization of EXOR-AND-type logic networks, Mukherjee was internationally recognized for his contributions to Hardware Algorithms for Non-numeric Computation, VLSI...

Maurice Karnaugh

Developer of the Karnaugh map, also known as the K-map, Karnaugh created a method to simplify boolean algebra expressions that was fundamental in the development of digital electronics and is provided for...

Tim Roughgarden

Noted for his work in network data loss, Roughgarden introduced novel techniques that quantified the lost efficiency associated with the uncoordinated behavior of network users who acted in their own self-interest, building...

Muhammad ibn Musa al

Presenter of the first systematic solution of linear and quadratic equations in Arabic, al-Khwārizmī was a Persian mathematician, astronomer, and geographer—a scholar in the House of Wisdom in Baghdad whose life spanned...

Bettina Speckmann

Speckmann headed the Applied Geometric Algorithms group at Eindhoven University of Technology and was a professor in the Department of Mathematics and Computer Science in Eindhoven, Netherlands. Her research focused on computational...

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

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

John von Neumann

Generally regarded as one of the greatest mathematicians in modern history, von Neumann made major contributions to a vast range of fields, including set theory, functional analysis, quantum mechanics, ergodic theory, continuous...