Honored Persons Database
Displaying 1 – 20 of 817 Honorees (Category: Computer Scientist - Software/Mathematics, with portraits)
David R. Millen
Director of a User Interface Design Group responsible for the user interface design of advanced business communications systems and exploratory prototype development of advanced speech applications and pen-based interfaces, Millen has also...
C. Mohan
Primary inventor of the ARIES family of recovery and concurrency control methods, Mohan is also known for the industry-standard Presumed Abort commit protocol. Mohan joined IBM Research in 1981, where he worked...
Nick D'Aloisio
Designer of Summly — a program aimed to solve perceived problems with the way news articles are presented on smartphones — D'Aloisio is a British-Australian entrepreneur, computer programmer, and designer who created...
Donald Ervin Knuth
Author of the landmark series *The Art of Computer Programming*, Knuth is renowned for his contributions to the analysis of algorithms and the design of programming languages. He has served as Professor...
Oleg Vishnepolsky
Author of IBM's S2 Spreadsheet and of TCP/IP stacks for OS/2 and IBM POS terminals, Vishnepolsky is one of the early Internet technologists, with a 20-plus year track record of technological advancements,...
Mark N. Wegman
Co-inventor of Static Single Assignment (SSA) form, which is used in the analysis portion of most if not all modern optimizing compilers, Wegman is an American computer scientist known for his contributions...
Alonzo Church
A major contributor to mathematical logic and the foundations of theoretical computer science, Church is sometimes called the father of theoretical computer science. He is best known for the lambda calculus, the...
Daniel Teichroew
Pioneer of the ISDOS Project, Teichroew led a pioneering team which attempted to design and implement the Problem Statement Language (PSL) and Problem Statement Analyser (PSA) as a way of automating the...
Brendan Eich
Creator of the JavaScript scripting language, Eich is a computer programmer and chief technology officer of Mozilla Corporation. He worked with MicroUnity Systems Engineering writing microkernel and DSP code, and doing the...
Ivar Hjalmar Jacobson
Known as a major contributor to UML, Objectory, RUP, and aspect-oriented development, Jacobson has shaped modern software engineering practice. After university, he started working at Ericsson until April 1987, when he started...
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...
Muffy Calder
Chief Scientific Advisor to the Scottish Government from 2012 to 2015, Calder was a Canadian-born British computer scientist and Professor of Formal Methods at the University of Glasgow. She also served as...
Marvin L. Stein
One of the founding faculty members of the Department of Computer Science at the University of Minnesota, Stein served as its Director from 1958 to 1970. Born in Cleveland, Ohio, he entered...
Kenneth Eugene Iverson
Developer of the APL programming language in 1962, Iverson was a Canadian computer scientist noted for his contributions to mathematical notation and programming language theory. He was honored with the Turing Award...
Saul Rosen
Chief software designer for the world's first transistorized computer, the Philco TRANSAC S-2000, Rosen left a significant mark on early computing history. Born in Port Chester, NY, Rosen was elected to Phi Beta...
Jack Haverty
Co-designer of the original email mechanism and co-creator of the initial Internet, Haverty studied at MIT and continued there as a staff member of the MIT Laboratory for Computer Science, where he...
Safrira Goldwasser
Co-inventor of zero-knowledge proofs, Goldwasser's research areas include computational complexity theory, cryptography, and computational number theory. Zero-knowledge proofs probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge,...
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...
Kishor S. Trivedi
A leading international expert in reliability and performability evaluation of dependable systems, Trivedi has made seminal contributions to stochastic modeling formalisms and their efficient solution. He has held the Hudson Chair in...
Dabbala (Rej) Rajagopal Reddy
Pioneer of large-scale artificial intelligence systems, Reddy is recognized for demonstrating the practical importance and potential commercial impact of AI technology. One of the early pioneers in Computer Science and Artificial Intelligence,...