Randal Bryant

from Wikipedia, the free encyclopedia
Randal Bryant (2006)

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

Life

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 under Jack B. Dennis ( A Switch- Level Simulation Model of Integrated Logic Circuits ). As a post-doctoral student , he was an assistant professor at Caltech . He has been teaching at Carnegie Mellon University since 1984 (first as Assistant Professor, 1987 as Associate Professor and from 1992 as Professor), where he headed the Faculty of Computer Science from 1999 to 2004 and has been Dean of the School of Computer Science since 2004.

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

He is known for systems for formal verification of digital hardware. A work from 1986 on the formal manipulation of Boolean functions in the form of binary decision diagrams is one of the most cited works in computer science. He also developed verification methods using simulation programs for hardware on different levels of abstraction.

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

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

Fonts

  • 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
  • Bryant Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams , ACM Computing Surveys, Volume 24, 1992, pp. 293-318
  • with JH Kukula Formal Methods for Functional Verification , in A. Kuehlmann (editor) The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design , Kluwer 2003, pp. 3-16

Web links

personal data
SURNAME Bryant, Randal
ALTERNATIVE NAMES Bryant, Randal E.
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH October 27, 1952