Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Randal_Bryant> ?p ?o. }
Showing items 1 to 57 of
57
with 100 items 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 birthDate "1952-10-27".
- Randal_Bryant birthYear "1952".
- Randal_Bryant thumbnail Randal_Bryant_FLoC_2006.jpg?width=300.
- Randal_Bryant wikiPageID "9319713".
- Randal_Bryant wikiPageRevisionID "589742933".
- Randal_Bryant dateOfBirth "1952-10-27".
- Randal_Bryant hasPhotoCollection Randal_Bryant.
- Randal_Bryant name "Bryant, Randal".
- 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 type AmericanComputerScientists.
- Randal_Bryant type Associate109816771.
- Randal_Bryant type CausalAgent100007347.
- Randal_Bryant type Colleague109935990.
- Randal_Bryant type ComputerScientist109951070.
- Randal_Bryant type ComputerUser109951274.
- Randal_Bryant type FellowsOfTheAssociationForComputingMachinery.
- Randal_Bryant type LivingPeople.
- Randal_Bryant type LivingThing100004258.
- Randal_Bryant type Object100002684.
- Randal_Bryant type Organism100004475.
- Randal_Bryant type Peer109626238.
- Randal_Bryant type Person100007846.
- Randal_Bryant type PhysicalEntity100001930.
- Randal_Bryant type Scientist110560637.
- Randal_Bryant type Whole100003553.
- Randal_Bryant type YagoLegalActor.
- Randal_Bryant type YagoLegalActorGeo.
- Randal_Bryant type Agent.
- Randal_Bryant type Person.
- Randal_Bryant type Person.
- Randal_Bryant type Q215627.
- Randal_Bryant type Q5.
- Randal_Bryant type Agent.
- Randal_Bryant type NaturalPerson.
- Randal_Bryant type Thing.
- 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 label "Randal Bryant".
- Randal_Bryant sameAs Randal_Bryant.
- Randal_Bryant sameAs m.0284fc0.
- Randal_Bryant sameAs Q13412132.
- Randal_Bryant sameAs Q13412132.
- Randal_Bryant sameAs Randal_Bryant.
- Randal_Bryant wasDerivedFrom Randal_Bryant?oldid=589742933.
- 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".
