Randal Bryant

This biography of a living person relies too much on references to primary sources. Please help by adding secondary or tertiary sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful. Find sources: "Randal Bryant" – news · newspapers · books · scholar · JSTOR (February 2018) (Learn how and when to remove this message)

Randal Bryant
Bryant in 2006
Born	(1952-10-27) October 27, 1952 (age 72) United States
Alma mater	University of Michigan
Known for	Binary Decision Diagrams (BDDs), formal hardware and software verification
Awards	Paris Kanellakis Theory and Practice Award Phil Kaufman Award
Scientific career
Fields	Hardware, system software, networking
Institutions	School of Computer Science, Carnegie Mellon University

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. Bryant has been a faculty member at Carnegie Mellon University since 1984. 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.^[1] In 2009 Bryant was awarded the Phil Kaufman Award by the EDA Consortium "for his seminal technological breakthroughs in the area of formal verification."