GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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