Jozef Gruska

A pioneer in the theory of quantum computing and organizing activities in the field, Gruska graduated in mathematics from Commenius University in Bratislava and received a Ph.D. in Computer Science from the...

Maxwell (Max) Herman Alexander Newman

Head of the department that built the world's first electronic stored-program digital computer, Newman was a British mathematician and codebreaker born in Chelsea, London, England. He attended Goodrich Road School, then City...

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

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

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

Carl Adam Petri

Developer of Petri nets for modeling distributed systems, Petri introduced the concept in his Ph.D. thesis in 1962, where he originally called them communicating automata. Afterwards, Petri served as department head at...

Elwyn Ralph Berlekamp

Known for his work in information theory and combinatorial game theory, Berlekamp was one of the inventors of the Welch–Berlekamp and Berlekamp–Massey algorithms, which are used to implement Reed–Solomon error correction. While an...

Leonid Anatolievich Levin

Co-discoverer of the Cook-Levin Theorem, Levin is noted for his work in randomness computing, algorithmic complexity, and intractability. This NP-completeness theorem was a basis for one of the seven "Millennium Math Problems"...

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

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

Irene Greif

Inventor of the Version Manager — consistently designated by analysts as the most significant group-enabling feature in spreadsheets — Greif is an American computer scientist and a founder of the field of...

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

Robin Milner

A Turing Award-winning pioneer of theoretical computer science, Milner shaped the formal understanding of computation through foundational contributions. He developed Calculus of Communicating Systems (CCS), a landmark formalism for modeling concurrent processes,...

Stephen Cole Kleene

American mathematician who helped lay the foundations for theoretical computer science, Kleene was best known as a founder of the branch of mathematical logic known as recursion theory. One of many distinguished...

Augusta Ada King, Countess of Lovelace

Known as the "World's First Computer Programmer," Lovelace wrote notes on Charles Babbage's analytical engine that include what is recognized as the first algorithm intended to be processed by a machine. An...

Don Coppersmith

Co-designer of the Data Encryption Standard (DES), Coppersmith is one of the world's leading researchers in cryptography. He was part of the IBM team that developed DES. Used in financial and Internet...

Clifford (Cliff) B. Jones

Team member on the Vienna Development Method (VDM) at IBM in Vienna, Jones is a British computer scientist known for his work on one of the longest-established formal methods for the development...

Horst Feistel

Initiator of research that culminated in the development of the Data Encryption Standard (DES), Feistel was a German-born cryptographer who worked on the design of ciphers at IBM. Born in Berlin, Germany,...

Samuel Morland

Credited with early developments in relation to computing, hydraulics and steam power, Morland was a notable English academic, diplomat, spy, inventor and mathematician of the 17th century. He was educated at Winchester...

Peter Goddard

A mathematical physicist who helped establish a permanent Archives Center at the IAS, Goddard is known for his contributions to string theory and conformal field theory, including the no-ghost theorem (proved together...