Randal Bryant

Randal E. Bryant ( born October 27, 1952) is an American computer scientist.

Bryant grew up in Birmingham ( Michigan) and studied from 1970 at the University of Michigan with a bachelor 's degree in Applied Mathematics in 1973 and from 1974 at the Massachusetts Institute of Technology, where he received his doctorate in 1981 at Jack B. Dennis (A Switch level simulation Model of Integrated Logic Circuits). As a post - graduate student, he was Assistant Professor at Caltech. Since 1984 he teaches at Carnegie Mellon University (initially as Assistant Professor, in 1987 as associate professor and from 1992 as a professor ), where he headed the faculty of computer science from 1999 to 2004 and since 2004 has been Dean of the School of Computer Science.

1990/91 he was a visiting researcher at Fujitsu Laboratories in Kawasaki, Japan.

He is known for systems for formal verification of digital hardware. A work from 1986 on formal manipulation of Boolean functions in the form of Binary Decision Diagrams (BDD ) is one of the most cited papers in computer science at all. He also developed methods of verification, simulation programs of hardware at different levels of abstraction.

In 1998 he received the Paris Kanellakis Award, the 2009 Phil Kaufman Award and the 2007 IEEE Emanuel R. Piore Award. He is a Fellow of the IEEE, the Association for Computing Machinery (ACM ) and the National Academy of Engineering ( 2003).

1989 to 1995 he was Associate Editor and 1995 to 1997 he was editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Writings

  • With Dave O'Hallaron Computer Systems: A programmer's perspective, 2003, 2nd edition, Prentice- Hall 2011
  • With C. Meinel Ordered binary decision diagrams, in S. Hassoun, T. Sasao (editor) Logic Synthesis and Verification, Kluwer 2001
  • Bryant Graph -Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, C -35, 1986, pp. 677-691 Reprinted in M. Yoeli Formal verification in hardware design, IEEEComputer Society Press, 1990, pp. 253-267
Birmingham (Michigan) Jack Dennis Institute of Electrical and Electronics Engineers
672029
de