Randal E. Bryant

Randal E. Bryant

male, 55 years old (Pittsburgh, Pennsylvania, United States)
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital... More
Search For: national academy of engineering software boolean IEEE binary decision diagram hardware … wrote a textbook