SCS Faculty Awards
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)

SCS Faculty: Members of National Academy of Engineering
--Election to the National Academy of Engineering is among the highest professional distinctions accorded an engineer. Academy membership honors those who have made outstanding contributions to "engineering research, practice, or education, including, where appropriate, significant contributions to the engineering literature" and to the "pioneering of new and developing fields of technology, making major advancements in traditional fields of engineering, or developing/implementing innovative approaches to engineering education."

The National Academy of Engineering (NAE) was established in 1964 under the charter of the National Academy of Sciences as a parallel organization of outstanding engineers. It is autonomous in its administration and in the selection of its members, sharing with the National Academy of Sciences the responsibility for advising the federal government and management of the National Research Council. The National Academy of Engineering also sponsors engineering programs aimed at meeting national needs, encourages education and research, and recognizes the superior achievements of engineers.

  • Manuel Blum, 2006
    -For contributions to abstract complexity theory, cryptographic protocols and the theory and applications of program checkers.

  • Randal E. Bryant, 2003
    -For contributions to symbolic simulation and logic verification.

  • Edmund M. Clarke, 2005
    -For contributions to the formal verification of hardware and software correctness.

  • Angel G. Jordan, 1986 (Emeritus)
    - For contributions to solid-state device research, and for innovative leadership in engineering education.

  • Pradeep K. Khosla, 2006
    -For his contributions to the design and sensor-based control in robotics systems for the assembly of precision electronics, and for innovative leadership in engineering education.

  • Takeo Kanade, 1997
    - For contributions to computer vision and robotics.

  • Tom Mitchell, 2010
    - For pioneering contributions and leadership in the methods and applications of machine learning.
    NAE Release

  • Raj Reddy, 1984
    - For his contributions to the fundamental technology of artificial intelligence and its application to speech recognition, expert systems, and robotics.

  • Daniel P. Siewiorek, 2000
    - For contributions to wearable computers, multiprocessor design, reliable systems, and automated design synthesis.

  • William "Red" Whittaker, 2009
    -For pioneering contributions to fielded, mobile, autonomous robots.


In Memoriam
  • Allen Newell
  • Alan J. Perlis

Return to: SCS Faculty Awards
School of Computer Science Home Page