David C. Walden

A member of the small team of engineers that developed the ARPANET, the precursor to the Internet, Walden is recognized as one of the first Internet programmers. After three years at MIT...

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

Patrick Cousot

Co-inventor of Abstract Interpretation, a theory of sound approximation of mathematical structures, Cousot developed this influential technique in formal methods together with his wife Radhia in 1975. In the 2000s, he worked...

Sophie Wilson

Primary designer of the ARM microprocessor, Wilson is a British computer scientist and Fellow of the Royal Society (FRS). She was born in Leeds, England, and was educated at the University of...

Steve Dorner

Developer of the Eudora e-mail client, Dorner is an American software engineer who created it in 1988 as part of his work as a staff member at the University of Illinois at...

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

Barry W. Boehm

Known for his many contributions to software engineering, Boehm was an American software engineer and TRW Emeritus Professor of Software Engineering at the Computer Science Department of the University of Southern California.

Mark P. McCahill

Developer of POPmail and Gopher, McCahill is an American programmer involved in developing and popularizing a number of Internet technologies from the late 1980s onward.

Hermann Kopetz

Chief architect of the Time-Triggered Protocol and the Time-Triggered Architecture (TTA), Kopetz has spent over twenty-five years developing a computing infrastructure for the design and implementation of dependable distributed embedded systems. He...

Tom Gilb

Developer of software metrics, software inspection, and evolutionary processes, Gilb is an American systems engineer, consultant, and author known for bringing quantitative measurement approaches to software development. Since quantitative measurements are essential...

Jonathan Bruce Postel

A significant contributor to the development of the Internet, Postel was involved in early work on the ARPANET while at UCLA. He later moved to the Information Sciences Institute at the University...

Robert Morris

Contributor to early versions of UNIX, Morris developed the math library, the program crypt, and the password encryption scheme used for user authentication. He was born in Boston, Massachusetts, and received a...

Peter Pin-Shan Chen

Known for the development of Entity-Relationship Modeling, Chen is an American computer scientist and Professor of Computer Science at Louisiana State University. Born in Taichung, Taiwan, he received a B.S. in electrical...

Marvin Lee Minsky

Co-founder of MIT's AI laboratory and a towering figure in artificial intelligence, Minsky was an American cognitive scientist and author of several texts on AI and philosophy.

Daniel E. Cooke

Inventor of the SequenceL functional programming language, Cooke discovered the computational laws that led to its creation and implemented several early interpreters for the language. During his tenure at Texas Tech 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...

Valerie Barr

Researcher in software testing, gender and science issues, and computer science curriculum development, Barr has served as Professor and Chair of Computer Science at Union College, Schenectady, New York, since September 2004....

Andrei Zary Broder

Co-inventor of the first practical test to prevent robots from masquerading as humans and accessing web sites — often referred to as CAPTCHA — Broder has served as a Distinguished Scientist at...

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