Elaine Surick Oran

Considered a world authority on numerical methods for large-scale simulation of physical systems, Oran pioneered computational technology to solve complex reactive flow problems. Her work unified concepts from science, mathematics, engineering, and...

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

Marvin Lee Minsky

Co-founder of MIT's AI laboratory and a towering figure in artificial intelligence, Minsky was an American cognitive scientist and author of several texts on AI and philosophy.

Christopher Strachey

One of the founders of denotational semantics and a pioneer in programming language design, Strachey made lasting contributions to computer science. After the war he fulfilled a long-standing ambition by becoming a schoolmaster...

Gertrude Blanch

Pioneering figure in numerical analysis and computation and one of the founders of the Association for Computing Machinery (ACM), Blanch was born Gittel Kaimowitz in Kolno, Russia (now Kolno, Poland), arrived in...

Alexey Andreevich Lyapunov

One of the founders of cybernetics and a computer pioneer in Russia, Lyapunov made foundational contributions to the development of computing and cybernetics in the Soviet Union. In 1928, Lyapunov enrolled in Moscow...

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

Philibert Maurice d'Ocagne

Pioneer of nomography — the systematization of graphical calculation methods using nomograms — d'Ocagne was a French engineer and mathematician whose scientific personality soon fell into oblivion, leaving only a few milestones...

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

Sergio Verdu

Known for pioneering the field of multiuser detection, Verdú has served as the Eugene Higgins Professor of Electrical Engineering at Princeton University, where he has taught and conducted research on Information Theory...

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

Jan Camenisch

Co-inventor of Identity Mixer, a unique cryptographic protocol suite for privacy-preserving authentication and transfer of certified attributes, Camenisch is a leading scientist in the area of privacy and cryptography. He has served...

Peter Naur

Contributor to the creation of the ALGOL 60 programming language, Naur won the 2005 ACM A.M. Turing Award for his work on defining it. In particular, his role as editor of the...

Clifford Alan Pickover

Member of the team that worked on design-automation workstations and developed code for IBM's IntelliStation, Pickover is an American author, editor, inventor, and columnist in the fields of science, mathematics, and science...

John George Kemeny

Co-developer of the BASIC programming language, Kemeny transformed computing by making it accessible to ordinary people. Kemeny entered Princeton University, where he studied mathematics and philosophy, but he took a year off during...

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

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

Judea Pearl

A pioneer of the probabilistic approach to artificial intelligence and the development of Bayesian networks, Pearl is an Israeli American computer scientist and philosopher. His work demonstrated empirical success in numerous applications...

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

Cordell Green

Founder of the Kestrel Institute and known for his research in knowledge-based software engineering, Green has served as Director and Chief Scientist of Kestrel Institute, which he founded in 1981. He was...