Randal Bryant

Randal Bryant

Randal E. Bryant (born October 27, 1952) 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 (BDDs) has the highest citation count of any publication in the Citeseer database of computer science literature. [cite web|url = http://citeseer.ist.psu.edu/source.html | accessdate = 2007-03-05 | title = Most cited source documents | date = September, 2006 | work = Citeseer] 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 Kanellakis Theory and Practice Award for contributing to the development of symbolic model checking, as well as the 1989 IEEE W.R.G. Baker Prize for the best paper appearing in any IEEE publication during the preceding year.

Early life and education

Bryant was raised in Birmingham, Michigan and is the son of John H. Bryant and Barbara E. Bryant. He received his B.S. in Applied Mathematics from the University of Michigan in 1973, and his PhD from the Massachusetts Institute of Technology in 1981. He was on the faculty at Caltech from 1981 to 1984.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Bryant (surname) — Bryant is a surname, and may refer to:Family name name=Bryant * Albert Bryant, Jr., American general * Alexander Bryant or Briant, English Jesuit martyr * Anita Bryant, American singer * Anthony J. Bryant, American historian of Japan * Antonio… …   Wikipedia

  • Charles Randal Smith — For other people of the same name, see Charles Smith (disambiguation). Charles Randal Smith was a Canadian pathologist who was the head pediatric forensic pathologist at the Hospital for Sick Children in Toronto, Ontario, from 1982 to 2003. The… …   Wikipedia

  • David Bryant Mumford — David Mumford David Bryant Mumford (né le 11 juin 1937) est un mathématicien américain connu pour son travail en géométrie algébrique puis pour sa recherche en théorie de la vision. Il est actuellement professeur dans la division de… …   Wikipédia en Français

  • Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… …   Wikipedia

  • Бинарная диаграмма решений — (БДР) или программа с ветвлением является формой представления булевой функции от переменных в виде направленного ациклического графа, состоящего из внутренних узлов решений (помеченных ), каждый из которых имеет по два потомка, и двух… …   Википедия

  • Binary decision diagram — In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a… …   Wikipedia

  • Redirection (computing) — In computing, Redirection is a function common to most command line interpreters such as the various Unix shells which allow standard streams to be redirected to user specified locations.Programmatically, it is done with the dup2(2) system call,… …   Wikipedia

  • Birmingham, Michigan — Infobox Settlement official name = Birmingham, Michigan settlement type = City nickname = website = http://www.ci.birmingham.mi.us imagesize = image caption = image image mapsize = 250px map caption = Location of Birmingham, Michigan government… …   Wikipedia

  • List of Carnegie Mellon University people — This is a list of encyclopedic people associated with Carnegie Mellon University in the United States of America.Notable students and alumni =Nobel laureates= *John L. Hall (B.S. 1956, M.S. 1958, Ph.D. 1961), 2005 Nobel Prize in Physics *Finn E.… …   Wikipedia

  • Paris Kanellakis Award — The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing. It… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”