Category:Randal Bryant

From Wikimedia Commons, the free media repository
Jump to: navigation, search
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
Wikipedia
Date of birth 27 October 1952
Educated at
Occupation
  • 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
  • IEEE Emanuel R. Piore Award
  • Phil Kaufman Award
Authority control
Blue pencil.svg

Media in category "Randal Bryant"

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