Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:TU_Wien
|
| gptkbp:awardReceived |
gptkb:ERC_Advanced_Grant
gptkb:Fellow_of_the_European_Association_for_Theoretical_Computer_Science |
| gptkbp:dateOfBirth |
1971-02-07
|
| gptkbp:dateOfDeath |
2016-03-12
|
| gptkbp:doctoralAdvisor |
gptkb:Edmund_Clarke
|
| gptkbp:employer |
gptkb:TU_Wien
gptkb:Vienna_University_of_Technology |
| gptkbp:fieldOfWork |
gptkb:logic
computer science software engineering formal verification model checking |
| gptkbp:hasWikidataID |
Q567013
|
| gptkbp:hasWikipediaPage |
https://en.wikipedia.org/wiki/Helmut_Veith
|
| https://www.w3.org/2000/01/rdf-schema#label |
Helmut Veith
|
| gptkbp:nationality |
gptkb:Austria
|
| gptkbp:notableWork |
contributions to formal verification
contributions to model checking |
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:Moshe_Vardi
|
| gptkbp:bfsLayer |
5
|