David Pym

Professor of information, logic, and security
Person human Q102381643
Press Enter · cited answer in seconds

David Pym

Summary

David Pym is a human[1]. He worked as a computer scientist[2] and university teacher[3].

Key Facts

  • David Pym worked as a computer scientist[2].
  • David Pym's professions included university teacher[3].
  • David Pym was employed by University College London[4].
  • David Pym's education included a stint at University of Cambridge[5].
  • David Pym's education included a stint at University of Edinburgh[6].
  • David Pym's doctoral advisor was Gordon Plotkin[7].
  • David Pym's doctoral advisor was Furio Honsell[8].
  • David Pym was a member of UK Computing Research Committee[9].
  • David Pym is recorded as male[10].
  • David Pym's instance of is recorded as human[11].
  • David Pym supervised Jules Bean as a doctoral student[12].
  • David Pym's Mathematics Genealogy Project ID is recorded as 237819[13].
  • David Pym's family name is recorded as Pym[14].
  • David Pym's given name is recorded as David[15].
  • David Pym's official website is recorded as http://www0.cs.ucl.ac.uk/staff/D.Pym/[16].

Body

Education

Educated at University of Cambridge[5], a collegiate university[17], in United Kingdom[18], founded in 1209[19], headquartered in Cambridge[20] and University of Edinburgh[6], a public university[21], in United Kingdom[22], founded in 1583[23], headquartered in Edinburgh[24]. Doctoral advisors include Gordon Plotkin[7], a computer scientist[25], b. 1946[26], of United Kingdom[27], awarded the Fellow of the Royal Society[28], specialised in informatics[29] and Furio Honsell[8], a mathematician[30], b. 1958[31], of Italy[32], awarded the Commander of the Order of Merit of the Italian Republic[33].

Career and Affiliations

Recorded occupations include computer scientist[2] and university teacher[3]. Among David Pym's employers was University College London[4]. He supervised Jules Bean as a doctoral student[12].

FAQs

What did David Pym do for work?

David Pym worked as computer scientist[2] and university teacher[3].

Where did David Pym go to school?

David Pym was educated at University of Cambridge[5] and University of Edinburgh[6].

References

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

Direct Wikidata claims

  1. [10] . wikidata.org.
  2. [11] . wikidata.org.
  3. [5] . www0.cs.ucl.ac.uk. Retrieved . www0.cs.ucl.ac.uk. Provenance: wikidata.org.
  4. [6] . www0.cs.ucl.ac.uk. Retrieved . www0.cs.ucl.ac.uk. Provenance: wikidata.org.
  5. [2] . wikidata.org.
  6. [3] . wikidata.org.
  7. [4] . www0.cs.ucl.ac.uk. Retrieved . www0.cs.ucl.ac.uk. Provenance: wikidata.org.
  8. [7] . era.ed.ac.uk. Retrieved . era.ed.ac.uk. Provenance: wikidata.org.
  9. [8] . era.ed.ac.uk. Retrieved . era.ed.ac.uk. Provenance: wikidata.org.
  10. [12] . Mathematics Genealogy Project. wikidata.org.
  11. [9] . theiet.org. theiet.org. Provenance: wikidata.org.
  12. [13] . wikidata.org.
  13. [14] . wikidata.org.
  14. [15] . wikidata.org.
  15. [16] . wikidata.org.

Inline context (facts about related entities)

  1. [17] . Wikidata. wikidata.org. → on this site
  2. [18] . Wikidata. wikidata.org. → on this site
  3. [19] . Wikidata. wikidata.org. → on this site
  4. [20] . Wikidata. wikidata.org. → on this site
  5. [21] . Wikidata. wikidata.org. → on this site
  6. [22] . Wikidata. wikidata.org. → on this site
  7. [23] . Wikidata. wikidata.org. → on this site
  8. [24] . Wikidata. wikidata.org. → on this site
  9. [25] . Wikidata. wikidata.org. → on this site
  10. [26] . Wikidata. wikidata.org. → on this site
  11. [27] . Wikidata. wikidata.org. → on this site
  12. [28] . Wikidata. wikidata.org. → on this site
  13. [29] . Wikidata. wikidata.org. → on this site
  14. [30] . Wikidata. wikidata.org. → on this site
  15. [31] . Wikidata. wikidata.org. → on this site
  16. [32] . Wikidata. wikidata.org. → on this site
  17. [33] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. 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). David Pym. Retrieved March 9, 2026, from https://4ort.xyz/entity/david-pym
MLA “David Pym.” 4ort.xyz Knowledge Graph, 4ort.xyz, 9 Mar. 2026, https://4ort.xyz/entity/david-pym.
BibTeX @misc{4ortxyz_david-pym_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{David Pym}}, year = {2026}, url = {https://4ort.xyz/entity/david-pym}, note = {Accessed: 2026-03-09}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): David Pym — https://4ort.xyz/entity/david-pym (retrieved 2026-03-09)

Canonical URL: https://4ort.xyz/entity/david-pym · Last refreshed: