Bryant has been a faculty member at Carnegie Mellon University since 1984 .
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 .
computer scientist has been a computer scientist   at Carnegie Mellon University since 1984 .
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 .