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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bob Brayton
|