Eunice E. Santos

A leading expert and researcher in the areas of large-scale distributed processing, computational modeling, complex adaptive systems, and human modeling with applications to the biological, physical, and social sciences, Santos has served...

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

Leonard Kleinrock

Known as a "Father of the Internet," Kleinrock is an American engineer and computer scientist who made several important contributions to the field of computer networking, in particular to the theoretical side...

William (Velvel) Morton Kahan

One of the foremost experts on floating-point computations, Kahan is recognized for his fundamental contributions to numerical analysis and has dedicated himself to "making the world safe for numerical computations." Among his...

Dana Stewart Scott

Author of the joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, Scott has had a research career spanning computer science, mathematics, and philosophy, characterized by...

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

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

David Albert Huffman

Best known for his legendary Huffman code, a compression scheme for lossless variable length encoding, Huffman joined the faculty at MIT in 1953. He was awarded the Louis E. Levy Medal in...

Charles Eric Leiserson

Inventor of the fat-tree interconnection network, a hardware-universal interconnection network used in many supercomputers, Leiserson is also a pioneer developer of VLSI theory. He designed the fat-tree for the Connection Machine CM5,...

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

John Napier

Renowned as the discoverer of the logarithm and inventor of "Napier's bones," Napier was a Scottish mathematician, physicist, astronomer, and astrologer, and also the 8th Laird of Merchiston. He was the son...

Warren Weaver

Writer of the memorandum "Translation" (July 1949), said to be probably the single most influential publication in the early days of machine translation, Weaver was an American scientist, mathematician, and science administrator...

Bailey Whitfield Diffie

Pioneer of public-key cryptography, Diffie co-authored the landmark 1976 paper "New Directions in Cryptography," which introduced a radically new method of distributing cryptographic keys, going far toward solving one of the fundamental...

Michael James Lighthill

Pioneer in aeroacoustics and developer of television and communications satellites, Lighthill was a British applied mathematician known for his pioneering work in fluid dynamics. He worked at the National Physical Laboratory, Trinity...

Omer Reingold

Author of Reingold's Algorithm, which resolved the memory-complexity of finding paths in undirected graphs, Reingold is cited for finding a solution to a more than 25-year quest by expert theoretical computer science...

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

Gottfried Wilhelm Leibniz

Discoverer of the binary number system and independent co-inventor of infinitesimal calculus, Leibniz occupied a prominent place in the history of mathematics and the history of philosophy. He developed the infinitesimal calculus...

Hugh Williams

One of the members of the IBM team that developed the plan for unbundling software from hardware in 1969, Williams is also known for solving the Archimedes Cattle Problem. In June of...

James Waddell Alexander II

Founder of cohomology theory, Alexander was also a pioneer in algebraic topology who contributed to the beginnings of knot theory by defining the first of the polynomial knot invariants. He was an American...

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