Patrick Cousot

Co-inventor of Abstract Interpretation, a theory of sound approximation of mathematical structures, Cousot developed this influential technique in formal methods together with his wife Radhia in 1975. In the 2000s, he worked...

Eva Tardos

Recipient of the Fulkerson Prize (1988), the Dantzig Prize (2006), and the IEEE John von Neumann Medal (2019), Tardos is known as a Hungarian mathematician and the Jacob Gould Schurman Professor of...

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

Lewis Fry Richardson

Pioneer of fractals and the modified Richardson iteration method for solving systems of linear equations, Richardson was also an English mathematician, physicist, meteorologist, psychologist, and pacifist who pioneered modern mathematical techniques of...

Charles Antony Richard Hoare

Developer of Quicksort, one of the world's most widely used sorting algorithms, Hoare also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the...

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

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

Peter A. Franaszek

Known for his research in fragmentation-reduction algorithms, network theory, and magnetic recording, Franaszek has been a researcher at the IBM Research Division, Thomas J. Watson Research Center, Yorktown Heights, New York. Dr....

Edith Clarke

Pioneer of electrical engineering and the inventor of the Clarke calculator, Clarke broke barriers as the first woman to earn an M.S. in electrical engineering from MIT. Clarke studied mathematics and astronomy at...

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

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

Daniel (Danny) Mark Lewin

Co-creator of innovative Internet infrastructure services that produced an entirely new industry segment and forever changed the way people and companies distribute content, data, and applications, Lewin co-founded Akamai Technologies. An American-Israeli...

Anil K. Jain

Internationally recognized for contributions to pattern recognition, computer vision, and biometric recognition, Jain has served as a University Distinguished Professor in the Department of Computer Science & Engineering at Michigan State University...

David R. Karger

Developer of the fastest minimum spanning tree algorithm to date, Karger is also known for Karger's algorithm, a Monte Carlo method to compute the minimum cut of a connected graph. His work...

Henryk Zygalski

Designer of the "perforated sheets," also known as "Zygalski sheets," a manual device for finding Enigma settings, Zygalski was a Polish mathematician and cryptologist who worked at breaking German Enigma ciphers before...

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

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

Abraham Lempel

One of the fathers of the LZ family of lossless data compression algorithms, Lempel studied at Technion - Israel Institute of Technology, and received B.Sc. in 1963, M.Sc. in 1965, and D.Sc....

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

Paul Tseng

The first to establish the convergence of the affine scaling algorithm for linear programming in the presence of degeneracy, Tseng was recognized by his peers to be one of the leading optimization...