Arnd Poetzsch-Heffter

URI: https://gptkb.org/entity/Arnd_Poetzsch-Heffter
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:employer gptkb:Technical_University_of_Kaiserslautern
gptkbp:familyName gptkb:Poetzsch-Heffter
gptkbp:fieldOfWork gptkb:programming_language
formal methods
software engineering
gptkbp:givenName gptkb:Arnd
https://www.w3.org/2000/01/rdf-schema#label Arnd Poetzsch-Heffter
gptkbp:nationality gptkb:German
gptkbp:occupation gptkb:computer_scientist
gptkbp:position_held gptkb:professor
gptkbp:bfsParent gptkb:University_of_Kaiserslautern
gptkb:Technical_University_of_Kaiserslautern
gptkbp:bfsLayer 5