Ian Stark

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Cambridge gptkb:University_of_Edinburgh
gptkbp:birthYear	1969
gptkbp:doctoralAdvisor	gptkb:Robin_Milner
gptkbp:employer	gptkb:University_of_Edinburgh
gptkbp:field	gptkb:mathematics computer science
gptkbp:knownFor	gptkb:theoretical_computer_science formal methods
gptkbp:nationality	British
gptkbp:notableStudent	gptkb:James_Cheney
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:bfsParent	gptkb:Don_Sannella
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	Ian Stark