Dr. Randal Bryant

Biography

Randal E. Bryant is a University Professor in the Computer Science Department at Carnegie Mellon University. He began his career at Carnegie Mellon in 1984 as an Assistant Professor and has since progressed to his current rank. He holds a courtesy appointment in the Electrical and Computer Engineering Department. From 2004 to 2014, he served as the Dean of the School of Computer Science. Dr. Bryant's research primarily focuses on methods for formally verifying digital hardware and software. He is known for developing the ordered binary decision diagram (OBDD), a critical data structure used in formal hardware and software verification, digital circuit testing, synthesis, and artificial intelligence planning. His innovative techniques include verifying circuits through symbolic simulation across various levels of abstraction, employing models based on first-order logic. Dr. Bryant has been recognized for his work through numerous accolades, including being named a fellow of the IEEE and ACM, and membership in the National Academy of Engineering and the American Academy of Arts and Sciences. He teaches courses in computer systems and co-developed a textbook titled 'Computer Systems: A Programmer's Perspective', which is used in 320 universities worldwide and has been translated into multiple languages. Prior to his tenure at Carnegie Mellon, he worked as an assistant professor at Caltech and has held visiting positions, including a year at Fujitsu Laboratories in Japan.

Research Interests