GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Susan Owicki
URI:
https://gptkb.org/entity/Susan_Owicki
GPTKB entity
Statements (18)
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