Randal Bryant

Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software.

He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014.

Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

Bryant has received many recognitions for his research on hardware and software verification as well as algorithms and computer architecture.

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.