Robert K. Brayton

URI: https://gptkb.org/entity/Robert_K._Brayton
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Iowa_State_University
gptkbp:awardReceived gptkb:IEEE_Emanuel_R._Piore_Award
gptkb:IEEE_Richard_W._Hamming_Medal
gptkbp:doctoralAdvisor gptkb:Robert_L._Glass
gptkbp:employer gptkb:University_of_California,_Berkeley
gptkbp:fieldOfWork formal verification
logic synthesis
electronic design automation
https://www.w3.org/2000/01/rdf-schema#label Robert K. Brayton
gptkbp:member gptkb:National_Academy_of_Engineering
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:engineer
gptkbp:bfsParent gptkb:Bob_Brayton
gptkbp:bfsLayer 6