Randal Bryant
Use attributes for filter ! | |
Gender | Male |
---|---|
Age | 72 |
Date of birth | October 27,1952 |
Zodiac sign | Scorpio |
Parents | Barbara Everitt Bryant |
Grandparents | William Littell Everitt |
Education | University of Michigan |
Books | Computer Systems: A Programmer's Perspective |
Computer Systems: Pearson New International Edition: A Programmer's Perspective | |
Computers Systems | |
Awards | Paris Kanellakis Award |
Phil Kaufman Award | |
Date of Reg. | |
Date of Upd. | |
ID | 1085934 |
Randal Bryant Life story
Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He currently teaches course in computer systems with Professor David R. O'Hallaron.