Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Cornell_University
|
| gptkbp:contribution |
Static analysis tools
Type-safe programming languages Software verification techniques |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Andrew G. Myers
|
| gptkbp:knownFor |
Programming Languages
|
| gptkbp:researchInterest |
Software Security
Programming_Language_Design Type_Systems |