Eunice E. Santos

A leading expert and researcher in the areas of large-scale distributed processing, computational modeling, complex adaptive systems, and human modeling with applications to the biological, physical, and social sciences, Santos has served...

Stephen Arthur Cook

Known for profoundly advancing our understanding of the complexity of computation, Cook is an American-Canadian computer scientist and mathematician who made major contributions to the fields of complexity theory and proof complexity....

Jean Baptiste Joseph Fourier

Best known for initiating the investigation of Fourier series and their applications to problems of heat transfer and vibrations, Fourier left an unfinished work on determinate equations which was edited by Claude-Louis...

Edward J. McCluskey

Pioneer of digital systems design and synthesis for over five decades, McCluskey is known for co-developing the Quine-McCluskey method of Boolean function minimization. Professor McCluskey worked on electronic switching systems at the Bell...

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

Conel Hugh O'Donel Alexander, CMG, CBE

One of the key workers on breaking the Enigma machine, Alexander made vital contributions to British codebreaking during World War II. An Irish-born British cryptanalyst, chess player, and chess writer, he was...

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

Ramakrishnan Srikant

Key architect for IBM Intelligent Miner, Srikant contributed the association rules and sequential patterns modules to the product. Dr. Srikant has served as a Principal Research Scientist at Google. He previously managed the...

Charles Babbage

Designer of the first mathematical computer, Babbage was an English mathematician, philosopher, inventor, and mechanical engineer who originated the concept of a programmable computer. Parts of his uncompleted mechanisms are on display...

Jack Howlett

Director of the Atlas Computer Laboratory, Howlett led a laboratory created to provide a service to researchers across the United Kingdom with a need for large-scale computing power, and played a key...

Patricia G. Selinger

Pioneer in relational database management and inventor of cost-based query optimization, Selinger is a world-renowned American computer scientist and IBM Fellow whose technique has been adopted by nearly all relational database vendors...

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

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

David R. Karger

Developer of the fastest minimum spanning tree algorithm to date, Karger is also known for Karger's algorithm, a Monte Carlo method to compute the minimum cut of a connected graph. His work...

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

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

Tamara (Tammy) G. Kolda

Developer of the MATLAB Tensor Toolbox, Kolda has served as a Distinguished Member of the Technical Staff in the Informatics and Systems Assessments department at Sandia National Laboratories in Livermore, California. Her...

Christopher Strachey

One of the founders of denotational semantics and a pioneer in programming language design, Strachey made lasting contributions to computer science. After the war he fulfilled a long-standing ambition by becoming a schoolmaster...

Charles Henry Bennett

Co-discoverer of quantum cryptography and one of the founding fathers of modern quantum information theory, Bennett is a physicist, information theorist, and IBM Fellow at IBM Research. His work at IBM has...

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