Peter Elias

Known for introducing convolutional codes and establishing the binary erasure channel, Elias also contributed fundamental new concepts and techniques to source coding. His widely cited 1975 paper introduced universal representations of the...

Edmund Melson Clarke, Jr.

Developer of model checking, Clarke pioneered a method for formally verifying hardware and software designs. In his Ph.D. thesis he proved that certain programming language control structures did not have good Hoare...

Vladimir Iosifovich Levenshtein

Best known for his contributions to error-correction theory and information theory, Levenshtein is sometimes called the father of edit distance and is known for the Levenshtein distance algorithm, which he developed in...

Michael James Lighthill

Pioneer in aeroacoustics and developer of television and communications satellites, Lighthill was a British applied mathematician known for his pioneering work in fluid dynamics. He worked at the National Physical Laboratory, Trinity...

Roger Michael Needham

Head of Cambridge University Computing Laboratory and designer of influential cryptography and security systems, Needham was a major figure in computer science. A Mathematics and Philosophy graduate from Cambridge University in the...

James T. Pendergrass

Instrumental in establishing the naval cryptologic service's pioneering program to develop electronic digital computers, Pendergrass shaped the early development of computing in the U.S. Navy. Born in Bala Cynwyd, PA, he earned...

Bailey Whitfield Diffie

Pioneer of public-key cryptography, Diffie co-authored the landmark 1976 paper "New Directions in Cryptography," which introduced a radically new method of distributing cryptographic keys, going far toward solving one of the fundamental...

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

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

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

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

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

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

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

Kenneth Eugene Iverson

Developer of the APL programming language in 1962, Iverson was a Canadian computer scientist noted for his contributions to mathematical notation and programming language theory. He was honored with the Turing Award...

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

Solomon Wolf Golomb

Inventor of Golomb coding and pioneer in combinatorial analysis and coding theory, Golomb transformed modern communications. He pioneered the identification of the characteristics and merits of maximum length shift register sequences, also...

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

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

Victor Mayer Amédée Mannheim

Inventor of the modern slide rule, Mannheim standardized the design that remained in common use until pocket calculators took over. After graduating from the École d'Application in Metz, Mannheim became an officer of...