Grigore Constantin Moisil

Considered the father of computer science in Romania, Moisil made foundational contributions to automata theory, many-valued algebras, and mathematical logic. Grigore Moisil attended primary school in Bucharest, then high school in Vaslui and...

Robin Milner

A Turing Award-winning pioneer of theoretical computer science, Milner shaped the formal understanding of computation through foundational contributions. He developed Calculus of Communicating Systems (CCS), a landmark formalism for modeling concurrent processes,...

David Hilbert

One of the founders of proof theory and mathematical logic, Hilbert's work laid the basis for recursion theory and later theoretical computer science. He was recognized as one of the most influential...

Robert Clay Prim

Co-developer of Prim's algorithm for finding a minimum spanning tree in a weighted graph, Prim made foundational contributions to computer network design. An American mathematician and computer scientist, he was born in...

Alexander L'vovich Brudno

Best known for fully describing the alpha-beta (α-β) search algorithm, Brudno was a Russian Jewish computer scientist who lived in Israel from 1991. He developed the "mathematics/machine interface" for the M-2 computer...

A.J. Han Vinck

Recipient of the IEEE ISPLC2006 Achievement award for his contributions to Power Line Communications, Vinck has also held a chair for Digital Communications at the Institute for Experimental Mathematics at the University...

Silvio Micali

Co-inventor of zero-knowledge proofs, Micali is an Italian-born computer scientist known for fundamental contributions to cryptography and information security. He has served as a Professor of Computer Science in MIT's Department of...

Doulgas Rayner Hartree

English mathematician and physicist, Hartree was most famous for the development of numerical analysis and its application to the Hartree-Fock equations of atomic physics and the construction of the meccano differential analyzer.

Nicholas Constantine Metropolis

Leader of the group that designed and built the MANIAC I computer in 1952 and MANIAC II in 1957, Metropolis was a Greek American physicist born in Chicago and a graduate of...

Fritz Joachim Weyl

Developer of the U.S. government Office of Naval Research (ONR) Computer in 1946, Weyl was a renowned mathematician who significantly contributed to research in mathematics during his lifetime and came to be...