Randal E. Bryant

Professor Randal E. Bryant is a University Professor of Computer Science at Carnegie Mellon University. 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. He served as Dean of the School of Computer Science from 2004 to 2014. He is responsible for advances in simulation and verification of digital systems. He has developed the switch-level techniques that first allowed complex integrated circuits to be simulated at practical speeds. He later introduced the ordered binary decision diagram representation for Boolean functions, which enabled practical verification of hardware designs using symbolic model checking and resulted in enormous benefits for the semiconductor industry. He is the recipient of the IEEE Baker Prize (1989), the ACM Kanellakis Theory and Practice Award (1998), the EDAC/IEEE Phil Kaufman Award (2009), and the ACM/IEEE A. Richard Newton Technical Impact Award (2010).