Prof. Randal E. Bryant

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 President's Distinguished Professor of Computer Science. He also holds a courtesy position in the Electrical and Computer Engineering Department. He was appointed Head of the Computer Science Department at Carnegie Mellon in September, 1999. He spent the 1990--1991 academic year as a Visiting Research Fellow at Fujitsu Laboratories, Kawasaki, Japan.

Dr. Bryant received the 1987 CAD Transactions Best Paper Award, 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.'' 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 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.