Susan Owicki

URI: https://gptkb.org/entity/Susan_Owicki

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:computer_scientist
gptkbp:almaMater	gptkb:Cornell_University
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:ACM_SIGOPS_Hall_of_Fame_Award
gptkbp:doctoralAdvisor	gptkb:David_Gries
gptkbp:field	computer science formal methods concurrent programming
gptkbp:gender	female
https://www.w3.org/2000/01/rdf-schema#label	Susan Owicki
gptkbp:knownFor	gptkb:Owicki-Gries_method
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Axiomatic_Proof_Techniques_for_Parallel_Programs
gptkbp:workInstitution	gptkb:Digital_Equipment_Corporation gptkb:Stanford_University gptkb:DEC_Systems_Research_Center
gptkbp:bfsParent	gptkb:DEC_Systems_Research_Center
gptkbp:bfsLayer	6