Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Person
|
| gptkbp:affiliation |
gptkb:University_of_Hagen
|
| gptkbp:birth_place |
gptkb:Belgium
|
| gptkbp:field |
gptkb:computer_science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Thierry Langer
|
| gptkbp:known_for |
contributions to software engineering
|
| gptkbp:nationality |
gptkb:Belgian
|
| gptkbp:occupation |
gptkb:Scientist
|
| gptkbp:research_interest |
gptkb:C_programming_language
software verification formal methods |
| gptkbp:bfsParent |
gptkb:Italian_national_biathlon_team
|
| gptkbp:bfsLayer |
7
|