Randal E. Bryant

Dean and University Professor, School of Computer Science

Randal E. Bryant received the B.S. degree in applied mathematics from the University of Michigan, Ann Arbor in 1973, and the S.M., E.E., and Ph.D. degrees in electrical engineering and computer science from the Massachusetts Institute of Technology, Cambridge in 1977, 1978, and 1981, respectively. He was on the faculty at the California Institute of Technology from 1981 to 1984. Since September, 1984 he has been at Carnegie Mellon University and is now the Robert Mehrabian Professor of Computer Science. He also holds a courtesy position in the Electrical and Computer Engineering Department. He was Head of the Computer Science Department at Carnegie Mellon from 1999 to 2004. Since April, 2004 he has been Dean of the Carnegie Mellon University School of Computer Science. He spent the 1990--1991 academic year as a Visiting Research Fellow at Fujitsu Laboratories, Kawasaki, Japan.

His research and teaching interests include hardware design, verification, and testing, as well as algorithms and computer architecture. His computer systems textbook, coauthored with David R. O'Hallaron, is currently in use at over 75 schools worldwide. Dr. Bryant received the 1987 and 2003 CAD Transactions Best Paper Awards, and the 1989 Baker Prize from the IEEE. He was an Associate Editor for IEEE Transactions on Computer-Aided Design for Integrated Circuits and Systems from 1989 to 1995 and Editor-in-Chief from 1995 to 1997. He was elected a Fellow of the IEEE in 1990, for ``contributions to switch-level modeling of very-large-scale integrated circuits.'' He was elected a Fellow of the ACM in 1999. Dr. Bryant has received several awards from the Semiconductor Research Corporation: Inventor recognition awards in 1989 and 1990, as well as a technical excellence award (shared with Edmund M. Clarke and Ken McMillan) in 1996. He received the 1997 ACM Kanellakis Theory and Practice Award (shared with Edmund M. Clarke, Ken McMillan, and Allen Emerson) for contributing to the development of symbolic model checking. He was elected to the National Academy of Engineering in 2003.