Category:Randal Bryant

**Randal Bryant**
	American computer scientist
	Upload media
	Wikipedia
Date of birth	27 October 1952; United States
Country of citizenship	United States;
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; 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.