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

James Weldon Demmel

Writer of Prometheus, a parallel multigrid finite element solver, Demmel is an American mathematician and computer scientist. Prometheus, which he wrote with Mark Adams and Robert Taylor, won the Carl Benz Award...

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

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

Georgy Adelson-Velsky

Co-inventor of the AVL tree and head developer of the Kaissa chess computer, Adelson-Velsky made foundational contributions to both computer science and computer chess. In 1962, Georgy and E.M. Landis published a...

Maurice Karnaugh

Developer of the Karnaugh map, also known as the K-map, Karnaugh created a method to simplify boolean algebra expressions that was fundamental in the development of digital electronics and is provided for...

Frederick (Fred) Jacob Damerau

Pioneer in natural language processing and data mining, Damerau spent over four decades at the IBM Thomas J. Watson Research Center in Yorktown, New York. Born in Parma, Ohio, son of the...

Ralph Edward Gomory

Credited with many fundamental contributions to advanced technology — including the single-transistor memory cell, high-density storage devices, silicon processing methods, and relational database theory — Gomory is an American applied mathematician and...

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

Mitchell Jay Feigenbaum

Developer of groundbreaking techniques in cartography and co-founder of Numerix, Feigenbaum was also a mathematical physicist whose pioneering studies in chaos theory led to the discovery of the Feigenbaum constants. He was...

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

Joseph (Joe) Frederick Traub

Co-pioneer of information-based computational complexity, Traub was the Edwin Howard Armstrong Professor of Computer Science at Columbia University and External Professor at the Santa Fe Institute. He held positions at Bell Laboratories,...

Irving Stoy Reed

Co-inventor of the Reed-Solomon error-detecting and correcting codes, Reed made many contributions to areas of electrical engineering including radar, signal processing, and image processing. He was part of the team that built...

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

Raymond (Ray) F. Boyce

Co-developer of SQL, the first commercially successful language for relational databases, Boyce's work established the standard for relational database query languages still in use today. He was also known for his research...

Edgar (Ted) Frank Codd

Inventor of the relational model for database management, Codd established the theoretical basis for relational databases while working for IBM. He made other valuable contributions to computer science, but the relational model,...

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

Gertrude Blanch

Pioneering figure in numerical analysis and computation and one of the founders of the Association for Computing Machinery (ACM), Blanch was born Gittel Kaimowitz in Kolno, Russia (now Kolno, Poland), arrived in...

Susan T. Dumais

Researcher whose work at Bellcore (now Telcordia Technologies) into the vocabulary problem in information retrieval led to the invention of Latent Semantic Indexing, Dumais has served as a Principal Researcher in the...

Adi Shamir

Co-inventor of the RSA public-key cryptosystem, Shamir is an Israeli cryptographer whose initial in "RSA" stands for his name. He is also one of the inventors of the Feige–Fiat–Shamir identification scheme. His...