Category:Randal Bryant

**Randal Bryant**
	American computer scientist
	Upload media
	Wikipedia
Date of birth	27 October 1952; United States of America
Country of citizenship	United States of America;
Educated at	University of Michigan College of Engineering (Bachelor of Science, applied mathematics, –1973); Massachusetts Institute of Technology (Doctor of Philosophy, –1981); Seaholm High School;
Doctoral advisor	Jack Dennis (1981);
Doctoral student	Yirng-An Chen; Manish Pandey; Derek Lee Beatty; Sanjit Arunkumar Seshia; Lawrence Peter Huang; Rune Møller Jensen;
Occupation	computer scientist; engineer; university teacher; academic administrator; information scientist;
Employer	Carnegie Mellon School of Computer Science (1984–2020); California Institute of Technology (1981–1984);
Member of	Institute of Electrical and Electronics Engineers; American Academy of Arts and Sciences; National Academy of Engineering; Association for Computing Machinery (ACM Fellow, 2000–);
Field of work	informatics; computer science;
Mother	Barbara Everitt Bryant;
Award received	Paris Kanellakis Award (1998); IEEE Emanuel R. Piore Award (2007); Phil Kaufman Award (2009); ACM Fellow (2000); IEEE Fellow (1990); IEEE W.R.G. Baker Award (1989);
Authority file
	Q13412132; ISNI: 0000000115921847; VIAF ID: 7990812, 4236149198295574940008; GND ID: 1089505965; Library of Congress authority ID: n83045463; IdRef ID: 08336062X; NDL Authority ID: 001314985; NL CR AUT ID: xx0202872; SELIBR ID: 335235; Nationale Thesaurus voor Auteursnamen ID: 151064598; NORAF ID: 90067791, 90184364; NUKAT ID: n99052573; National Library of Korea ID: KAC201111784; Libris-URI: zw9dkwzh0r08v03; National Library of Israel J9U ID: 987007355208305171; NACSIS-CAT author ID: DA05353143; Mathematics Genealogy Project ID: 50060
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

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.

Media in category "Randal Bryant"

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

Edmund Clarke, Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 137 KB
Randal Bryant FLoC 2006.jpg 186 × 287; 35 KB
Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 128 KB