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

Keith Brown

Technical author on Microsoft Windows Security, Brown wrote the SSPI workbench tool and has been the security columnist for MSDN Magazine since 1998.

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

Dharma P. Agrawal

Leader of the University of Cincinnati - BlueTooth (UCBT) Bluetooth package, Agrawal was a communications scientist who specialized in wireless sensor networks. He served as the Ohio Board of Regents Distinguished Professor...

David Patrick Reed

Designer of the User Datagram Protocol (UDP), Reed is an American computer scientist known for significant contributions to computer networking, including the design and construction of Internet protocols, distributed data storage, and...

Linus Benedict Torvalds

Linus Torvalds created Linux, the open-source operating system kernel, and Git, the distributed version-control system that has become fundamental to modern software development. Torvalds began Linux in 1991 while a student at...

Aart J. de Geus

One of the world's leading experts on logic synthesis and simulation, de Geus is the founder, Chairman and CEO of Synopsys Inc., a fellow of IEEE, and Phil Kaufman Award winner. He...

Burton (Burt) Grad

Founder of the Software History Center, Grad has been working on computer software since 1954, when he wrote the first production and inventory control programs for the General Electric Company's installation of...

Aaron F. Bobick

Expert in using computer vision techniques to recognize people, Bobick's research has been reported by the BBC News and ABC News. His research has been in the field of Artificial Intelligence and...

Frank Gerald Soltis

Chief Scientist for IBM's System i computers, Soltis is recognized as a pioneer of technology-independent machine interfaces (TIMI) and describes himself as the grandfather of the AS/400. His pioneering architecture of TIMI...

Roger Michael Needham

Head of Cambridge University Computing Laboratory and designer of influential cryptography and security systems, Needham was a major figure in computer science. A Mathematics and Philosophy graduate from Cambridge University in the...

Richard Matthew Stallman

Founder of the GNU Project to create a free Unix-like operating system, Stallman also launched the free software movement and was the main author of the GNU General Public License for open...

Barbara Liskov

A pioneer in object-oriented programming, Liskov's work in programming methodology has affected all aspects of modern computing, including programming languages, object-oriented programming, and software robustness to hacking. She designed CLU, an object-oriented...

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

Stefan Pappe

Leader of the design for the Common Cloud Management Platform and delivery of IBM cloud solutions to clients, Pappe was named an IBM Fellow in 2011—the highest honor a scientist, engineer, or...

Wen-mei Hwu

Noted for his work in CPU microarchitecture and compiler optimization, Hwu completed his Ph.D. research at the University of California, Berkeley under Yale Patt. Their CPU microarchitecture projects, HPS and HPSm, were...

James (Jim) A. Brown

Inventor of the APL2 program product, Brown is one of the computing world's leading authorities on array technology. He spent nearly 30 years at the center of IBM's array technology efforts, serving...

Douglas (Doug) Taylor Ross

Originator of the term CAD for computer-aided design and considered the father of Automatically Programmed Tools (APT), Ross was also the inventor of SADT, Structured Analysis and Design Technique. An American computer...

Peter James Denning

Pioneer of virtual memory systems and co-founder of CSNET, Denning is best known for discovering the locality principle and designing the working set model for program behavior. He took an early interest in...

Mitchell David Kapor

Founder of Lotus Development Corporation and designer of Lotus 1-2-3, Kapor co-founded the company in 1982 with Jonathan Sachs, who was responsible for technical architecture and implementation. He served as the President...