«For his pioneering work in organizing and spearheading the early development of the first practical large-scale time-sharing computer system, and for his tireless efforts in providing direction for the entire time-sharing concept.»
«For his early and continuing contribution to the field of higher-level languages, in particular for is conception and leadership resulting in the completion of the first FORTRAN projects; and for his work in syntactical forms incorporated in ALGOL.»
«For his continuing technical contributions to computer development through design automation and system definition, and for outstanding managerial leadership in producing a series of large scale computers.»
«For his insight and leadership in solving primary problems of early computers and his continuing contributions that have paved the way for tomorrows computing systems.»
«For his significant contributions to computer architecture and programming and his leadership in cooperative efforts to further education in the computer field.»
«For significantly influencing the architecture and design of data processing systems by inventing the planar process of semi-conductor circuit fabrication -- the development that made possible the economical mass production of reliable integrated circuits and semi-conductor memories.»
«For his pioneering work in computational complexity and for stimulating further research on the scientific basis for evaluating the efficiency of computational algorithms.»
«For his contributions to the architecture and design of computer systems, and for his achievements in promoting advancements in the computer state of the art through business enterprise.»
«For his innovative architectural computer concepts, such as stack processing, data stored with self-describing tags, and the direct execution of higher level languages, as embodied in the B-5000 and successor machines.»
«For outstanding contributions to research and development of semi-conductor components and his insights and leadership in the micro-processor and semi conductor memory fields.»
«For her combination of technical skill, leadership, teaching capability, and single-minded drive for the invention, adoption, and standardization of high-level programming languages.»
«For his many contributions to software engineering and education and for the excellence of his scholarship and creativity in organizing vast subject areas of computer science so that they are accessible to all segments of the computing community.»
«For a lifetime of innovative technical contributions to the computer field in the areas of software engineering, structured programming, distributed computing, data base structures, time-sharing, storage hierarchies, paging, and microprogramming.»
«For his outstanding technical and managerial contributions to computer development through the invention of the universally utilized dual-in-line semi-conductor component package, and the design and production of the first large LSI semi-conductor memory systems.»
«For creating the structured computer-aided logic (SCALD) design methodology, which is the basis for many of the successful computer-aided engineering systems used in the industry.»
«For being principal designer of the VAX architecture and for contributions to local area networks, high-performance interconnects, caches, and memory hierarchies.»
«For developing the level-sensitive scan technique of testing solid-state logic circuits and for leading, defining, and promoting design for testability concepts.»
«For innovative invention of the World Wide Web, which extends hypertext to distributed information, which has brought about a revolutionary transformation in the use of computers and networks.»
«For his vision, determination, and programming skill in the development of Lotus Notes, a program that enables groups of people to work collaboratively over computer networks.»
«For significant contributions to the design of re-configurable real-time software systems, and for significant contributions to undergraduate and graduate education in electrical and computer engineering and robotics.»
«For fundamental contributions to the development of multidimensional spatial data structures and indexing, translation validation, and proof-carrying code.»
«For groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification.»
