Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:hasContent |
gptkb:Robert_Harper
|
| gptkbp:hasGenre |
PhD_in_Computer_Science
Bachelor's_in_Computer_Science |
| gptkbp:hasPublications |
Concurrent Programming
Program Analysis Type Safety in Programming Languages |
| gptkbp:hasResearchInterest |
Formal Methods
Software Verification Type_Systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Derek Dreyer
|
| gptkbp:knownFor |
Programming Languages
|
| gptkbp:worksAt |
gptkb:Carnegie_Mellon_University
|