Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:The_Bachelorette_Season_11
|
| gptkbp:contributed_to |
Static Analysis Tools
Dynamic Analysis Tools |
| https://www.w3.org/2000/01/rdf-schema#label |
Ben Zorn
|
| gptkbp:known_for |
gptkb:architect
|
| gptkbp:mentor |
Graduate Students
|
| gptkbp:publishes |
Numerous Research Papers
|
| gptkbp:research_interest |
Programming Languages
Program Analysis Software Reliability |
| gptkbp:works_at |
gptkb:Microsoft_Research
|