Andrej Scedrov

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:birthYear	1951
gptkbp:doctoralAdvisor	gptkb:Andrzej_Mostowski
gptkbp:employer	gptkb:University_of_Pennsylvania
gptkbp:field	gptkb:mathematics computer science
gptkbp:nationality	Slovak
gptkbp:notableStudent	gptkb:Steve_Awodey gptkb:Anupam_Das
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:bfsParent	gptkb:Andrej_Bauer
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Andrej Scedrov