Randal Bryant: Difference between revisions
m Cleaned up using AutoEd |
m change honors Tags: references removed Visual edit |
||
| Line 34: | Line 34: | ||
Bryant's 1986 paper on symbolic [[Boolean logic|Boolean]] manipulation using [[binary decision diagram|Ordered Binary Decision Diagrams]] (BDDs) has the highest citation count of any publication in the [[Citeseer]] database of computer science literature.<ref>{{cite web|url = http://citeseer.ist.psu.edu/source.html | accessdate = March 5, 2007 | title = Most cited source documents | date = September 2006 | work = [[Citeseer]]}}</ref> In addition, he has developed several techniques to verify [[Electronic circuit|circuits]] by symbolic simulation, with levels of abstraction ranging from transistors to very high-level representations. |
Bryant's 1986 paper on symbolic [[Boolean logic|Boolean]] manipulation using [[binary decision diagram|Ordered Binary Decision Diagrams]] (BDDs) has the highest citation count of any publication in the [[Citeseer]] database of computer science literature.<ref>{{cite web|url = http://citeseer.ist.psu.edu/source.html | accessdate = March 5, 2007 | title = Most cited source documents | date = September 2006 | work = [[Citeseer]]}}</ref> In addition, he has developed several techniques to verify [[Electronic circuit|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 [[Association for Computing Machinery|ACM]], as well as a member of the [[National Academy of Engineering]]. He was awarded the 1998 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,<ref name="IEEE-DOP-Award-Recipients">{{cite web|url=http://www.ieee.org/documents/baker_rl.pdf |title=IEEE W.R.G. Baker Prize Paper Award Recipients |publisher=IEEE |accessdate=December 30, 2010}}</ref> as well as the 2007 [[IEEE Emanuel R. Piore Award]].<ref>{{cite web|url=http://www.ieee.org/documents/piore_rl.pdf |title=IEEE Emanuel R. Piore Award Recipients |publisher=IEEE |accessdate=December 30, 2010}}</ref> |
|||
In 2009 Bryant was awarded the [[Phil Kaufman Award]] by the [[electronic design automation|EDA]] Consortium, "for his seminal technological breakthroughs in the area of formal verification." |
In 2009 Bryant was awarded the [[Phil Kaufman Award]] by the [[electronic design automation|EDA]] Consortium, "for his seminal technological breakthroughs in the area of formal verification." |
||
| Line 45: | Line 43: | ||
* He is a fellow of the [[Institute of Electrical and Electronics Engineers|IEEE]] and the [[ACM]]. |
* He is a fellow of the [[Institute of Electrical and Electronics Engineers|IEEE]] and the [[ACM]]. |
||
* He is a member of the [[National Academy of Engineering]] and the [[American Academy of Arts and Sciences|American Academy of Arts and Science]]. |
* He is a member of the [[National Academy of Engineering]] and the [[American Academy of Arts and Sciences|American Academy of Arts and Science]]. |
||
* In |
* In 1998 he received the ACM [[Kanellakis Award|Kanellakis Theory and Practice Award]] (shared with [[Edmund M. Clarke]], Ken McMillan, and [[E. Allen Emerson|Allen Emerson]]) for the development of symbolic model checking. |
||
* In 1989, he was awarded the [[IEEE W.R.G. Baker Prize Paper Award|IEEE W.R.G. Baker Prize]] for the best paper appearing in any IEEE publication in the preceding year (1987). |
* In 1989, he was awarded the [[IEEE W.R.G. Baker Prize Paper Award|IEEE W.R.G. Baker Prize]] for the best paper appearing in any IEEE publication in the preceding year (1987). |
||
* In 2007, he received the [[IEEE Emanuel R. Piore Award|IEEE Emmanuel R. Piore Award]] for his research on tools to verify semiconductor's designs prior to their manufacture. |
* In 2007, he received the [[IEEE Emanuel R. Piore Award|IEEE Emmanuel R. Piore Award]] for his research on tools to verify semiconductor's designs prior to their manufacture. |
||
Revision as of 04:59, 1 February 2018
Randal Bryant | |
|---|---|
| Born | October 27, 1952 |
| Nationality |  United States |
| Alma mater | University of Michigan |
| Awards | Paris Kanellakis Theory and Practice Award Phil Kaufman Award |
| Scientific career | |
| Fields | Hardware, Networking, System Software |
| 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 more recently some forms of software. He was 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.[1] 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.
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 raised in Birmingham, Michigan and is the son of John H. Bryant and Barbara E. 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). Bryant 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.
Awards and honors
- He is a fellow of the IEEE and the ACM.
- He is a member of the National Academy of Engineering and the American Academy of Arts and Science.
- In 1998 he received the ACM Kanellakis Theory and Practice Award (shared with Edmund M. Clarke, Ken McMillan, and Allen Emerson) for the development of symbolic model checking.
- In 1989, he was awarded the IEEE W.R.G. Baker Prize for the best paper appearing in any IEEE publication in the preceding year (1987).
- In 2007, he received the IEEE Emmanuel R. Piore Award for his research on tools to verify semiconductor's designs prior to their manufacture.
- In 2009, he was awarded the EDAC/IEEE Phil Kaufman.
- In 2010, he received the ACM/IEEE A. Rihard Newton Technical Award in Electronic Design Automation.
References
- ^ "Most cited source documents". Citeseer. September 2006. Retrieved March 5, 2007.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |