Randal E. Bryant (born October 27, 1952) 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. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014.
Born |
27 October 1952 (age 72) United States
|
Zodiac | Scorpio |
Tags | Add tag |