John Tromp

Dutch computer scientist
Person human Q47004014
Press Enter · cited answer in seconds

John Tromp

Summary

John Tromp is a human[1]. His place of birth was Alkmaar[2]. He was born on +1966-05-13T00:00:00Z[3]. He worked as a computer scientist[4] and researcher[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (15 views/month, #7,287 of 1,000,298).[6]

Key Facts

  • John Tromp was born in Alkmaar[2].
  • John Tromp was born on +1966-05-13T00:00:00Z[3].
  • John Tromp held citizenship in Kingdom of the Netherlands[7].
  • Dutch was John Tromp's native language[8].
  • John Tromp's professions included computer scientist[4].
  • John Tromp worked as a researcher[5].
  • John Tromp's education included a stint at University of Amsterdam[9].
  • John Tromp's doctoral advisor was Paul Vitanyi[10].
  • A notable work attributed to John Tromp is binary combinatory logic[11].
  • John Tromp is recorded as male[12].
  • John Tromp's instance of is recorded as human[13].
  • John Tromp's ISNI is recorded as 0000000391726810[14].
  • John Tromp's VIAF cluster ID is recorded as 285605406[15].
  • John Tromp's ORCID iD is recorded as 0000-0002-1062-8710[16].
  • John Tromp earned the academic degree of Doctor of Philosophy[17].
  • John Tromp's Mathematics Genealogy Project ID is recorded as 66084[18].
  • John Tromp's family name is recorded as Tromp[19].
  • John Tromp's given name is recorded as John[20].
  • John Tromp's given name is recorded as Johannes[21].
  • John Tromp's official website is recorded as https://tromp.github.io/[22].
  • John Tromp's ACM Digital Library author ID is recorded as 81341497452[23].
  • John Tromp's Nationale Thesaurus voor Auteursnamen ID is recorded as 074580353[24].
  • John Tromp's languages spoken, written or signed is recorded as English[25].
  • John Tromp's languages spoken, written or signed is recorded as Dutch[26].
  • John Tromp's name in native language is recorded as {'lang': 'nl', 'text': 'John Tromp'}[27].

Body

Origins and Family

Born in Alkmaar[2], John Tromp… he was born on +1966-05-13T00:00:00Z[3]. Dutch was his native language[8].

Education

John Tromp was educated at University of Amsterdam[9]. His doctoral advisor was Paul Vitanyi[10]. He earned the academic degree of Doctor of Philosophy[17].

Career and Affiliations

Recorded occupations include computer scientist[4] and researcher[5].

Works and Contributions

A notable work attributed to John Tromp is binary combinatory logic[11].

Why It Matters

John Tromp ranks in the top 0.73% of human entities by monthly Wikipedia readership (15 views/month, #7,287 of 1,000,298).[6] He is known by 6 alternative names across languages and contexts.[28]

FAQs

Where was John Tromp born?

John Tromp's place of birth was Alkmaar[2].

What did John Tromp do for work?

John Tromp worked as computer scientist[4] and researcher[5].

Where did John Tromp go to school?

John Tromp was educated at University of Amsterdam[9].

References

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

Direct Wikidata claims

  1. [2] . tromp.github.io. Retrieved . tromp.github.io. Provenance: wikidata.org.
  2. [12] . wikidata.org.
  3. [7] . wikidata.org.
  4. [13] . wikidata.org.
  5. [9] . Mathematics Genealogy Project. wikidata.org.
  6. [8] . wikidata.org.
  7. [4] . wikidata.org.
  8. [5] . wikidata.org.
  9. [10] . Mathematics Genealogy Project. Retrieved . tromp.github.io. Provenance: wikidata.org.
  10. [14] . wikidata.org.
  11. [15] . wikidata.org.
  12. [16] . wikidata.org.
  13. [17] . wikidata.org.
  14. [18] . wikidata.org.
  15. [3] . tromp.github.io. Retrieved . tromp.github.io. Provenance: wikidata.org.
  16. [19] . wikidata.org.
  17. [20] . wikidata.org.
  18. [21] . wikidata.org.
  19. [11] . wikidata.org.
  20. [22] . wikidata.org.
  21. [23] . wikidata.org.
  22. [24] . wikidata.org.
  23. [25] . wikidata.org.
  24. [26] . wikidata.org.
  25. [27] . wikidata.org.

Class ancestry

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

Aggregate / graph-position facts

  1. [6] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [28] . Wikidata aliases. wikidata.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). John Tromp. Retrieved March 9, 2026, from https://4ort.xyz/entity/john-tromp
MLA “John Tromp.” 4ort.xyz Knowledge Graph, 4ort.xyz, 9 Mar. 2026, https://4ort.xyz/entity/john-tromp.
BibTeX @misc{4ortxyz_john-tromp_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{John Tromp}}, year = {2026}, url = {https://4ort.xyz/entity/john-tromp}, note = {Accessed: 2026-03-09}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): John Tromp — https://4ort.xyz/entity/john-tromp (retrieved 2026-03-09)

Canonical URL: https://4ort.xyz/entity/john-tromp · Last refreshed: