Statements (21)
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:birthYear |
1935
|
gptkbp:deathYear |
2018
|
gptkbp:doctoralAdvisor |
gptkb:Robert_Stewart
|
gptkbp:employer |
gptkb:University_of_California,_Berkeley
|
gptkbp:field |
computer science
electrical engineering |
gptkbp:fullName |
gptkb:Robert_K._Brayton
|
https://www.w3.org/2000/01/rdf-schema#label |
Bob Brayton
|
gptkbp:knownFor |
contributions to computer-aided design
contributions to digital logic design |
gptkbp:memberOf |
gptkb:National_Academy_of_Engineering
|
gptkbp:notableFor |
formal verification
logic synthesis |
gptkbp:occupation |
gptkb:computer_scientist
gptkb:professor |
gptkbp:bfsParent |
gptkb:MIPS_Computer_Systems
|
gptkbp:bfsLayer |
5
|