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

Cleve Barry Moler

Inventor of MATLAB, a numerical computing package, Moler is an American mathematician and computer programmer specializing in numerical analysis. In the mid to late 1970s, he was one of the authors of...

Edith Clarke

Pioneer of electrical engineering and the inventor of the Clarke calculator, Clarke broke barriers as the first woman to earn an M.S. in electrical engineering from MIT. Clarke studied mathematics and astronomy at...

Conrad (Conny) Palm

Contributor to teletraffic engineering and queueing theory, Palm also led the project that developed the first Swedish computer, the BARK. He enrolled at the School of Electrical Engineering at the Royal Institute...

Charles Eric Leiserson

Inventor of the fat-tree interconnection network, a hardware-universal interconnection network used in many supercomputers, Leiserson is also a pioneer developer of VLSI theory. He designed the fat-tree for the Connection Machine CM5,...

Gregory John Chaitin

One of the founders of algorithmic information theory and a key figure in metamathematics, Chaitin is an Argentine-American mathematician and computer scientist born in Argentina. Beginning in the late 1960s, he made...

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

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

Karl Kempf

Pioneer in applying advanced mathematics to industrial and engineering challenges, Kempf is best known for heading a group of mathematicians at Stanford University who built computer models allowing Intel to design financial...

Ken E. Batcher

Designer of the Massively Parallel Processor, Batcher created one of the most significant parallel computing architectures of its era. Among the designs Batcher worked on at Goodyear were the: Massively Parallel Processor (16,384...

Manuel Blum

Recipient of the 1995 Turing Award for his contributions to the foundations of computational complexity theory and its application to cryptography and program checking, Blum is a computer scientist whose work has...

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

Phillip A. Griffiths

Former Director of the Institute for Advanced Study (1991–2003), Griffiths is an American mathematician known for his work in the field of geometry, and in particular for the complex manifold approach to...

Corrado Böhm

Known for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages, Böhm was a computer scientist and Professor Emeritus...

Abdal Mammad ibn M Khwrizm

Considered the founder of algebra, Khwrizm shared this credit with Diophantus. His Kitab al-Jabr wa-l-Muqabala presented the first systematic solution of linear and quadratic equations. In the twelfth century, Latin translations of...

George Ciprian Necula

Known for his influential Ph.D. thesis first describing proof-carrying code, Necula completed his doctorate at Carnegie Mellon University under programming languages researcher Peter Lee. Originally from Baia Mare, Romania, he attended the...

Dimitri P. Bertsekas

Known for his fourteen textbooks and monographs in theoretical and algorithmic optimization and control, and in applied probability, Bertsekas is an applied mathematician and computer scientist who has served as a professor...

Victor Shoup

Co-developer of the Cramer–Shoup cryptosystem, the first efficient asymmetric encryption scheme proven to be secure against adaptive chosen ciphertext attack using standard cryptographic assumptions, Shoup is a computer scientist and mathematician. He...

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

Victor M. Glushkov

Founding father of information technology in the Soviet Union and one of the founders of Cybernetics, Glushkov made significant contributions to the theory of automata. Victor was born in Rostov-on-Don, Russian SFSR, in...