home button
site comments contact information Related Links home button
about the rhf button
the inductees
about the jury
James Morris,
Jury Moderator
Minoru Asada
Ron Baillie
Ruzena Bajcsy
Anne Balsamo
Fred Barton
Gordon Bell
Rodney Brooks
Arthur C. Clarke
Henrik Christensen
Anthony Daniels
Joanna Haas
Ray Jarvis
Takeo Kanade
Dan Kara
Don Marinelli
Matt Mason
Illah Nourbakhsh
Raj Reddy
Chuck Thorpe
Sherry Turkle
Manuela Veloso
Daniel H. Wilson
Steve Wozniak
Will Wright
nominate a robot
news and events
 
ABOUT THE JURY : RANDAL BRYANT
 

Randal E. Bryant is Dean of the Carnegie Mellon University School of Computer Science. He has been on the faculty at Carnegie Mellon for 21 years, starting as an Assistant Professor and progressing to his current rank of University Professor.

Dr. Bryant's research focuses 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 the highest citation count of any publication in the Citeseer database of computer science literature. In addition, he has developed several techniques to verify circuits by symbolic simulation, with levels of abstraction ranging from transistors to very high-level representations.

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. His awards include 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.

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. In his spare time, he enjoys rowing a single scull on the Allegheny River.

Back to the Top

 
 

Copyright Information. Site by Wall-to-Wall Studios. This site is enhanced with Macromedia FlashTM technology. Click here to download the plug-in.