# John Tromp

> Dutch computer scientist

**Wikidata**: [Q47004014](https://www.wikidata.org/wiki/Q47004014)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/John_Tromp)  
**Source**: https://4ort.xyz/entity/john-tromp

## Summary
John Tromp is a Dutch computer scientist and researcher known for his work on binary combinatory logic. He earned a Doctor of Philosophy degree, was advised by Paul Vitanyi, and has been affiliated with the University of Amsterdam and the research institute Centrum Wiskunde & Informatica (CWI).

## Biography
- Born: 1966-05-13, Alkmaar
- Nationality: Kingdom of the Netherlands
- Education: Doctor of Philosophy, University of Amsterdam
- Known for: binary combinatory logic
- Employer(s): Centrum Wiskunde & Informatica (1989–2006)
- Field(s): computer science; theoretical computer science (combinatory logic)

## Contributions
John Tromp is primarily known for work on binary combinatory logic, which is listed as his notable work. His doctoral research was completed under the supervision of Paul Vitanyi; a copy of his thesis is available online (tromp.github.io/thesis.pdf). Tromp worked at the research institute Centrum Wiskunde & Informatica from 1989 until 2006, a period during which he produced research outputs associated with theoretical computer science. He maintains an online presence that includes a personal website (https://tromp.github.io/), a GitHub account (username: tromp), and identifiers in multiple bibliographic and scholarly databases (ISNI 0000000391726810; VIAF 285605406; MR author id 345392; dblp author id 46/86; Mathematics Genealogy Project id 66084). These public resources host or point to his thesis and other materials, enabling access to his formal academic contributions. Tromp’s profiles on platforms such as Stack Exchange (user id 1815475) and Medium (username john-tromp) further document technical commentary and engagement with computing communities.

## FAQs
### Q: Who is John Tromp?
A: John Tromp is a Dutch computer scientist and researcher, holder of a Doctor of Philosophy degree from the University of Amsterdam, known for work on binary combinatory logic.

### Q: Where did John Tromp work?
A: He was employed at Centrum Wiskunde & Informatica (CWI) from 1989 until 2006. He was educated at the University of Amsterdam.

### Q: What is John Tromp best known for?
A: He is best known for his notable work on binary combinatory logic, cited as his primary contribution in bibliographic records.

### Q: How can I find Tromp’s work online?
A: Tromp’s personal website (https://tromp.github.io/) hosts his thesis and links to other materials; he also has a GitHub account under the username "tromp."

## Why They Matter
John Tromp’s work is significant within theoretical computer science because it focuses attention on combinatory logic expressed in a binary form, a topic that sits at the intersection of logic, computability, and the foundations of computation. His doctoral research, supervised by Paul Vitanyi, provided a formal contribution preserved in his thesis and related scholarly identifiers, making it discoverable and citable by other researchers. Employment at CWI — a major Dutch research institute — placed him within an environment that supports theoretical and mathematical computer science, facilitating collaborations and dissemination. Tromp’s online and bibliographic presence (ISNI, VIAF, MR author id, dblp) ensures that his outputs are accessible to researchers and practitioners. Without accessible artifacts such as his thesis and curated online profiles, peers and later researchers would have reduced ability to trace, build on, or reference his specific formulations and results in binary combinatory logic; his recorded contributions therefore help sustain scholarly continuity in this area of theoretical work.

## Notable For
- Notable work: binary combinatory logic (listed as his primary notable work).
- Academic degree: Doctor of Philosophy; doctoral advisor Paul Vitanyi.
- Employment: Researcher at Centrum Wiskunde & Informatica (1989–2006).
- Online and scholarly presence: personal website (tromp.github.io), GitHub username "tromp", and multiple bibliographic identifiers (ISNI, VIAF, MR author id, dblp).
- Membership in academic registries: listed in the Mathematics Genealogy Project (id 66084).

## Body

### Personal and identity data
- Full name: John Tromp (also recorded as Johannes (John) Theodorus Tromp).
- Given names: John, Johannes.
- Family name: Tromp.
- Sex/gender: male.
- Native language: Dutch.
- Languages spoken/written: Dutch, English.
- Citizenship: Kingdom of the Netherlands.
- Birth: 1966-05-13, Alkmaar.

### Education and academic lineage
- Educated at: University of Amsterdam.
- Academic degree: Doctor of Philosophy.
- Doctoral advisor: Paul Vitanyi (Dutch theoretical computer scientist).
- Thesis: A doctoral thesis is available online at https://tromp.github.io/thesis.pdf (cited in his bibliographic records).

### Career and affiliations
- Employer: Centrum Wiskunde & Informatica (CWI), start_time 1989, end_time 2006.
- Affiliated institutions: University of Amsterdam (education), CWI (research employment).
- Field of work: computer science, with emphasis on theoretical areas such as combinatory logic (indicated by notable_work).

### Publications and works
- Notable work: binary combinatory logic (listed as his primary contribution in structured records).
- Thesis: available via his personal website; used as a reference for his doctoral degree and advisor linkage.

### Online presence and identifiers
- Website: https://tromp.github.io/
- GitHub username: tromp
- Medium username: john-tromp
- Stack Exchange user id: 1815475
- LinkedIn personal profile id: john-tromp-b1601b8
- Bibliographic identifiers: ISNI 0000000391726810; VIAF 285605406; MR author id 345392; dblp author id 46/86; Mathematics Genealogy Project id 66084; ACM Digital Library author id 81341497452.
- Wikipedia title: John Tromp (English).

### Miscellaneous
- Chess Programming Wiki id: John_Tromp (identifier present in records).
- Google Knowledge Graph id: /g/11gf96_58m.
- Nationale Thesaurus voor Auteursnamen id: 074580353.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "John Tromp",
  "jobTitle": "Computer scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "Centrum Wiskunde & Informatica"
  },
  "nationality": {
    "@type": "Country",
    "name": "Kingdom of the Netherlands"
  },
  "birthDate": "1966-05-13",
  "birthPlace": "Alkmaar, Netherlands",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Amsterdam"
    }
  ],
  "knowsAbout": [
    "Computer science",
    "Combinatory logic"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/John_Tromp",
    "https://tromp.github.io/"
  ],
  "description": "Dutch computer scientist known for work on binary combinatory logic."
}

## References

1. [Source](https://tromp.github.io/thesis.pdf)
2. Mathematics Genealogy Project
3. LinkedIn