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
Sources
1. Randal Bryant, Wikipedia
Lead paragraph
born October 27, 1952
Infobox, birth_date
1952-10-27
View the SourceRandal Bryant (Wikidata)
Wikidata alias: Randal E. Bryant
Randal E. Bryant
Wikidata P166: IEEE Fellow
Wikidata P166 (award received): IEEE Fellow.
Wikidata P166: Paris Kanellakis Award
Wikidata P166 (award received): Paris Kanellakis Award.
Wikidata P166: IEEE W.R.G. Baker Award
Wikidata P166 (award received): IEEE W.R.G. Baker Award.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: IEEE Emanuel R. Piore Award
Wikidata P166 (award received): IEEE Emanuel R. Piore Award.
Wikidata P166: Phil Kaufman Award
Wikidata P166 (award received): Phil Kaufman Award.
Wikidata alias: Randal Everitt Bryant
Randal Everitt Bryant
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.