|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:award
|
gptkb:ACM_Fellow
gptkb:IEEE_Fellow
|
|
gptkbp:birthDate
|
1932-10-11
|
|
gptkbp:contributedTo
|
gptkb:operating_system
gptkb:Ada_programming_language
software verification
concurrent programming
|
|
gptkbp:deathDate
|
1994-07-01
|
|
gptkbp:doctoralAdvisor
|
gptkb:Friedrich_L._Bauer
|
|
gptkbp:doctoralStudent
|
gptkb:Peter_J._Denning
gptkb:William_L._Scherlis
gptkb:James_H._Morris
gptkb:Jeannette_Wing
gptkb:Alfred_Spector
gptkb:William_Wulf
gptkb:Brian_Randell
gptkb:Nico_Habermann
gptkb:Roy_H._Campbell
gptkb:David_Notkin
gptkb:Per_Brinch_Hansen
gptkb:David_Garlan
gptkb:Mary_Shaw
gptkb:Susan_L._Graham
|
|
gptkbp:education
|
gptkb:Technical_University_of_Munich
|
|
gptkbp:employer
|
gptkb:Carnegie_Mellon_University
|
|
gptkbp:field
|
gptkb:programming_language
computer science
operating systems
software engineering
|
|
gptkbp:fullName
|
gptkb:Arie_Nicolaas_Habermann
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
A. N. Habermann
|
|
gptkbp:knownFor
|
gptkb:programming_language
operating systems
software engineering
|
|
gptkbp:nationality
|
gptkb:German
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:position
|
gptkb:professor
|
|
gptkbp:bfsParent
|
gptkb:BLISS_Reference_Manual
|
|
gptkbp:bfsLayer
|
8
|