Leonid Libkin

American computer scientist
Person human Q18720100
Press Enter · cited answer in seconds

Leonid Libkin

Summary

Leonid Libkin is a human[1]. He was born on January 1, 1965[2]. He worked as a computer scientist[3] and logician[4]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (4 views/month, #7,300 of 1,000,298).[5]

Key Facts

  • Leonid Libkin was born on January 1, 1965[2].
  • Leonid Libkin held citizenship in United States[6].
  • Leonid Libkin's professions included computer scientist[3].
  • Leonid Libkin worked as a logician[4].
  • Among Leonid Libkin's employers was University of Edinburgh[7].
  • Leonid Libkin was educated at University of Pennsylvania[8].
  • Leonid Libkin's doctoral advisor was Peter Buneman[9].
  • Leonid Libkin received the ACM Fellow[10].
  • Leonid Libkin received the Q140371442[11].
  • Leonid Libkin received the Q140371442[12].
  • Leonid Libkin was a member of Association for Computing Machinery[13].
  • Leonid Libkin was a member of Academia Europaea[14].
  • Leonid Libkin was a member of UK Computing Research Committee[15].
  • Leonid Libkin was a member of SIGLOG[16].
  • Leonid Libkin is recorded as male[17].
  • Leonid Libkin's instance of is recorded as human[18].
  • Leonid Libkin supervised Marcelo Arenas as a doctoral student[19].
  • Leonid Libkin supervised Pablo Barcelo as a doctoral student[20].
  • Leonid Libkin supervised Solmaz Kolahi as a doctoral student[21].
  • Leonid Libkin supervised Shunichi Amano as a doctoral student[22].
  • Leonid Libkin supervised Anthony Widjaja Lin (To) as a doctoral student[23].
  • Leonid Libkin supervised Juan Reutter as a doctoral student[24].
  • Leonid Libkin supervised Domagoj Vrgoc as a doctoral student[25].
  • Leonid Libkin's given name is recorded as Leonid[26].
  • Leonid Libkin's official website is recorded as http://homepages.inf.ed.ac.uk/libkin/[27].

Body

Origins and Family

Leonid Libkin was born on January 1, 1965[2].

Education

Leonid Libkin was educated at University of Pennsylvania[8]. His doctoral advisor was Peter Buneman[9].

Career and Affiliations

Recorded occupations include computer scientist[3] and logician[4]. Among Leonid Libkin's employers was University of Edinburgh[7]. Doctoral students include Marcelo Arenas[19], a university teacher[28], awarded the ACM Distinguished Member[29]; Pablo Barcelo[20], a computer scientist[30], specialised in computer science[31]; Solmaz Kolahi[21]; Shunichi Amano[22]; Anthony Widjaja Lin (To)[23]; and Juan Reutter[24].

Recognition

Awards received include ACM Fellow[10], a fellowship award[32], in United States[33] and Q140371442[11].

Why It Matters

Leonid Libkin ranks in the top 0.73% of human entities by monthly Wikipedia readership (4 views/month, #7,300 of 1,000,298).[5]

FAQs

What did Leonid Libkin do for work?

Leonid Libkin worked as computer scientist[3] and logician[4].

Where did Leonid Libkin go to school?

Leonid Libkin was educated at University of Pennsylvania[8].

What awards did Leonid Libkin receive?

Honors received include ACM Fellow[10], Q140371442[11], and Q140371442[12].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [17] ↑ . wikidata.org.
  2. [6] ↑ . wikidata.org.
  3. [18] ↑ . wikidata.org.
  4. [8] ↑ . wikidata.org.
  5. [3] ↑ . wikidata.org.
  6. [4] ↑ . wikidata.org.
  7. [7] ↑ . wikidata.org.
  8. [10] ↑ . wikidata.org.
  9. [11] ↑ . wikidata.org.
  10. [12] ↑ . wikidata.org.
  11. [9] ↑ . wikidata.org.
  12. [19] ↑ . wikidata.org.
  13. [20] ↑ . wikidata.org.
  14. [21] ↑ . wikidata.org.
  15. [22] ↑ . wikidata.org.
  16. [23] ↑ . wikidata.org.
  17. [24] ↑ . wikidata.org.
  18. [25] ↑ . wikidata.org.
  19. [13] ↑ . wikidata.org.
  20. [14] ↑ . wikidata.org.
  21. [15] ↑ . wikidata.org.
  22. [16] ↑ . wikidata.org.
  23. [2] ↑ . wikidata.org.
  24. [26] ↑ . wikidata.org.
  25. [27] ↑ . wikidata.org.

Inline context (facts about related entities)

  1. [32] ↑ . Wikidata. wikidata.org. → on this site
  2. [33] ↑ . Wikidata. wikidata.org. → on this site
  3. [28] ↑ . Wikidata. wikidata.org. → on this site
  4. [29] ↑ . Wikidata. wikidata.org. → on this site
  5. [30] ↑ . Wikidata. wikidata.org. → on this site
  6. [31] ↑ . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [5] ↑ . Wikimedia Foundation. dumps.wikimedia.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Leonid Libkin. Retrieved October 2, 2026, from https://4ort.xyz/entity/leonid-libkin
MLA “Leonid Libkin.” 4ort.xyz Knowledge Graph, 4ort.xyz, 2 Oct. 2026, https://4ort.xyz/entity/leonid-libkin.
BibTeX @misc{4ortxyz_leonid-libkin_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Leonid Libkin}}, year = {2026}, url = {https://4ort.xyz/entity/leonid-libkin}, note = {Accessed: 2026-10-02}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Leonid Libkin — https://4ort.xyz/entity/leonid-libkin (retrieved 2026-10-02)

Canonical URL: https://4ort.xyz/entity/leonid-libkin · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 27d ago · LeoDog896 · 2026-09-08 view diff on Wikidata ↗
    Acm digital library author id → 81548005674, 81100307839
    Zbmath author id → libkin.leonid-o
    Ieee xplore author id → —
    Mathematics genealogy project id → 81522
    "/* wbsetreference-add:2| */ [[Property:P549]]: 81522, [[:toollabs:quickstatements/#/batch/271771|batch #271771]]"
  2. 4w ago · LeoDog896 · 2026-09-02 view diff on Wikidata ↗
    Ieee xplore author id → —
    Zbmath author id → libkin.leonid-o
    Mathematics genealogy project id → 81522
    Acm digital library author id → 81548005674, 81100307839
    "/* wbcreateclaim-create:1| */ [[Property:P549]]: 69523, [[:toollabs:quickstatements/#/batch/270194|batch #270194]]"
  3. 4w ago · LeoDog896 · 2026-08-31 view diff on Wikidata ↗
    Official website → http://homepages.inf.ed.ac.uk/libkin/
    "/* wbcreateclaim-create:1| */ [[Property:P856]]: http://homepages.inf.ed.ac.uk/libkin/, [[:toollabs:quickstatements/#/batch/269916|batch #269916]]"
  4. 11w ago · KrBot bot · 2026-07-18 view diff on Wikidata ↗
    Doctoral student → Marcelo Arenas, Pablo Barcelo, Solmaz Kolahi +4
    "/* wbsetclaimvalue:1| */ [[Property:P185]]: [[Q93947018]], разрешение перенаправления / resolving redirect [[Q102305103]] → [[Q93947018]] ([[:toollabs:editgroups/b/KrBotResolvingRedirect/Q102305103_Q9"
  5. 14w ago · IntensionalLogician · 2026-06-28 view diff on Wikidata ↗
    Award received → ACM Fellow, Q140371442, Q140371442
    "/* wbeditentity-statements-multiple-properties-update:0||2 */ Add Alonzo Church Award for people and papers ([[:toollabs:editgroups/b/OR/d3b86f9f3e8|details]])"
  6. 14w ago · IntensionalLogician · 2026-06-28 view diff on Wikidata ↗
    Occupation → computer scientist, logician
    Member of → Association for Computing Machinery, Academia Europaea, UK Computing Research Committee +1
    "/* wbeditentity-statements-multiple-properties-add:0||2 */ Add ACM SIGLOG membership statements based on presence on the SIGLOG people page ([[:toollabs:editgroups/b/OR/9b4c0047173|details]])"
  7. 19w ago · Epìdosis · 2026-05-19 view diff on Wikidata ↗
    Gnd id → —
    National library of israel j9u id → 987007447711105171
    Educated at → University of Pennsylvania
    Ddb person (gnd) id → —
    + 70 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32074|batch #32074]]: import P21 and P106 from GND (21)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.