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

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.

Klaus Samelson

A pioneer whose research led to a fundamental breakthrough in how computer systems are modeled and designed, Samelson also played a key role in the design of ALGOL 58 and ALGOL 60....

William (Bill) Thomas Tutte

A foundational figure in combinatorics and graph theory, Tutte performed significant work in fields with many applications in computer science, and is credited with helping create graph theory in its modern form....

Richard (Dick) Mandelbaum

Co-founder of NYSERNet, the first nongovernment Internet service provider (ISP), Mandelbaum started out as a Theoretical Mathematician and became a Professor of Mathematics, Computer Science, and Electrical Engineering. He has also served...

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

Harry Max Markowitz

Co-developer of SIMSCRIPT, the first simulation programming language, Markowitz also received the Nobel Memorial Prize in Economic Sciences in 1990 while a professor of finance at Baruch College of the City University...

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

Edward Rolf Tufte

Noted for his writings on information design and statistics, Tufte is an expert in the presentation of informational graphics such as charts and diagrams, and a fellow of the American Statistical Association....

Marvin L. Stein

One of the founding faculty members of the Department of Computer Science at the University of Minnesota, Stein served as its Director from 1958 to 1970. Born in Cleveland, Ohio, he entered...

László Kalmár

Pioneer in mathematical logic and theoretical computer science, Kalmár defined what are known as elementary functions, number-theoretic functions (i.e. those based on the natural numbers) built up from the notions of composition...

Muffy Calder

Chief Scientific Advisor to the Scottish Government from 2012 to 2015, Calder was a Canadian-born British computer scientist and Professor of Formal Methods at the University of Glasgow. She also served as...

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

Dorothy Vaughan

The first African American woman to receive a promotion and supervise a group of staff at Langley Research Center, Vaughan became acting supervisor of the West Area Computers in 1949 and was...

Robert Endre Tarjan

Renowned for fundamental achievements in the design and analysis of algorithms and data structures, Tarjan is an American computer scientist. He discovered several important graph algorithms, including Tarjan's off-line least common ancestors...

Stephen Warshall

Developer of the transitive closure algorithm known as Warshall's algorithm, Warshall made foundational contributions to graph analysis for finding shortest paths in a weighted graph. Born in New York City, Warshall went to...

Howard Frank

Conductor of the original topological analysis for the ARPAnet, Frank evaluated the network's performance and reliability and studied how the technology could be applied to the larger world. Having earned his Ph.D....

Gerard J. Holzmann

Developer of the SPIN model checker, Holzmann is a Dutch-born American computer scientist and researcher known for his work at Bell Labs in Murray Hill, New Jersey and at NASA. SPIN (short...

Andrei Zary Broder

Co-inventor of the first practical test to prevent robots from masquerading as humans and accessing web sites — often referred to as CAPTCHA — Broder has served as a Distinguished Scientist at...

Isaac Newton

Stating the three universal laws of motion that enabled many of the advances of the Industrial Revolution and are still the underpinnings of the non-relativistic technologies of the modern world, Newton also...