Dimitri P. Bertsekas

Known for his fourteen textbooks and monographs in theoretical and algorithmic optimization and control, and in applied probability, Bertsekas is an applied mathematician and computer scientist who has served as a professor...

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

Cleve Barry Moler

Inventor of MATLAB, a numerical computing package, Moler is an American mathematician and computer programmer specializing in numerical analysis. In the mid to late 1970s, he was one of the authors of...

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

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

A.J. Han Vinck

Recipient of the IEEE ISPLC2006 Achievement award for his contributions to Power Line Communications, Vinck has also held a chair for Digital Communications at the Institute for Experimental Mathematics at the University...

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

Gladys West

Recognized for her contributions to mathematical modeling of the shape of the Earth, West was an African American mathematician whose work on satellite geodesy models was later incorporated into the Global Positioning...

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

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

John Rushby

Developer of the Prototype Verification System (PVS), a major impetus for the development of computer science, Rushby is a British computer scientist legendary in the field of formal methods and verification. He...

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

Jack Keil Wolf

Known for his work in coding theory as applied to magnetic storage, Wolf made pioneering and sustained contributions to information theory and digital information storage. He was also an expert in signal...

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.

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

Azriel Rosenfeld

A leading researcher in the field of computer image analysis — encompassing computer or machine vision and medical imaging — Rosenfeld was a tenured Distinguished University Professor and Director of the Center...

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

Lydia E. Kavraki

Known for research in robotics, bioinformatics, and algorithms, Kavraki left Greece to pursue a PhD in computer science at Stanford University. Drawn to the human potential of robotics, Kavraki studied how robots—from...

Robert Morris

Contributor to early versions of UNIX, Morris developed the math library, the program crypt, and the password encryption scheme used for user authentication. He was born in Boston, Massachusetts, and received a...

Edsger Wybe Dijkstra

Creator of the ALGOL programming language, Dijkstra was one of the most influential members of computing science's founding generation. Among the domains in which his scientific contributions are fundamental are algorithm design,...