Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Illinois_at_Urbana–Champaign
gptkb:National_Technical_University_of_Athens |
| gptkbp:birthPlace |
gptkb:Greece
|
| gptkbp:doctoralAdvisor |
gptkb:Gul_Agha
|
| gptkbp:employer |
gptkb:National_Technical_University_of_Athens
|
| gptkbp:field |
gptkb:programming_language
computer science software engineering static analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
Kostis Sagonas
|
| gptkbp:knownFor |
gptkb:Erlang_programming_language
Dialyzer HiPE (High-Performance Erlang) |
| gptkbp:nationality |
gptkb:Greek
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:Gradualizer
|
| gptkbp:bfsLayer |
8
|