Open main menu
English: 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.

Randal Bryant 
American computer scientist
Randal Bryant FLoC 2006.jpg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Date of birth27 October 1952
Country of citizenship
Educated at
Doctoral advisor
  • Jack Dennis (1981)
Member of
Award received
  • Paris Kanellakis Award (1998)
  • IEEE Emanuel R. Piore Award (2007)
  • Phil Kaufman Award (2009)
  • Fellow of the Association for Computing Machinery (2000)
  • ACM Fellow
  • IEEE Fellow
Authority control
Blue pencil.svg
Randal Bryant (sl); Randal Bryant (fr); Рендел Брайнт (uk); Randal Bryant (nl); رندال براینت (azb); Randal Bryant (de); Randal Bryant (es); Randal Bryant (en); رندال براینت (fa); Randal Bryant (ca); Randal Bryant (ast) informaticien américain (fr); US-amerikanischer Informatiker (de); American computer scientist (en); دانشمند علوم کامپیوتر و مهندس آمریکایی (fa); американський інформатик (uk); Amerikaans informaticus (nl) Randal E. Bryant (en)

Media in category "Randal Bryant"

The following 3 files are in this category, out of 3 total.