Category:Randal Bryant

From Wikimedia Commons, the free media repository
Jump to navigation Jump to 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 
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
  • University of Michigan College of Literature, Science, and the Arts
Doctoral advisor
  • Jack Dennis (1981)
Occupation
Employer
Member of
Award received
  • Paris Kanellakis Award (1998)
  • IEEE Emanuel R. Piore Award (2007)
  • Phil Kaufman Award (2009)
  • list of Fellows of the Association for Computing Machinery (2000)
  • ACM Fellow
  • IEEE Fellow
Authority control
Edit infobox data on Wikidata
Randal Bryant (sl); Randal Bryant (fr); Рендел Брайнт (uk); Randal Bryant (nl); رندال براینت (azb); Randal Bryant (es); Randal Bryant (de); Randal Bryant (ca); Randal Bryant (en); راندال براينت (ar); رندال براینت (fa); 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.