Randal E. Bryant

Randal E. Bryant

male, 57 years old (Pittsburgh, Pennsylvania, United States)
Fellow of the Association for Computing Machinery, OrderedBinaryDecisionDiagrams, hardware, Association for Computing Machinery, circuit, computer science…binary decision diagram
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital...