Arnd Poetzsch-Heffter

URI: https://gptkb.org/entity/Arnd_Poetzsch-Heffter

GPTKB entity

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
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	7
https://www.w3.org/2000/01/rdf-schema#label	Arnd Poetzsch-Heffter