Jack D. Dennis’ early development and continued exploration of parallel computing architectures have yielded principles for creating systems with increased interactivity and sharing ability and have important implications for today’s multicore processors. With over 50 years of research, Dr. Dennis was one of the earliest advocates of addressing computer architectures and programming together for parallel computing. Parallelism involves performance of many calculations simultaneously using two or more processors to cooperatively solve a problem and has become an essential aspect of high-performance computing. Dr. Dennis developed principles for executing programs securely in parallel environments, introducing the concepts of capability, protected domains, object lists, and protected call and return. Dr. Dennis’ dataflow concept remains a promising approach for future computer system architecture. In dataflow computation, individual instructions or groups of instructions known as codelets can be executed as soon as data become available. The dataflow graph models and execution algorithms developed by Dr. Dennis and his group at the Massachusetts Institute of Technology from the late 1960s through the 1980s inspired universities and research groups around the world to undertake dataflow projects. Dr. Dennis developed the VAL language for parallel computation, which evolved into the SISAL programming language. His work has influenced several generations of computer architects and compiler writers and is currently shaping new approaches to the architecture and programming of massively parallel computer systems.
An IEEE Fellow, Association for Computing Machinery (ACM) Fellow, and a member of the U.S. National Academy of Engineering, Dr. Dennis’ awards include the IEEE/ACM Eckhert-Mauchly Award (1984) and induction to the SOSP Hall of Fame. Dr. Dennis is Professor Emeritus with MIT’s Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, USA.
Edward J. McCluskey provided the foundation for the design automation methods that make production of today’s complex computer chips possible. Credited with helping bridge the gap between computer science and electrical engineering to establish computer engineering as a discipline of its own, Dr. McCluskey has contributed techniques and concepts essential to computer design, testing, and reliability for over 50 years. He developed the Quine-McCluskey algorithm as the first systematic method to create a minimized two-level logic representation of a digital circuit. Computer scientists and engineers learn this algorithm as the foundation for logic optimization. It continues to be used in numerous design automation tools and has influenced practically all digital chips in use today. Dr. McCluskey also developed the modern theory of hazards in logic networks and formulated the operating modes of sequential circuits, which defined techniques for designing high-speed circuits. Dr. McCluskey was also an early pioneer of digital testing methods, and his vision continues to impact the field. He demonstrated that test metrics rather than fault models were the key to obtaining high test quality, which helped change the way digital testing is conducted. He formulated the concept of algebraic properties of fault models and developed methods using the concept to reduce test sets. This work has been incorporated into today’s automatic test pattern generation and fault simulation tools. Dr. McCluskey also developed very low-voltage testing as a cost-effective alternative to burn-in methods for detecting weak chips. Dr. McCluskey has also made important contributions to fault-tolerant computing for applications where failure is not an option.
An IEEE Life Fellow, Dr. McCluskey is Professor Emeritus of the departments of Electrical Engineering and Computer Science at Stanford University, Calif.
Professor Sir Tony Hoare has established the foundation of much that is taken for granted today in software design. A major portion of Hoare’s 50-plus-year scientific career has been devoted to developing the theoretical underpinnings of software to the point where its creation becomes a true engineering field. His work also has had practical impact, with application to commercial software development projects involving database management systems for the telecommunications industry and security and safety applications in the medical, transportation, and nuclear power industries. Hoare invented the Quicksort sorting algorithm in 1960, which has been widely studied and implemented in modern computers. He also led a team during the 1960s that developed a successful early compiler for the ALGOL 60 high-level language. His compiler checked all array subscripts at run-time, which is a precaution now common in modern object-oriented languages. Rejecting shared variable interaction, he proposed “communicating sequential processes” to address concurrency issues among programs. This bold step was very influential and saw application in the U.S. Department of Defense’s Ada language. It was also the inspiration for the Occam programming language used in the transputer microprocessor developed during the 1980s for parallel computing. More recent work from Hoare involves working on the theory that would underpin a verification toolset and encouraging computer scientists to work together toward its achievement.
A Fellow of the U.K. Royal Academy of Engineering and a foreign associate of the U.S. National Academy of Engineering, he is currently a principal researcher with Microsoft Research Ltd., Cambridge, U.K.
Through pioneering research and wide-reaching textbooks, John Hopcroft and Jeffrey D. Ullman are known as two of the most influential figures responsible for shaping the field of computer science. These giants of computer science first met in 1964 when Dr. Ullman took Dr. Hopcroft’s automata theory course at Princeton University. Together, they wrote the book on automata theory and formal languages that was used by universities around the world to educate the first generation of computer scientists, Formal Languages and Their Relation to Automata. It’s successor, Automata Theory, Languages, and Computation, is still in use today.
Dr. Hopcroft is considered one of only a handful of computer scientists who created the discipline of theoretical computer science, unifying automata theory and formal languages during the late 1960s. He also determined that computer programming could be synthesized into a theory of algorithms and that these algorithms could be evaluated by their asymptotic complexity. This led to a set of design principles that could be used to design optimal algorithms. An IEEE Life Fellow, Dr. Hopcroft is also a member of the National Academy of Sciences and the National Academy of Engineering. He is currently the IBM Professor of Engineering and Applied Mathematics at Cornell University, Ithaca, N.Y.
Dr. Ullman also focused on compiler technology and code optimization, writing the definitive book on compiler technology (Principles of Compiler Design, Addison-Wesley, 1977) with Aho. In the late 1970s Dr. Ullman’s interests turned to database systems and he became known as one of the founders of database theory. Dr. Ullman is a member of the National Academy of Engineering and is currently the Stanford W. Ascherman Professor of Computer Science (Emeritus) at Stanford University, Calif., and currently heads Gradiance Corporation, Stanford, which he founded to provide online homework and programming-lab support for college students.
Susan L. Graham’s seminal contributions and leadership have greatly influenced software development and high-performance computing. Together with her students, Dr. Graham’s programming language implementation innovations include a sophisticated pattern-matching algorithm for generating machine code for high-level languages, which is important for today’s processors, and an important and useful elimination-style algorithm for flow analysis. She introduced automatic error message generation as a useful tool, pointing the field in a new direction; as a result IBM has used automatic error message generation in several of its production compilers. She and her students developed the “gprof” profiling tool for analyzing the execution efficiency of programs and new algorithms for debugging programs. She led the development of the Berkeley Pascal compiler and the distribution of and extensions of BSD Unix. Dr. Graham was also the co-creator of the Titanium language and system, which is used to develop parallel programs for scientific applications.
Dr. Graham has served on the Presidential Information Technology Advisory Committee, where she was actively involved in influencing the U.S. Congress to bolster information technology spending. She co-chaired the National Research Council’s Future of Supercomputing committee. She was the chief computer scientist for the National Partnership for Advanced Computational Infrastructure, ensuring that the best computer science results were transferred into important computation-based science applications. She participates in a variety of science and engineering advisory groups.
Her current research interest is on developing interactive language-aware tools for creating and maintaining software. An IEEE member, Dr. Graham is currently the Pehong Chen Distinguished Professor of Electrical Engineering and Computer Science Emerita and a professor in the Graduate School at the University of California, Berkeley.
Leslie Lamport’s pioneering work in distributed and concurrent algorithms has improved numerous consumer and industrial computing systems. The result of his work can be found in multi-processor technology such as very-large-scale-integration (VLSI) semiconductors and multi-computer networks used in aircraft control systems. Since 2001 he has been at the Microsoft Research Silicon Valley Center, where he is a principal researcher. Prior to that, Dr. Lamport spent 16 years as a researcher at Digital Equipment Corporation (later Compaq Corporation). There he developed the Temporal Logic of Actions (TLA) system, a toolset for mechanical verification that is used to describe the behaviors of concurrent systems. Dr. Lamport developed several well-known concurrent and distributed algorithms, including solutions for Byzantine Fault Tolerance. The algorithm is a method of prevention against Byzantine Failure, in which a component of a system behaves erroneously while failing to behave consistently when interacting with multiple other components in the system. During his career, he has authored or co-authored nearly 150 publications on concurrent and distributed computing and their applications. One of his most notable papers, “Time, Clocks, and the Ordering of Events in a Distributed System,” still ranks as one of the most important and influential papers in computer science. He is a past recipient of the IEEE Emanuel R. Piore Award, the Edsger W. Dijkstra Prize in Distributed Computing and the influential paper award at the Principles of Distributed Computing Conference. Dr. Lamport holds a bachelor’s degree from the Massachusetts Institute of Technology, Cambridge, as well as a masters and doctorate from Brandeis University, Waltham, Massachusetts.
For over 35 years, Charles P. Thacker has led innovation in the area of distributed personal computing. He is one of the primary forces behind the introduction of the modern-day PC. While working at the Xerox Palo Alto Research Center (PARC) as a research fellow from 1970 to 1983, he served as the principal designer for the Alto personal computer system, widely considered the prototype for both workstations and windowed personal computers. Additionally, he revolutionized the computing industry as one of the co-inventors of the Ethernet local area network.
Mr. Thacker was a corporate consultant engineer at the Digital Equipment Systems Research Center (DEC SRC) from 1983 to 1997, and developed Firefly, one of the first multiprocessor workstation systems.
Since 1997, he has held the position of Technical Fellow at Microsoft Corporation, where he designed and implemented major parts of the prototype for the Tablet PC, including portions of its handwriting-recognition system. His prototype is also the basis for tablet PCs now being sold by several computer manufacturers.
An IEEE Member, Thacker holds a bachelor’s degree in Physics from the University of California, Berkeley, and an honorary doctorate from the Swiss Federal Institute of Technology in Zurich. He is a fellow of the ACM, a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering, which presented him with the 2004 Charles Stark Draper Prize, along with Alan C. Kay, Butler W. Lampson and Robert W. Taylor for development of the first networked distributed personal computer system.P.
Dr. Ed Catmull, president and co-founder of Pixar Animation Studios, has made groundbreaking contributions to the field of computer graphics in modeling, animation and rendering that have revolutionized the way live-action and animated motion pictures are created. Dr. Catmull is one of the architects of the RenderMan® software product utilized to create animated films such as Pixar’s Toy Story and Finding Nemo and special effects in live-action films.
In 1974, while studying physics and computer science at University of Utah, Dr. Catmull’s pioneering animation of a human hand was incorporated into the first movie to use 3D computer graphics. Through his research, he made four key computer graphics discoveries: Z-buffering, texture mapping, subdivision surface, and the fast rendering ofbicubic patches. Prior to Pixar, he was vice president of the computer division of Lucasfilm Ltd.
Dr. Catmull has been honored for his work with four Scientific and Technical Engineering awards, including an Oscar® from The Academy of Motion Picture Arts and Sciences. In 1993 he was honored with the Steven A. Coons Award, the highest achievement in the computer graphics field, for his lifetime contributions.
Dr. Catmull is a member of the IEEE and the IEEE Computer Society, the U.S. National Academy of Engineering and The Academy of Motion Picture Arts and Sciences.
A founder and chief technology officer of several successful corporations and an adjunct professor at MIT, Dr. Michael Stonebraker made critically important contributions to relational database software, inventing many of the architectures and strategies that are the foundation of today's multi-billion-dollar-a-year database software industry. Virtually all business computing applications - from accounting, inventory and shipping to point- of-sale, online commerce, human resources and computer-aided design - manage data using relational database systems that can be traced to his work.
His earliest contributions were as the leader of the groundbreaking INGRES project. It applied relational theory to high-performance, data management software systems by allowing users to specify queries that describe desired data without specifying programs to find it. The relational systems he developed,along with those of the System R project from IBM, revolutionized database systems.
His next creation, POSTGRES, was an object-relational database that extended the relational model with abstract data types,including user-defined operators and procedures. It also allowed database systems to provide significantly better intelligence and efficiency in commercial, administrative and scientific applications. The types of functionality that Dr. Stonebraker pioneered in POSTGRES are now used in database systems worldwide.
In recent years, Dr.Stonebraker applied economic computing paradigms to federated data management. Currently, he is applying database concepts to high performance stream processing applications. In addition to his current role at MIT, Dr. Stonebraker founded StreamBase Systems in 2003 and serves as the company's chief technology officer. StreamBase has developed a new software platform designed to process real-time streaming data.
A pioneer in object-oriented programming, Dr. Barbara H. Liskov is perhaps best known for her seminal work on data abstraction, a fundamental tool for organizing programs. Her research in the early 1970s led to the design and implementation of CLU, the first programming language to support data abstraction. Since 1975, every important programming language, including Java, has borrowed ideas from CLU. Dr. Liskov's other extraordinary contributions include the Venus operating system, the Argus distributed programming language and system and the Thor system for robust replicated storage of persistent objects. Argus was a groundbreaking high-level programming language used to support implementation of distributed programs that run on computers connected by a network, such as the Internet. Her recent efforts have concentrated on language-based security and on making Byzantine fault tolerance practical.
Dr. Liskov is the Ford Professor of Engineering at the Massachusetts Institute of Technology in Cambridge, Massachusetts, where she has taught since 1972. In 2001, she became the associate head for computer science in the electrical engineering and computer science department. In the 1960s, Professor Liskov held positions at the Mitre Corporation
in Bedford, Massachusetts, Harvard University in Cambridge, Massachusetts, and Stanford University in Palo Alto, California.
A member of the IEEE and the U.S. National Academy of Engineering, Dr. Liskov is a Fellow of the American Academy of Arts and Sciences and of the Association for Computing Machinery. She has written three books including, 'Abstraction and Specification in Program Development,' as well as more than 100 technical papers.
Alfred Aho's many contributions to computer science as a researcher, manager and educator demonstrate an elegant balance of theory and practice. His innovative research in formal languages and compiler theory led to key algorithms for modern compilers and string-pattern matching tools. His algorithms are used in widely deployed compiler construction tools like YACC and LEX, which have been used to design many computer programming languages.
Dr. Aho conducted research at Bell Labs in Murray Hill, N.J., from 1967-1991. During that time, he developed efficient algorithms for textprocessing applications and programming language translation. His codegeneration algorithms influenced the design of retargetable C compilers, which facilitated the porting of the UNIX operating system from minicomputers to supercomputers. He worked at Bellcore in Murray Hill, N.J., from 1991-1995 and then became a professor of computer science at Columbia University in New York. He later joined Lucent Technologies in Murray Hill, N.J., as an associate research vice president and vice president of computing sciences research. In 2002, he returned to Columbia as a professor of computer science and is chair of the Computer Science Department.
Dr. Aho co-wrote several of computer science's most used textbooks including The Design and Analysis of Computer Algorithms; Compilers: Principles, Techniques, and Tools; and The AWK Programming Language. He has served on many professional committees including the U.S.
National Research Council's Committee on Information Technology Literacy and the Advisory Committee of the National Science Foundation Computer and Information Science and Engineering Directorate. From 1992-1994 he also was editor of the Proceedings of the IEEE.
A member of the U.S. National Academy of Engineering, Dr. Aho is a Fellow of the IEEE, Association for Computing Machinery, Bell Labs, and the American Association for the Advancement of Science.
When Ole-Johan Dahl and Kristen Nygaard created the Simula languages in the 1960s at the Norwegian Computing Center, they introduced a new way of modeling and programming complex tasks. Object-oriented programming is now dominant in system development, and is everywhere part of the computer science curricula, as are languages built on OOP concepts, such as Smalltalk, C++, Eiffel and Java.
Kristen Nygaard analyzed complex problems by computer simulation, requiring interaction between many very dissimilar components. He saw the need for a description language that could be used to comprehend, describe and communicate complex systems, and also make it possible for computers to execute models of what had been described.
Ole-Johan Dahl joined Kristen Nygaard at the NCC. They designed the Simula concepts and language together, and Dahl carried out the difficult task of writing the program that translated descriptions into computer instructions. In 1968Dahl became the University of Oslo’s first computer science professor and built its Informatics Department. Later he has contributed to the theory of proving correctness of programs. Nygaard continued OOP, but also became the driving force in the “Scandinavian school of system development.” His efforts now are aimed at improving the teaching and conceptual platform for computer science.Dahl and Nygaard are Professors Emeriti at the University of Oslo. They both have been named Commander of the Orderof Saint Olav by the King of Norway and Honorary Fellows ofthe Object Management Group, have received the Norwegian Rosing Prize and the 2001 ACM A.M. Turing Award.
Combining a deep understanding of computer-science theory with practical implementation, Butler Lampson has contributed to a remarkable range of systems that make computing as we know it today possible.
As a member of the legendary Computer Science Laboratory of the Xerox Palo Alto Research Center, Dr. Lampson’s work laid much of the foundation for today’s local area networks, client-server systems, laser printers, and editors such as Microsoft Word. He was instrumental to the group’s many breakthroughs, including the Xerox Alto and its successor, the Dorado, which proved that an IBM 370-168 class computer could be packaged to fit in an office. He helped design Interpress, a precursor to Adobe’s Postscript language. He also has been a major contributor to the design and implementation of Mesa, Cedar, and Modula 2+ computer programming languages. This series of designs has influenced the structure of the Java programming language.
One of the designers of the SDS 940 timesharing system, Dr. Lampson was a pioneer in creating a commercial timesharing system that allowed user programming in machine language. Also a leader in computer security, he collaborated in the design of a global naming and authentication service that guided the structure for the OSF/DCE naming and authentication facilities.
Butler Lampson was born on 23 December 1943, in Washington, DC. He obtained an AB in Physics from Harvard University in 1964, and a Ph.D. in Electrical Engineering and Computer Science from the University of California at Berkeley in 1967. Currently, he is a Distinguished Engineer at Microsoft and an Adjunct Professor at MIT.
Dr. Lampson holds 24 patents on networks, security, raster printing, and transaction processing, and has published 64 papers. He is a member of the National Academy of Engineering and a Fellow of the Association for Computing Machinery (ACM) and the American Academy of Arts and Sciences. He holds honorary ScD’s from the Eidgenössische Technische Hochschule, Zürich, and the University of Bologna. He received the ACM’s Software Systems Award in 1984 for his work on the Alto, the IEEE Computer Pioneer Award in 1996, the National Computer Systems Security Award in 1998, and the Turing Award in 1992.