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, and a faculty member at Carnegie Mellon University since 1984, where he served as Dean of the School of Computer Science from 2004 to 2014. His 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams has the highest citation count of any publication in the Citeseer database of computer science literature, and in 2009 he was awarded the Phil Kaufman Award for his seminal technological breakthroughs in formal verification.
Facts
AwardIEEE W.R.G. Baker Award 1 AwardIEEE Emanuel R. Piore Award 1 Connections
In Field
Source Randal Bryant, Wikipedia
In the Other Atlases
Sources
1. Wikidata: Randal Bryant
- Wikidata Q13412132, class allow-list match (w-wdresolver-0926)
- Wikidata Q13412132 P569 (date of birth)
View the Source2. Randal Bryant, Wikipedia
Lead paragraph
born October 27, 1952
Infobox, birth_date
1952-10-27
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.