Randal Bryant
Computer Scientist
1952 –
Who is Randal Bryant?
Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware, and more recently some forms of software. He is also Dean of Carnegie Mellon University's School of Computer Science, where he has taught since 1984.
Bryant's 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams has the highest citation count of any publication in the Citeseer database of computer science literature. In addition, he has developed several techniques to verify circuits by symbolic simulation, with levels of abstraction ranging from transistors to very high-level representations.
Bryant is a fellow of the IEEE and the ACM, as well as a member of the National Academy of Engineering. He was awarded the 1997 ACM Paris Kanellakis Theory and Practice Award for contributing to the development of symbolic model checking, the 1989 IEEE W.R.G. Baker Prize Paper Award for the best paper appearing in any IEEE publication during the preceding year, as well as the 2007 IEEE Emanuel R. Piore Award.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Oct 27, 1952
- Nationality
- United States of America
- Profession
- Education
- Massachusetts Institute of Technology
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Randal Bryant." Biographies.net. STANDS4 LLC, 2024. Web. 28 Mar. 2024. <https://www.biographies.net/people/en/randal_bryant>.
Discuss this Randal Bryant biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In