Randal E. Bryant is Dean of the Carnegie Mellon University School of
Computer Science.  He has been on the faculty at Carnegie Mellon since
1984, starting as an Assistant Professor and progressing to his
current rank of University Professor of Computer Science.  He also
holds a courtesy appointment in the Electrical and Computer
Engineering Department.

Much of Dr. Bryant's research has focused on methods for formally
verifying digital hardware, and more recently some forms of software.
His 1986 paper on symbolic Boolean manipulation using Ordered Binary
Decision Diagrams (BDDs) has one of the highest citation count of any
publication in the computer science literature.  More recently, he has
become interested in the opportunities and challenges presented by
computer systems working with very large data sets.

Dr. Bryant has received widespread recognition for his work.  He is a
fellow of the IEEE and the ACM, as well as a member of the National
Academy of Engineering and the American Academy of Arts and Sciences.
His awards include the 2007 IEEE Piore Award, 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, as well as the 1989 IEEE W.R.G. Baker Prize for the
best paper appearing in any IEEE publication during the preceding
year.  In the field of electronic design automation, he has won both
the IEEE/CEDA Phil Kaufman Award and the ACM/IEEE A. Richard Newton
technical impact award.

Dr. Bryant teaches courses in computer systems.  Along with David
R. O'Hallaron, he developed a novel approach to teaching about the
hardware, networking, and system software that comprise a system from
the perspective of an advanced programmer, rather than from those of
the system designers.  Their textbook ``Computer Systems: A
Programmer's Perspective'' is now in it second edition and is in use
at over 150 universities worldwide, with translations into Chinese and
Russian.

Dr. Bryant received his B.S. in Applied Mathematics from the
University of Michigan in 1973, and his PhD from MIT in 1981.  He was
on the faculty at Caltech from 1981 to 1984.