Randy Bryant

GSRC Member Directory

Search for ...

Randy Bryant
Carnegie Mellon University

Username:	randy.bryant
(To view user contact information, please log in.)
Home page:	http://www.cs.cmu.edu/~bryant

Bio:

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 has been Head of the Computer Science Department at Carnegie Mellon since September, 1999. He spent the 1990--1991 academic year as a Visiting Research Fellow at Fujitsu Laboratories, Kawasaki, Japan.

His research and teaching interests include VLSI design, verification, and testing, as well as algorithms and computer architecture. He is coauthor of the undergraduate textbook Computer systems: A Programmer's Perspective.

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

Papers

Group memberships