Honored Persons Database
Displaying 601 – 620 of 817 Honorees (Category: Computer Scientist - Software/Mathematics, with portraits)
Bruce Eckel
Author of "Thinking in Java" and "Thinking in C++", Eckel has written numerous books and articles about computer programming. He has also given frequent lectures and seminars for computer programmers. His best...
Michael John Muuss
Author of the freeware network tool Ping, Muuss was a senior scientist specializing in geometric solid modeling, ray-tracing, MIMD architectures, and digital computer networks at the United States Army Research Laboratory at...
Martin Charles Golumbic
Contributor to fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning, Golumbic is a mathematician and computer scientist best known for his work in algorithmic graph theory and...
Richard (Rick) Thomas Watson
Co-leader of the Global Text Project, which provides free electronic textbooks for students in the developing world, Watson has held the J. Rex Fuqua Distinguished Chair for Internet Strategy in the Department...
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...
Nancy Hafkin
A pioneer of networking and electronic communications in Africa, Hafkin spearheaded the Pan African Development Information System (PADIS) of the United Nations Economic Commission for Africa (UNECA) from 1987 until 1997. She...
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...
Joel S. Emer
Pioneer in the quantitative approach to computer architecture and leader of the development of the Asim simulator, Emer has made significant contributions to computer performance analysis techniques and microprocessor architecture. He has...
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...
Rajeev Sangal
Noted for Natural Language Processing, Machine Translation, and speech research in Indian Languages, Sangal founded and has served as director of the International Institute of Information Technology Hyderabad (IIIT-H), India. IIIT-H is...
Edsger Wybe Dijkstra
Creator of the ALGOL programming language, Dijkstra was one of the most influential members of computing science's founding generation. Among the domains in which his scientific contributions are fundamental are algorithm design,...
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,...
Robert Endre Tarjan
Renowned for fundamental achievements in the design and analysis of algorithms and data structures, Tarjan is an American computer scientist. He discovered several important graph algorithms, including Tarjan's off-line least common ancestors...
Van Jacobson
One of the primary contributors to the TCP/IP protocol stack — the technological foundation of today's Internet — Jacobson is renowned for his pioneering achievements in network performance and scaling. He joined...
Robert W. Floyd
Having a clear influence on methodologies for the creation of efficient and reliable software, Floyd made lasting contributions to computer science across several areas. His contributions included the design of Floyd's algorithm,...
Dave Winer
Pioneer in the development of weblogs, RSS, and web content management, Winer has been a leading web writer and innovator since the early days of the internet. In 1979, Winer worked for Personal...
Aaron Marcus
Pioneer in computer-based design, Marcus founded Aaron Marcus and Associates, Inc. (AM+A) in 1982, one of the first independent, computer-based design firms in the world. An American user-interface and information-visualization designer, as well...
Alexander (Sandy) Shafto Douglas
Creator of the first graphic computer game, Douglas made important contributions in mathematical computing, computer education, and man-machine interfaces. 'Sandy' Douglas worked on EDSAC and later the Ferranti Pegasus. As a graduate student...
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...
Sam Ruby
Co-developer and principal maintainer of the Feed Validator — a tool used to check the validity of HTML, CSS, XML documents, and RSS feeds — Ruby has made significant contributions to web...