Randal Bryant

Last updated
Randal Bryant
Randal Bryant FLoC 2006.jpg
Bryant in 2006
Born (1952-10-27) October 27, 1952 (age 72)
United States
Alma mater University of Michigan
Known forBinary Decision Diagrams (BDDs), formal hardware and software verification
Parent Barbara Everitt Bryant
Relatives William Littell Everitt (grandfather)
Awards Paris Kanellakis Theory and Practice Award
Phil Kaufman Award
Scientific career
FieldsHardware, system software, networking
Institutions School of Computer Science, Carnegie Mellon University

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 served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

Contents

Bryant has received many recognitions for his research on hardware and software verification as well as algorithms and computer architecture. His 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams (BDDs) has the highest citation count of any publication in the Citeseer database of computer science literature. [1] In 2009 Bryant was awarded the Phil Kaufman Award by the EDA Consortium "for his seminal technological breakthroughs in the area of formal verification."

Early life and education

Bryant was born on October 27, 1952, and is the son of John H. Bryant and Barbara Everitt Bryant, and the grandson of William Littell Everitt, former dean of the electrical engineering department at the University of Illinois at Urbana–Champaign (1949–68). His sister is Lois Bryant, a textile artist. Bryant was raised in Birmingham, Michigan. Starting in 1970, he attended the University of Michigan, where he received his B.S. in applied mathematics in 1973. His master thesis on Simulation of Packet Communication Architecture Computer Systems, published in 1977, is known to be one of the first publications on distributed simulation. [2] He received his PhD from the Massachusetts Institute of Technology in 1981. [3]

Career

Research and publications

Awards and honors

References

  1. 1 2 "Most cited source documents". Citeseer . September 2006. Retrieved March 5, 2007.
  2. 1 2 "Bryant's home". www.cs.cmu.edu. Retrieved 2018-02-01.
  3. 1 2 "Randal Bryant - Education and Publications".
  4. University, Carnegie Mellon. "Press Release: Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office - News - Carnegie Mellon University" . Retrieved 2018-02-01.
  5. "Infosys Prize - Jury 2013". Infosys Science Foundation. Retrieved 1 March 2021.
  6. Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv: cs/0508044 . doi:10.1109/TC.1986.1676819. ISSN   0018-9340. S2CID   10385726.
  7. Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN   0360-0300. S2CID   1933530.
  8. Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories" . Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN   0925-9856. S2CID   14804600.
  9. University, Carnegie Mellon. "Randal Bryant - Institute for Software Research - Carnegie Mellon University". www.isri.cmu.edu. Retrieved 2018-02-01.
  10. "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived from the original (PDF) on November 24, 2010. Retrieved March 20, 2021.
  11. "ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation". SIGDA. Retrieved 2 February 2018.