Andrej Scedrov

URI: https://gptkb.org/entity/Andrej_Scedrov
GPTKB entity
Statements (14)
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
https://www.w3.org/2000/01/rdf-schema#label Andrej Scedrov
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 6