Safrira Goldwasser

Co-inventor of zero-knowledge proofs, Goldwasser's research areas include computational complexity theory, cryptography, and computational number theory. Zero-knowledge proofs probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge,...

Aleksandr Semenovich Kronrod

Known for the Gauss–Kronrod quadrature formula, which he published in 1964, Kronrod was a Soviet mathematician and computer scientist. Earlier in his career, his computations informed theoretical physics. He was also known...

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

Robert W. Floyd

Having a clear influence on methodologies for the creation of efficient and reliable software, Floyd made lasting contributions to computer science across several areas. His contributions included the design of Floyd's algorithm,...

Donald Ervin Knuth

Author of the landmark series *The Art of Computer Programming*, Knuth is renowned for his contributions to the analysis of algorithms and the design of programming languages. He has served as Professor...

Amir Pnueli

Pioneer of temporal logic in computing science, Pnueli made a major breakthrough in the verification and certification of concurrent and reactive systems with his landmark 1977 paper "The Temporal Logic of Programs,"...

Andrew James Viterbi

Inventor of the Viterbi algorithm, used for decoding convolutionally encoded data and still widely used in cellular phones for error correcting codes, as well as for speech recognition, DNA analysis, and many...

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

Jack J. Dongarra

Co-developer of the LINPACK and LAPACK libraries, which have provided the benchmark for the world's 500 fastest computers since 1993, Dongarra has served as a University Distinguished Professor of Computer Science in...

Richard Wesley Hamming

Known for his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes, Hamming was an American mathematician whose work had many implications for computer science and telecommunications. Hamming's contributions...

Nicholas (Nick) John Pippenger

Co-inventor of extendible hashing, Pippenger is recognized for a number of fundamental results widely used in theoretical computer science, database processing, and compiler optimization. He held a B.S. degree in Natural Sciences...

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

Thomas M. Cover

Known for developing the relationship between information theory and statistics, Cover served as past President of the IEEE Information Theory Society and was a Fellow of the Institute for Mathematical Statistics and...

Robin Milner

A Turing Award-winning pioneer of theoretical computer science, Milner shaped the formal understanding of computation through foundational contributions. He developed Calculus of Communicating Systems (CCS), a landmark formalism for modeling concurrent processes,...

Ramon Llull

A pioneer of computation theory, Llull was a Majorcan writer and philosopher who wrote the first major work of Catalan literature. Recently-surfaced manuscripts show him to have anticipated, by several centuries, prominent...

Ronald (Ron) Lewis Graham

Credited by the American Mathematical Society as "one of the principal architects of the rapid development worldwide of discrete mathematics in recent years," Graham was also a leading figure in scheduling theory,...

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

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

Silvio Micali

Co-inventor of zero-knowledge proofs, Micali is an Italian-born computer scientist known for fundamental contributions to cryptography and information security. He has served as a Professor of Computer Science in MIT's Department of...

Marsha J. Berger

Pioneer of adaptive mesh refinement (AMR) and Cartesian mesh finite difference methods for numerical PDEs, Berger's block-structured AMR approach, beginning with her thesis, is now considered one of the seminal ideas in...