Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Randal_Bryant> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Randal_Bryant abstract "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. 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 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, as well as the 2007 IEEE Emanuel R. Piore Award.In 2009 Bryant was awarded the Phil Kaufman Award by the EDA Consortium, \"for his seminal technological breakthroughs in the area of formal verification.\"".
- Randal_Bryant alias "Bryant, Randal E.".
- Randal_Bryant birthDate "1952-10-27".
- Randal_Bryant birthYear "1952".
- Randal_Bryant thumbnail Randal_Bryant_FLoC_2006.jpg?width=300.
- Randal_Bryant wikiPageID "9319713".
- Randal_Bryant wikiPageLength "3244".
- Randal_Bryant wikiPageOutDegree "32".
- Randal_Bryant wikiPageRevisionID "661652569".
- Randal_Bryant wikiPageWikiLink Academia.
- Randal_Bryant wikiPageWikiLink Association_for_Computing_Machinery.
- Randal_Bryant wikiPageWikiLink Binary_decision_diagram.
- Randal_Bryant wikiPageWikiLink Birmingham,_Michigan.
- Randal_Bryant wikiPageWikiLink Boolean_algebra.
- Randal_Bryant wikiPageWikiLink California_Institute_of_Technology.
- Randal_Bryant wikiPageWikiLink Carnegie_Mellon_University.
- Randal_Bryant wikiPageWikiLink Category:1952_births.
- Randal_Bryant wikiPageWikiLink Category:American_computer_scientists.
- Randal_Bryant wikiPageWikiLink Category:Fellow_Members_of_the_IEEE.
- Randal_Bryant wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Randal_Bryant wikiPageWikiLink Category:Living_people.
- Randal_Bryant wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Randal_Bryant wikiPageWikiLink Category:University_of_Michigan_alumni.
- Randal_Bryant wikiPageWikiLink CiteSeer.
- Randal_Bryant wikiPageWikiLink Computer_scientist.
- Randal_Bryant wikiPageWikiLink Dean_(education).
- Randal_Bryant wikiPageWikiLink Digital_electronics.
- Randal_Bryant wikiPageWikiLink Electronic_circuit.
- Randal_Bryant wikiPageWikiLink Electronic_design_automation.
- Randal_Bryant wikiPageWikiLink IEEE_Emanuel_R._Piore_Award.
- Randal_Bryant wikiPageWikiLink IEEE_W.R.G._Baker_Award.
- Randal_Bryant wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Randal_Bryant wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Randal_Bryant wikiPageWikiLink National_Academy_of_Engineering.
- Randal_Bryant wikiPageWikiLink Paris_Kanellakis_Award.
- Randal_Bryant wikiPageWikiLink Phil_Kaufman_Award.
- Randal_Bryant wikiPageWikiLink Software.
- Randal_Bryant wikiPageWikiLink United_States.
- Randal_Bryant wikiPageWikiLink University_of_Michigan.
- Randal_Bryant wikiPageWikiLink File:Randal_Bryant_FLoC_2006.jpg.
- Randal_Bryant wikiPageWikiLinkText "Randal Bryant".
- Randal_Bryant wikiPageWikiLinkText "Randal E. Bryant".
- Randal_Bryant wikiPageWikiLinkText "Randy Bryant".
- Randal_Bryant alternativeNames "Bryant, Randal E.".
- Randal_Bryant dateOfBirth "1952-10-27".
- Randal_Bryant name "Bryant, Randal".
- Randal_Bryant shortDescription "American computer scientist".
- Randal_Bryant wikiPageUsesTemplate Template:Authority_control.
- Randal_Bryant wikiPageUsesTemplate Template:BLP_sources.
- Randal_Bryant wikiPageUsesTemplate Template:Kanellakis_Award_laureates.
- Randal_Bryant wikiPageUsesTemplate Template:Persondata.
- Randal_Bryant wikiPageUsesTemplate Template:Reflist.
- Randal_Bryant wikiPageUsesTemplate Template:US-compu-bio-stub.
- Randal_Bryant description "American computer scientist".
- Randal_Bryant description "American computer scientist".
- Randal_Bryant subject Category:1952_births.
- Randal_Bryant subject Category:American_computer_scientists.
- Randal_Bryant subject Category:Fellow_Members_of_the_IEEE.
- Randal_Bryant subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Randal_Bryant subject Category:Living_people.
- Randal_Bryant subject Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Randal_Bryant subject Category:University_of_Michigan_alumni.
- Randal_Bryant hypernym Scientist.
- Randal_Bryant type Agent.
- Randal_Bryant type List.
- Randal_Bryant type Person.
- Randal_Bryant type Scientist.
- Randal_Bryant type Person.
- Randal_Bryant type List.
- Randal_Bryant type Member.
- Randal_Bryant type Scientist.
- Randal_Bryant type Agent.
- Randal_Bryant type NaturalPerson.
- Randal_Bryant type Thing.
- Randal_Bryant type Q215627.
- Randal_Bryant type Q5.
- Randal_Bryant type Person.
- Randal_Bryant comment "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.".
- Randal_Bryant label "Randal Bryant".
- Randal_Bryant sameAs Q13412132.
- Randal_Bryant sameAs Category:Randal_Bryant.
- Randal_Bryant sameAs Randal_Bryant.
- Randal_Bryant sameAs m.0284fc0.
- Randal_Bryant sameAs Q13412132.
- Randal_Bryant wasDerivedFrom Randal_Bryant?oldid=661652569.
- Randal_Bryant depiction Randal_Bryant_FLoC_2006.jpg.
- Randal_Bryant givenName "Randal".
- Randal_Bryant isPrimaryTopicOf Randal_Bryant.
- Randal_Bryant name "Bryant, Randal".
- Randal_Bryant name "Randal Bryant".
- Randal_Bryant surname "Bryant".