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.
American computer scientist
|Date of birth||27 October 1952|
|Country of citizenship|
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