Sc.D. (E.E.) M.I.T., 1956
B.S. and M.S. (E.E) M.I.T., 1953
A.B. (Physics, Math), Summa Cum Laude, Bowdoin College, 1953.
Honors and Awards
IEEE Test Technology Technical Council Lifetime Contribution Award, 2002.
IEEE VTS Best Panel Award, 2002.
IEEE VTS Best Panel Award, 1999.
National Academy of Engineering, 1998.
for logic design, computer engineering and engineering education.
Stanford University School of Engineering Dean's Award for Academic
Excellence, 1998.
IEEE Emanuel R. Piore Award, 1996.
for pioneering and fundamental contributions to design automation
fault tolerant computing.
IEEE Computer Society Golden Core Member, 1996.
ACM Fellow, 1994.
Institut National Polytechnique de Grenoble, Doctor Honoris Causa, 1994.
IEEE Computer Society Taylor L. Booth Education Award, 1991.
ACM Annual Award for Computer Science Education, 1990.
EURO ASIC 90 Prize, 1990.
for Fundamental Outstanding Contribution to Logic Synthesis.
IEEE Computer Society Technical Achievement Award in Testing, 1984.
IEEE Centennial Medal, 1984.
AAAS Fellow, 1967.
IEEE Fellow, 1965.
Bowdoin College Smythe Mathematics Prize, 1949.
Eagle Scout, BSA, 1945.
Honor Societies: Phi Beta Kappa Sigma Xi, Eta Kappa Nu, Tau Beta Pi
Public Service
Advisory Committee, Lahore University of Management Sciences, Pakistan,
1998-present
Department of Electrical and Computer Engineering Advisory Board, Northwestern
University, 1999-present