Honored Persons Database
Displaying 521 – 540 of 817 Honorees (Category: Computer Scientist - Software/Mathematics, with portraits)
David J. Kuck
Developer of the Parafrase compiler system (1977), the first testbed for automatic vectorization and related program transformations, Kuck is one of the most influential figures in parallel computing. His influence spans a...
Hong-Jiang Zhang
A leader in establishing Microsoft Research Asia (MSRA) into a world-class basic research center in computer science, Zhang has been a prominent researcher in media computing, more specifically in video and image...
J. Noel Chiappa
Member of the TCP/IP Working Group which started the Internet project, Chiappa was instrumental in developing an early ring-based local area network and gateway. He has worked as an independent researcher in...
Kurt Gödel
Known for his two incompleteness theorems, Gödel heavily influenced the sciences and mathematics. Published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University...
Adele Goldberg
Co-developer of the programming language Smalltalk-80 and various concepts related to object-oriented programming, Goldberg conducted this work as a researcher at the Xerox Palo Alto Research Center (PARC) in the 1970s. She...
W. (Rick) Richards Adrion
Founder of the Applied Computing Systems Institute of Massachusetts, Adrion has served as a Professor of Computer Science at the University of Massachusetts Amherst. He served as PI for an NSF REU Site,...
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...
Ben Shneiderman
Known for experimentation on the use of flowcharts and information visualization in programming, Shneiderman conducted experiments in his earlier work on studying programmers which suggested that flowcharts were not helpful for writing,...
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...
Malcolm (Doug) Douglas McIlroy
Renowned for seminal work on software componentization and the Unix pipeline implementation, McIlroy is also known for developing several Unix tools, such as spell, diff, sort, join, graph, speak, and tr. Dr. McIlroy...
T. Capers Jones
Associated with the function point model of cost estimation, Jones is a specialist in software engineering methodologies. He has also collected data on software quality, software risks, and software best practices. He...
Robert E. Cook
Founder of VM Software (later renamed Systems Center), a provider of software utilities for IBM's VM operating system, Cook built his first company into a firm listed on both the Nasdaq and...
Wendy W Hall
Leader of the team that invented the Microcosm hypermedia system before the World Wide Web existed, Hall has been a pioneering figure in multimedia, hypermedia, and web science. Born in west London,...
Howard (Ward) G. Cunningham
Programmer and inventor of the wiki, Cunningham started programming the software WikiWikiWeb in 1994 and installed it on the website of his software consultancy, Cunningham & Cunningham (commonly known by its domain...
Charles Antony Richard Hoare
Developer of Quicksort, one of the world's most widely used sorting algorithms, Hoare also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the...
Frances (Betty) Elizabeth Holberton
One of the six original programmers of ENIAC, the first general-purpose electronic digital computer, Holberton made foundational contributions to the history of computing. During World War II, while the men were fighting,...
Michael Franz
Pioneer in mobile code and dynamic compilation, Franz led the Secure Systems and Languages Laboratory at the University of California, Irvine — one of the top research teams on dynamic compilation, virtual...
Carl Adam Petri
Developer of Petri nets for modeling distributed systems, Petri introduced the concept in his Ph.D. thesis in 1962, where he originally called them communicating automata. Afterwards, Petri served as department head at...
Dave Hitz
Co-founder of NetApp, a worldwide major supplier of network-based storage systems for the computer industry, Hitz helped establish the company in 1992 along with James Lau and Michael Malcolm. The company began...
Fred M. Gibbons
Co-founder and CEO of Software Publishing Corporation (SPC), best known for its pioneering Harvard Graphics business and presentation graphics program, Gibbons cofounded the Mountain View, California-based company in 1980 along with two...