Randal BryantCarnegie Mellon University
G2R World Ranking 1825th
G2R United States Ranking 1017th
H-Index & Metrics
|Number of Google Citations||29,064|
|Number of Articles on DBLP||142|
Awards & Achievements
- 2000 - ACM Fellow Randal Bryant is best known for Ordered Binary Decision Diagrams, a canonical form for boolean functions. Although originally developed for applications in CAD, this data structure has found many applications in areas such as hardware and software verification, automated theorem proving, and AI planning.