Andrew James Viterbi

Inventor of the Viterbi algorithm, used for decoding convolutionally encoded data and still widely used in cellular phones for error correcting codes, as well as for speech recognition, DNA analysis, and many...

Martin Edward Hellman

Co-inventor of public key cryptography, Hellman co-authored with Whitfield Diffie the landmark 1976 paper *New Directions in Cryptography*. It introduced a radically new method of distributing cryptographic keys, which went far toward...

Russell Lincoln Ackoff

Recognized as the "Father of Operations Research" for helping establish one of the world's first Departments of Operations Research, Ackoff is also celebrated internationally as a pragmatic academic, systems thinker, and prolific...

Mary Lee Woods (aka Berners-Lee)

Member of the team that developed programs for the Manchester University Mark 1, Ferranti Mark 1 and Mark 1 Star computers, Woods was a British mathematician and computer programmer who was married...

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

Derrick (Dick) Henry Lehmer

Part of the Computations Committee formed to prepare the ENIAC for utilization following its completion, Lehmer was also active in the building of the California Digital Computer (CALDIC). An American mathematician, he...

Lawrence (Larry) H. Landweber

Creator of THEORYNET, an electronic mail system serving over 100 researchers in computer science, Landweber is also best known for founding the Computer Science Network (CSNET) project in 1979, which later developed...

William Stanley Jevons

Constructed a logical machine called the Logic Piano, Jevons was a pioneering figure in both logic and economics. Jevons arrived quite early in his career at the doctrines that constituted his most...

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

Adriaan van Wijngaarden

One of the founding fathers of informatica (computer science) and designer of ALGOL, van Wijngaarden was a pioneering figure in the history of computing. Adriaan's education was in mechanical engineering, for which...

Ethel Cox Marden

Participant in the creation of the first computer languages, Marden went to work for the National Bureau of Standards after World War II, serving as a mathematician and administrator. She served as...

David Elliott Bell

Co-developer of the highly influential Bell-LaPadula security model, Bell is a mathematician and computer security pioneer. His management experience has ranged from line management up to executive and Board of Directors responsibilities....

John Edward Hopcroft

Recognized for fundamental achievements in the design and analysis of algorithms and data structures, Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation (also known as the Cinderella...

George Boole

Inventor of Boolean logic, Boole was one of the most influential mathematicians in history. His father, John Boole (1779–1848), was a tradesman of limited means, but of "studious character and active mind"....

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

Leopold Kronecker

A contributor to the concept of continuity and the reconstruction of irrational numbers in real numbers, Kronecker was a German mathematician who worked on number theory and algebra. He was born in...

Norbert Wiener

Founder of cybernetics, Wiener pioneered the study of stochastic and noise processes, contributing work relevant to electronic engineering, electronic communication, and control systems. Cybernetics, the field he founded, formalized the notion of...

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

Nils Aall Barricelli

Pioneering in artificial life research, Barricelli conducted early computer-assisted experiments in symbiogenesis and evolution that are considered foundational to the field. Being independently wealthy, he held an unpaid residency at the Institute...