Lincoln Wallen

British-American computer scientist and CTO
Person human Q21463773
Press Enter · cited answer in seconds

Lincoln Wallen

Summary

Lincoln Wallen is a human[1]. He worked as a computer scientist[2]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (6 views/month, #7,297 of 1,000,298).[3]

Key Facts

  • Lincoln Wallen's professions included computer scientist[2].
  • Lincoln Wallen's education included a stint at University of Edinburgh[4].
  • Lincoln Wallen's doctoral advisor was Alan Bundy[5].
  • Lincoln Wallen is recorded as male[6].
  • Lincoln Wallen's instance of is recorded as human[7].
  • Lincoln Wallen supervised Katherine Eastaughffe as a doctoral student[8].
  • Lincoln Wallen supervised Alexis Richardson as a doctoral student[9].
  • Lincoln Wallen supervised Ralph Loader as a doctoral student[10].
  • Lincoln Wallen's ISNI is recorded as 0000000116235873[11].
  • Lincoln Wallen's VIAF cluster ID is recorded as 38472823[12].
  • Lincoln Wallen's Library of Congress authority ID is recorded as n88179199[13].
  • Lincoln Wallen's Mathematics Genealogy Project ID is recorded as 167897[14].
  • Lincoln Wallen's family name is recorded as Wallen[15].
  • Lincoln Wallen's given name is recorded as Lincoln[16].
  • Lincoln Wallen's Nationale Thesaurus voor Auteursnamen ID is recorded as 075203901[17].
  • Lincoln Wallen's academic thesis is recorded as Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics[18].
  • Lincoln Wallen's NUKAT ID is recorded as n2010085008[19].
  • Lincoln Wallen's zbMATH author ID is recorded as wallen.lincoln-a[20].
  • Lincoln Wallen's Google Knowledge Graph ID is recorded as /g/11bwfj0vcd[21].
  • Lincoln Wallen's MR Author ID is recorded as 180235[22].
  • Lincoln Wallen's maintained by WikiProject is recorded as WikiProject Mathematics[23].
  • Lincoln Wallen's National Library of Israel J9U ID is recorded as 987007427427905171[24].
  • Lincoln Wallen's WorldCat Entities ID is recorded as E39PBJrwQKGfYYQBv4kFTG8DMP[25].
  • Lincoln Wallen's Yale LUX ID is recorded as person/08b048e0-2be1-434a-b9f1-434ef147e745[26].

Body

Education

Lincoln Wallen's education included a stint at University of Edinburgh[4]. His doctoral advisor was Alan Bundy[5].

Career and Affiliations

Lincoln Wallen's professions included computer scientist[2]. Doctoral students include Katherine Eastaughffe[8], Alexis Richardson[9], and Ralph Loader[10].

Why It Matters

Lincoln Wallen ranks in the top 0.73% of human entities by monthly Wikipedia readership (6 views/month, #7,297 of 1,000,298).[3]

FAQs

What did Lincoln Wallen do for work?

Lincoln Wallen worked as computer scientist[2].

Where did Lincoln Wallen go to school?

Lincoln Wallen was educated at University of Edinburgh[4].

References

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

Direct Wikidata claims

  1. [6] . wikidata.org.
  2. [7] . wikidata.org.
  3. [4] . wikidata.org.
  4. [2] . wikidata.org.
  5. [5] . wikidata.org.
  6. [8] . Mathematics Genealogy Project. wikidata.org.
  7. [9] . Mathematics Genealogy Project. wikidata.org.
  8. [10] . Mathematics Genealogy Project. wikidata.org.
  9. [11] . wikidata.org.
  10. [12] . wikidata.org.
  11. [13] . wikidata.org.
  12. [14] . wikidata.org.
  13. [15] . wikidata.org.
  14. [16] . wikidata.org.
  15. [17] . Virtual International Authority File. Retrieved . wikidata.org.
  16. [18] . E-Theses Online Service. Retrieved . ethos.bl.uk. Provenance: wikidata.org.
  17. [19] . wikidata.org.
  18. [20] . wikidata.org.
  19. [21] . wikidata.org.
  20. [22] . wikidata.org.
  21. [23] . wikidata.org.
  22. [24] . wikidata.org.
  23. [25] . Retrieved . wikidata.org.
  24. [26] . wikidata.org.

Class ancestry

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

Aggregate / graph-position facts

  1. [3] . 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). Lincoln Wallen. Retrieved March 11, 2026, from https://4ort.xyz/entity/lincoln-wallen
MLA “Lincoln Wallen.” 4ort.xyz Knowledge Graph, 4ort.xyz, 11 Mar. 2026, https://4ort.xyz/entity/lincoln-wallen.
BibTeX @misc{4ortxyz_lincoln-wallen_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Lincoln Wallen}}, year = {2026}, url = {https://4ort.xyz/entity/lincoln-wallen}, note = {Accessed: 2026-03-11}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Lincoln Wallen — https://4ort.xyz/entity/lincoln-wallen (retrieved 2026-03-11)

Canonical URL: https://4ort.xyz/entity/lincoln-wallen · Last refreshed: