Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:hasAwards |
ACM Fellow
|
| gptkbp:hasEducation |
Ph.D._in_Computer_Science
|
| gptkbp:hasFieldOfUse |
Software Engineering
|
| gptkbp:hasPublications |
gptkb:The_C_Programming_Language
|
| gptkbp:hasResearchInterest |
Formal Methods
Software Verification Compiler Construction |
| https://www.w3.org/2000/01/rdf-schema#label |
Sarah N. Lawall
|
| gptkbp:knownFor |
Programming Languages
|
| gptkbp:worksAt |
gptkb:University_of_Texas_at_Austin
|