Open main menu

Wikimedia Commons β

Category:Randal Bryant

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 
Randal Bryant FLoC 2006.jpg
American computer scientist
Date of birth 27 October 1952
Country of citizenship
Educated at
  • computer scientist
  • engineer
Member of
  • Institute of Electrical and Electronics Engineers
  • American Academy of Arts and Sciences
  • National Academy of Engineering
  • Association for Computing Machinery
Award received
  • Paris Kanellakis Award (1998)
  • IEEE Emanuel R. Piore Award (2007)
  • Phil Kaufman Award (2009)
Authority control
Blue pencil.svg

Media in category "Randal Bryant"

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