http://dbpedia.org/ontology/abstract
|
Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker.
, Рендел Е. Брайнт (нар. 27 жовтня 1952 року) — американський вчений у галузі інформатики, професор, дослідник формальної верифікації цифрового обладнання і програмного забезпечення.
, Randal E. Bryant (born October 27, 1952) i … Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30th, 2020. Over the years, Dr. Bryant has received many recognitions for his research on hardware and software verification as well as algorithms and computer architecture. His 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 2009 Bryant was awarded the Phil Kaufman Award by the EDA Consortium "for his seminal technological breakthroughs in the area of formal verification."oughs in the area of formal verification."
, راندال براينت (بالإنجليزية: Randal Bryant) هو مهندس وعالم حاسوب أمريكي، ولد في 27 أكتوبر 1952.
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Michigan +
|
http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Phil_Kaufman_Award +
, http://dbpedia.org/resource/Paris_Kanellakis_Theory_and_Practice_Award +
|
http://dbpedia.org/ontology/birthDate
|
"1952-10-27"^^xsd:date
|
http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Carnegie_Mellon_School_of_Computer_Science +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Randal_Bryant_FLoC_2006.jpg?width=300 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://dl.acm.org/citation.cfm%3Fid=1841497 +
, https://loisbryantstudio.com/home.html%29. +
, https://www.cs.cmu.edu/~bryant/pubdir/MIT-LCS-TR-188.pdf +
, https://www.cs.cmu.edu/~bryant/pubdir/acmcs92.pdf +
, https://www.cs.cmu.edu/~bryant/pubdir/ieeetc86.pdf +
|
http://dbpedia.org/ontology/wikiPageID
|
9319713
|
http://dbpedia.org/ontology/wikiPageLength
|
12385
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1122694855
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Edmund_M._Clarke +
, http://dbpedia.org/resource/Carnegie_Mellon_School_of_Computer_Science +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Barbara_Everitt_Bryant +
, http://dbpedia.org/resource/Kanellakis_Award +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Infosys_Prize +
, http://dbpedia.org/resource/University_of_Illinois_at_Urbana%E2%80%93Champaign +
, http://dbpedia.org/resource/Office_of_Science_and_Technology_Policy +
, http://dbpedia.org/resource/University_of_Michigan +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Category:University_of_Michigan_College_of_Literature%2C_Science%2C_and_the_Arts_alumni +
, http://dbpedia.org/resource/Fujitsu +
, http://dbpedia.org/resource/Intel +
, http://dbpedia.org/resource/Very-large-scale_integration +
, http://dbpedia.org/resource/Software +
, http://dbpedia.org/resource/Digital_hardware +
, http://dbpedia.org/resource/Donald_Knuth +
, http://dbpedia.org/resource/Computer_architecture +
, http://dbpedia.org/resource/EDA_Consortium +
, http://dbpedia.org/resource/American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Electrical_engineering +
, http://dbpedia.org/resource/Academic +
, http://dbpedia.org/resource/IEEE_W.R.G._Baker_Prize_Paper_Award +
, http://dbpedia.org/resource/Binary_decision_diagram +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/William_Littell_Everitt +
, http://dbpedia.org/resource/Phil_Kaufman_Award +
, http://dbpedia.org/resource/Dean_%28education%29 +
, http://dbpedia.org/resource/Citeseer +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/IEEE_Emanuel_R._Piore_Award +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:American_electrical_engineers +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/California_Institute_of_Technology +
, http://dbpedia.org/resource/Birmingham%2C_Michigan +
, http://dbpedia.org/resource/Paris_Kanellakis_Theory_and_Practice_Award +
, http://dbpedia.org/resource/Category:1952_births +
, http://dbpedia.org/resource/E._Allen_Emerson +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Michigan +
|
http://dbpedia.org/property/alt
|
Randal Bryant
|
http://dbpedia.org/property/awards
|
http://dbpedia.org/resource/Phil_Kaufman_Award +
, http://dbpedia.org/resource/Paris_Kanellakis_Theory_and_Practice_Award +
|
http://dbpedia.org/property/birthDate
|
"1952-10-27"^^xsd:date
|
http://dbpedia.org/property/birthPlace
|
United States
|
http://dbpedia.org/property/caption
|
Bryant in 2006
|
http://dbpedia.org/property/fields
|
Hardware, system software, networking
|
http://dbpedia.org/property/knownFor
|
Development of Binary Decision Diagrams data structure, Formal hardware and software verification
|
http://dbpedia.org/property/name
|
Randal Bryant
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:BLP_primary_sources +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Kanellakis_Award_laureates +
, http://dbpedia.org/resource/Template:Short_description +
|
http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/Carnegie_Mellon_School_of_Computer_Science +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1952_births +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:American_electrical_engineers +
, http://dbpedia.org/resource/Category:University_of_Michigan_College_of_Literature%2C_Science%2C_and_the_Arts_alumni +
, http://dbpedia.org/resource/Category:American_computer_scientists +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/7990812 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Randal_Bryant?oldid=1122694855&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Randal_Bryant_FLoC_2006.jpg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Randal_Bryant +
|
http://xmlns.com/foaf/0.1/name
|
Randal Bryant
|
owl:sameAs |
http://d-nb.info/gnd/1089505965 +
, https://dblp.org/pid/b/REBryant +
, http://data.bibliotheken.nl/id/thes/p151064598 +
, https://orcid.org/0000-0001-5024-6613 +
, http://yago-knowledge.org/resource/Randal_Bryant +
, https://global.dbpedia.org/id/MUib +
, http://www.wikidata.org/entity/Q13412132 +
, http://sw.dbpedia.org/resource/Randal_Bryant +
, http://rdf.freebase.com/ns/m.0284fc0 +
, http://uk.dbpedia.org/resource/%D0%A0%D0%B5%D0%BD%D0%B4%D0%B5%D0%BB_%D0%91%D1%80%D0%B0%D0%B9%D0%BD%D1%82 +
, http://azb.dbpedia.org/resource/%D8%B1%D9%86%D8%AF%D8%A7%D9%84_%D8%A8%D8%B1%D8%A7%DB%8C%D9%86%D8%AA +
, http://ar.dbpedia.org/resource/%D8%B1%D8%A7%D9%86%D8%AF%D8%A7%D9%84_%D8%A8%D8%B1%D8%A7%D9%8A%D9%86%D8%AA +
, http://de.dbpedia.org/resource/Randal_Bryant +
, http://viaf.org/viaf/7990812 +
, http://fa.dbpedia.org/resource/%D8%B1%D9%86%D8%AF%D8%A7%D9%84_%D8%A8%D8%B1%D8%A7%DB%8C%D9%86%D8%AA +
, http://arz.dbpedia.org/resource/%D8%B1%D8%A7%D9%86%D8%AF%D8%A7%D9%84_%D8%A8%D8%B1%D8%A7%D9%8A%D9%86%D8%AA +
, http://dbpedia.org/resource/Randal_Bryant +
|
rdf:type |
http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Associate109816771 +
|
rdfs:comment |
راندال براينت (بالإنجليزية: Randal Bryant) هو مهندس وعالم حاسوب أمريكي، ولد في 27 أكتوبر 1952.
, Randal E. Bryant (born October 27, 1952) i … Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30th, 2020.ity Professor Emeritus on June 30th, 2020.
, Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker.
, Рендел Е. Брайнт (нар. 27 жовтня 1952 року) — американський вчений у галузі інформатики, професор, дослідник формальної верифікації цифрового обладнання і програмного забезпечення.
|
rdfs:label |
Randal Bryant
, Рендел Брайнт
, راندال براينت
|