Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:person
|
gptkbp:almaMater |
gptkb:University_of_Pennsylvania
|
gptkbp:awardReceived |
gptkb:Fellow_of_the_Royal_Society
Fellow of the ACM |
gptkbp:birthYear |
1965
|
gptkbp:doctoralAdvisor |
gptkb:Val_Tannen
|
gptkbp:employer |
gptkb:University_of_Edinburgh
|
gptkbp:field |
theoretical computer science
database theory |
https://www.w3.org/2000/01/rdf-schema#label |
Leonid Libkin
|
gptkbp:memberOf |
gptkb:ACM
gptkb:Royal_Society_of_Edinburgh |
gptkbp:nationality |
gptkb:Russian
British |
gptkbp:notableWork |
Elements of Finite Model Theory
Foundations of Data Exchange |
gptkbp:occupation |
gptkb:computer_scientist
|
gptkbp:officeLocation |
gptkb:School_of_Informatics,_University_of_Edinburgh
|
gptkbp:position |
Professor of Foundations of Data Management
|
gptkbp:bfsParent |
gptkb:Finite_Model_Theory_by_Libkin
|
gptkbp:bfsLayer |
6
|