Michael Spivey

URI: https://gptkb.org/entity/Michael_Spivey
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:education gptkb:University_of_Cambridge
gptkbp:employer gptkb:University_of_Oxford
gptkbp:field gptkb:programming_language
computer science
formal methods
https://www.w3.org/2000/01/rdf-schema#label Michael Spivey
gptkbp:knownFor gptkb:Z_notation
gptkbp:nationality British
gptkbp:notableWork gptkb:The_Z_Notation:_A_Reference_Manual
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:bfsParent gptkb:Somerville_College_Fellows
gptkbp:bfsLayer 5