«For his original contribution to the development of automatic computers that led to the first large-scale, general-purpose, automatic digital computer ever to be put in operation; for his continuous work in the field of digital computers as an engineer; and for the knowledge and inspiration imparted to many as a teacher.»

«For his contributions to, and pioneering efforts in, automatic computing; for independently proposing the use of the binary system and floating-point arithmetic; and for designing the first program-controlled computer in Germany — one of the earliest in the world.»

«For his contributions to, and pioneering efforts in, automatic computing; for independently proposing the use of the binary system, floating-point arithmetic, memory indexing and operation from a remote console; and for designing the first operating program-controlled computer»

«For his pioneering contributions to automatic computing by participating in the design and construction of the ENIAC, the world's first all-electronic computer, and of the BINAC and the UNIVAC, and for his pioneering efforts in the application of electronic computers to the solution of scientific and business problems.»

«For his pioneering contributions to automatic computing by participating in the design and construction of the ENIAC, the world's first all-electronic computer, and of the BINAC and the UNIVAC, and for his continuing work in the design of electronic computing systems.»

«For effective pioneering in the introduction and exploration of computers in the federal government; and for his continuing leadership and inspiration to all involved in the implementation of computer technology within government agencies.»

«For his many original achievements in the computer field, both in engineering and software, and for his contributions to the growth of professional society activities and to international cooperation among computer professionals.»

«For his impact and influence on computer science in general and particularly for his contributions to the methods and techniques for obtaining numerical solutions to very large problems through the use of digital computers, and for his many publications, including books, which have provided guidance and help to workers in the field of numerical analysis, and for his contributions to professional activities and societies as committee member, paper referee, conference organizer, and society president.»

«For her pioneering work and leadership in the development of computer software, and for her impact and influence on the computing profession and her fellow colleagues, and for her pioneering work and leadership in the development of important concepts for mathematical and business compilers, and for her contributions to the development and acceptance of English-language, problem-oriented programming, and for her outstanding work and continued efforts in the education and training of men and women for careers in computer science and data processing.»

«For his major contributions to the computing profession's scientific understanding of complex information processing systems in the areas of computer programming systems and the understanding of human thought processes, and for his pioneering work and leadership in research in artificial intelligence, psychology and computer science, and for his many contributions to advanced digital programming, programming language development, computer architecture, and his important contributions to scientific literature, and for his continued leadership and outstanding work in training and educating young people for careers in computer science.»

«For his contributions to the conceptual and detailed design of several large-scale, high-speed digital computers over a period of more than 15 years, and for his contributions and leadership in developing practical multiprocessing systems embodying a large number of very innovative computer concepts.»

«For his contributions to the scientific approach to computer programming, his efforts to establish programming as a science and a profession, and the enhancement of higher programming standards and procedures, and for his accomplishments in the early construction of ALGOL compilers and the ensuing programming breakthroughs are to be commended.»

«In recognition of the generalized notation, APL, which he conceived and developed; of the effectiveness in communications which has resulted from the use of APL in many diverse applications; and of the expected impact that APL will have on programming language theory and practice in the future.»

«In recognition of his contributions to the architectural design of computer-communication systems, his leadership in creating a fertile research environment leading to advances in computer and satellite communications techniques, his role in the establishment of standard international communication protocols and procedures, and his accomplishments in development and demonstration of packet switching technology and the ensuing networks which grew out of this work.»

«In recognition of his pioneering achievements in the development of random-access, coincident-current magnetic core storage, which is now the standard memory device for digital computers; for his innumerable contributions in the design and construction of Whirlwind I, one of the first high-speed digital computers; for his landmark achievements in the development of computer modeling and simulation techniques, including their application to a wide range of social systems; for his leadership in the development of the field of system dynamics and its applications in exploring alternate policies at the industrial, urban, national, and international levels; and for his many additional contributions to the development of information processing, its applications to social systems, and the dissemination of information on such developments through a series of papers and books»

«In recognition of their original contributions to semiconductor integrated circuit technology, their pioneering achievements in using this technology for the development and production of microprocessors and many other computer system components, and their distinguished leadership of and insight in computer science and technology, which have revolutionized the information processing field.»

«In recognition of his support and major contributions to the development of the ENIAC; his pioneering work on the logic, design and coding of electronic computers; his leadership role in the design, construction and use of the IAS machine at the Princeton Institute for Advanced Study; his significant contributions to the theory and practice of matrix computations; his encouragement of young scientists and mathematicians to explore the use of electronic computers; and his penetrating analysis of the history of computing.»

«In recognition of his contributions to and pioneering efforts in the development of time-shared computer systems, for his tireless efforts in providing direction for the entire time-sharing concept, for his leadership in the development of the Multics operating system which embodies seminal concepts such as a hierarchical file system, paging, segmentation and advanced security and protection mechanisms.»

«In recognition of his pioneering work in the formal semantics of programming languages to aid in the proof of correctness of program, his contributions towards applying formal discipline to the program development process, and his deep insight into the process of programming language design which has been invaluable to designers of a wide range of structured programming languages.»

«In recognition of his contributions in pattern recognition and its applications, and his leadership in education in information processing.»

«In recognition of his outstanding contributions to the design, applications and manufacture of large-scale high-performance computers.»

«In recognition of his achievements in integer programming and its successful applications in information processing technology.»

«In recognition of his pioneering contributions to the research and education of very large scale integration (VLSI) design.»

«For lasting contributions to computer science education, 3-D computer graphics interactive, and to hardware and software architecture in the development of the IBM System/360 series.»

«For pivotal seminal contributions to the design, implementation, and performance evaluation of high performance computer systems.»

«For fundamental contributions to the fields of pattern recognition, image processing, and computer vision.»

«For pivitor and seminal contributions to the design and classification of computer architecture.»

«For fundamental contributions to packet switching and queuing theory, two of the principal technologies which led to the Internet, empowering the global community to participate in worldwide economic, political and cultural processes.»

«For pioneering contributions and leadership in high performance computing and networking.»

«For innovative contributions to the field of electronic testing.»

«For seminal and influential work in parallel numerical algorithms.»

«For lifetime achievement in the practice of computer system design and evaluation.»

«For outstanding contributions to the information processing field, particularly in the design and analysis of algorithms; theory of computation; computational complexity and parallel computing.»

«For significant and pioneering contributions to advanced architectures and protocols for wireless and satellite networking.»

«For significant and pioneering contributions to data and software engineering, particularly the in of the Entity-Relationship (ER) model.»

«For significant and pioneering contributions to formal verification of hardware and software systems, and for the profound impact these contributions have had on the electronics industry.»

«For fundamental contributions to the study of algorithms and their applications in information processing.»

«For leadership in the measurement and evaluation of cache and memory system performance.»

«For innovation and leadershop in the definition, design and standardization of computer languages and creativity in the design of languages and algorithms for parallel and high performance computing.»

«For outstanding contributions and leadership in wireless and mobile systems, including ad-hoc, sensor, and mesh networks.»

«In recognition of seminal contribution to vector, out-of-order, multithreaded, and VLIW processor architectures.»

«For fundamental and lasting contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems.»

«For fundamental contributions to research in dataflow computing, memory models, and cache coherence protocols.»

«For nearly half a century of significant contributions to information processing, including microarchitecture insights, a breakaway textbook, and mentoring future leaders.»

«For sustained contributions that have shaped and cumulatively altered the field of computer architecture with emphasis on high-performance microprocessors.»

«For basic and lasting contributions to parallel compilers, languages and tools.»

«For seminal contributions to design and design tools for networks on chips.»

«For seminal contributions to distributed and parallel programming, including the development of the UNITY formalism.»

«For fundamental and sustained effort to create and leverage chip‐multiprocessors.»

«For contributions to embedded, hardware-software codesign, and real-time computer vision systems.»

«For sustained contributions to high-performance computing and distributed systems at the highest level.»