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

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

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

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

Kathleen Booth (née Britten)

Credited with writing the first assembly language and the design of the assembler and autocode (ARC and APE(X)C) for the Birkbeck College computers, Booth made foundational contributions to computer programming. Born in...

Judea Pearl

A pioneer of the probabilistic approach to artificial intelligence and the development of Bayesian networks, Pearl is an Israeli American computer scientist and philosopher. His work demonstrated empirical success in numerous applications...

Johannes Kepler

Best known for his eponymous laws of planetary motion, Kepler was a German mathematician, astronomer, and astrologer and a key figure in the 17th century scientific revolution. His laws were codified by...

Gene Myron Amdahl

Team leader in building IBM mainframes and founder of Amdahl Corporation, Amdahl was chiefly known for his work on mainframe computers at IBM and later his own companies. He was perhaps best...

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

Winifred (Tim) Alice Asprey

Early female computer pioneer who established the first computer science lab at Vassar College, Asprey was one of only around 200 women to earn PhDs in mathematics from American universities during the...

Alexey Andreevich Lyapunov

One of the founders of cybernetics and a computer pioneer in Russia, Lyapunov made foundational contributions to the development of computing and cybernetics in the Soviet Union. In 1928, Lyapunov enrolled in Moscow...

Harlan B. Mills

Pioneer in automata theory and structured programming, Mills transformed software development through his advocacy of mathematical and statistical principles in software engineering. In 1969, Mills was asked to write a program creating...

Stanisław Marcin Ulam

Originator of the concept of the technological singularity, Ulam was also a renowned mathematician of Polish-Jewish origin who participated in America's Manhattan Project, originated the Teller–Ulam design of thermonuclear weapons, suggested the...

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

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

John McCarthy

Inventor of the Lisp programming language, McCarthy was also responsible for coining the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference. An American computer scientist and cognitive scientist,...

Abraham Lempel

One of the fathers of the LZ family of lossless data compression algorithms, Lempel studied at Technion - Israel Institute of Technology, and received B.Sc. in 1963, M.Sc. in 1965, and D.Sc....

Mavis Batey (née Lever)

One of Bletchley Park's most effective codebreakers, Batey joined the team in May 1940 at just 19 years old, interrupting her German-language studies at University College London. Working under the eccentric cryptographer...

Blaise Pascal

Inventor of the Pascaline, a mechanical calculator capable of addition and subtraction, Pascal built twenty of these machines over the following ten years after constructing the first in 1642 following three years...

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