Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware, and more recently some forms of software. He is also Dean of Carnegie Mellon University's School of Computer Science, where he has taught since 1984.
Source: Wikipedia
| Born: | October 27, 1952 |
|---|
News about Randal E. Bryant
See all| | Randal E. Bryant had 2 news items on Live Search News |
| | Randal E. Bryant had a news item on Live Search News |
| | Randal E. Bryant had a news item on Live Search News |
Websites about Randal E. Bryant
See allRelated People for Randal E. Bryant
See all| co-author |
Quotes for Randal E. Bryant
See allRelated Keywords for Randal E. Bryant
Fellow of the Association for Computing Machinery Ordered Binary Decision Diagrams hardware Association for Computing Machinery circuit binary decision diagram boolean American acm IEEE computer scientist Fellow of the IEEE Academic national academy of engineering software computer science Carnegie Mellon University citeseer wrote a textbook professor Computer systems White / Caucasian dean a programmer's perspective Randal E. Bryant
Directory
Home > Directory > professor > computer scientist > Randal E. Bryant
Home > Directory > Carnegie Mellon University > computer scientist > Randal E. Bryant



