|
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.
|