Randal Bryant
American computer scientist (born 1952) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Randal Bryant?
Summarize this article for a 10 year old
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.
Randal Bryant | |
---|---|
Born | (1952-10-27) October 27, 1952 (age 71) 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 |
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."