Don Sannella

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_California,_Berkeley gptkb:University_of_Edinburgh
gptkbp:awardReceived	gptkb:Fellow_of_the_Royal_Society gptkb:Fellow_of_the_British_Computer_Society
gptkbp:doctoralAdvisor	gptkb:Robin_Milner
gptkbp:editor	gptkb:Theoretical_Computer_Science_(journal) gptkb:Science_of_Computer_Programming_(journal)
gptkbp:employer	gptkb:University_of_Edinburgh
gptkbp:field	gptkb:programming_language computer science formal methods algebraic specification
gptkbp:founded	gptkb:Contemplate_Ltd. gptkb:Formal_Methods_Europe
https://www.w3.org/2000/01/rdf-schema#label	Don Sannella
gptkbp:nationality	British
gptkbp:notableStudent	gptkb:Ian_Stark gptkb:Phil_Trinder
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	Professor of Computer Science
gptkbp:bfsParent	gptkb:Rod_Burstall
gptkbp:bfsLayer	7