Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Cornell_University
|
| gptkbp:awards |
gptkb:NSF_CAREER_Award
ACM Fellow |
| gptkbp:contribution |
Software Verification
Static Analysis Type_Systems |
| gptkbp:education |
B.S._in_Computer_Science
Ph.D._in_Computer_Science |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Andrew C. Myers
|
| gptkbp:influence |
Software Engineering Practices
Programming_Language_Research Security_in_Software_Development |
| gptkbp:knownFor |
Programming Languages
|
| gptkbp:mentor |
Numerous Ph.D. students
|
| gptkbp:publications |
Secure Information Flow
The Principles of Programming Languages Language_Support_for_Secure_Information_Flow The_Design_of_a_Secure_Programming_Language |
| gptkbp:researchInterest |
Distributed Systems
Software Security Programming_Language_Design |