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