Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:computer_scientist
|
| gptkbp:advisorTo |
gptkb:U.S._Department_of_Defense
gptkb:U.S._government_agencies |
| gptkbp:almaMater |
gptkb:Harvard_University
gptkb:Stanford_University |
| gptkbp:doctoralAdvisor |
gptkb:John_L._Hennessy
|
| gptkbp:employer |
gptkb:Carnegie_Mellon_University
|
| gptkbp:fieldOfWork |
computer science
software engineering |
| https://www.w3.org/2000/01/rdf-schema#label |
William L. Scherlis
|
| gptkbp:member |
gptkb:Association_for_Computing_Machinery
gptkb:IEEE |
| gptkbp:notableStudent |
gptkb:Brad_Myers
gptkb:Claire_Le_Goues gptkb:Jonathan_Aldrich gptkb:Joshua_Sunshine |
| gptkbp:notableWork |
gptkb:architecture
formal methods software assurance |
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:professor |
| gptkbp:position |
Professor of Computer Science
Director of the Institute for Software Research |
| gptkbp:publishedIn |
gptkb:programming_language
formal methods software engineering |
| gptkbp:bfsParent |
gptkb:Symbolics
|
| gptkbp:bfsLayer |
5
|