John C. Reynolds

American computer scientist (1935-2013)
Person human Q3719620
Press Enter · cited answer in seconds

John C. Reynolds

Summary

John C. Reynolds is a human[1]. His place of birth was United States[2]. He was born on +1935-06-01T00:00:00Z[3]. He passed away in United States[4]. He died on +2013-04-28T00:00:00Z[5]. He worked as a computer scientist[6] and engineer[7]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (31 views/month, #7,270 of 1,000,298).[8]

Key Facts

  • John C. Reynolds was born in United States[2].
  • John C. Reynolds died in United States[4].
  • John C. Reynolds was born on +1935-06-01T00:00:00Z[3].
  • John C. Reynolds died on +2013-04-28T00:00:00Z[5].
  • John C. Reynolds held citizenship in United States[9].
  • John C. Reynolds's professions included computer scientist[6].
  • John C. Reynolds worked as an engineer[7].
  • John C. Reynolds was employed by Imperial College London[10].
  • John C. Reynolds was employed by Queen Mary University of London[11].
  • Among John C. Reynolds's employers was Microsoft[12].
  • John C. Reynolds was employed by Syracuse University[13].
  • Among John C. Reynolds's employers was Carnegie Mellon University[14].
  • John C. Reynolds was educated at Harvard University[15].
  • John C. Reynolds was educated at Purdue University[16].
  • John C. Reynolds's doctoral advisor was Paul C. Martin[17].
  • John C. Reynolds's doctoral advisor was Kurt Gottfried[18].
  • John C. Reynolds received the Lovelace Medal[19].
  • John C. Reynolds received the Programming Languages Achievement Award[20].
  • John C. Reynolds received the ACM Fellow[21].
  • John C. Reynolds was a member of Association for Computing Machinery[22].
  • John C. Reynolds was a member of Academia Europaea[23].
  • John C. Reynolds's image is recorded as Reynolds John small.jpg[24].
  • John C. Reynolds is recorded as male[25].
  • John C. Reynolds's instance of is recorded as human[26].
  • John C. Reynolds supervised Benjamin C. Pierce as a doctoral student[27].

Body

Origins and Family

John C. Reynolds was born in United States[2]. He was born on +1935-06-01T00:00:00Z[3].

Education

Educated at Harvard University[15], a private university[28], in United States[29], founded in 1636[30], headquartered in Cambridge[31] and Purdue University[16], a public research university[32], in United States[33], founded in 1869[34]. Doctoral advisors include Paul C. Martin[17], a physicist[35], 1931–2016[36], of United States[37], awarded the Fellow of the American Physical Society[38], specialised in physics[39] and Kurt Gottfried[18], a physicist[40], 1929–2022[41], of United States[42], awarded the AAAS Award for Scientific Freedom and Responsibility[43], specialised in nuclear physics[44].

Career and Affiliations

Recorded occupations include computer scientist[6] and engineer[7]. Employers include Imperial College London[10], a public research university[45], in United Kingdom[46], founded in 1907[47], headquartered in South Kensington Campus, Imperial College London[48]; Queen Mary University of London[11], a public research university[49], in United Kingdom[50], founded in 1882[51], headquartered in London[52]; Microsoft[12], a software company[53], in United States[54], founded in 1975[55], headquartered in Redmond[56]; Syracuse University[13], a private university[57], in United States[58], founded in 1870[59]; and Carnegie Mellon University[14], a private university[60], in United States[61], founded in 1900[62], headquartered in Pittsburgh[63]. Doctoral students include Benjamin C. Pierce[27], a computer scientist[64], b. 1963[65], of United States[66], awarded the ACM Fellow[67]; Andrzej Olaf Filinski[68]; Neelakantan R. Krishnaswami[69]; and Frank J. Oles[70].

Recognition

Awards received include Lovelace Medal[19], a medallion[71], in United Kingdom[72], founded in 1998[73]; Programming Languages Achievement Award[20], a science award[74]; and ACM Fellow[21], a fellowship award[75].

Death and Burial

John C. Reynolds died on +2013-04-28T00:00:00Z[5]. He died in United States[4].

Why It Matters

John C. Reynolds ranks in the top 0.73% of human entities by monthly Wikipedia readership (31 views/month, #7,270 of 1,000,298).[8] He has Wikipedia articles in 5 language editions, a strong signal of global cultural recognition.[76] He is known by 5 alternative names across languages and contexts.[77]

He has been cited as an influence by Peter O'Hearn[78], a computer scientist[79], b. 1963[80], awarded the Fellow of the Royal Society[81], specialised in programming language[82].

He is credited with the discovery of System F[83], a lambda calculus[84].

His notable doctoral advisees include Benjamin C. Pierce[85], a computer scientist[86], b. 1963[87], of United States[88], awarded the ACM Fellow[89].

FAQs

Where was John C. Reynolds born?

Born in United States[2], John C. Reynolds…

Where did John C. Reynolds die?

John C. Reynolds died in United States[4].

What did John C. Reynolds do for work?

John C. Reynolds worked as computer scientist[6] and engineer[7].

Where did John C. Reynolds go to school?

John C. Reynolds was educated at Harvard University[15] and Purdue University[16].

What awards did John C. Reynolds receive?

Honors received include Lovelace Medal[19], Programming Languages Achievement Award[20], and ACM Fellow[21].

Who did John C. Reynolds influence?

John C. Reynolds has been cited as an influence by Peter O'Hearn[78].

What did John C. Reynolds discover?

John C. Reynolds is credited as discoverer of System F[83].

References

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

Direct Wikidata claims

  1. [24] . wikidata.org.
  2. [2] . wikidata.org.
  3. [4] . wikidata.org.
  4. [25] . wikidata.org.
  5. [9] . wikidata.org.
  6. [26] . wikidata.org.
  7. [15] . wikidata.org.
  8. [16] . wikidata.org.
  9. [6] . wikidata.org.
  10. [7] . wikidata.org.
  11. [10] . wikidata.org.
  12. [11] . wikidata.org.
  13. [12] . wikidata.org.
  14. [13] . wikidata.org.
  15. [14] . Retrieved . wikidata.org.
  16. [19] . bcs.org. bcs.org. Provenance: wikidata.org.
  17. [20] . wikidata.org.
  18. [21] . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  19. [17] . Mathematics Genealogy Project. wikidata.org.
  20. [18] . Mathematics Genealogy Project. wikidata.org.
  21. [27] . wikidata.org.
  22. [68] . Mathematics Genealogy Project. wikidata.org.
  23. [69] . Mathematics Genealogy Project. wikidata.org.
  24. [70] . Mathematics Genealogy Project. wikidata.org.
  25. [22] . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  26. [23] . www.ae-info.org. wikidata.org.
  27. [3] . wikidata.org.
  28. [5] . cacm.acm.org. cacm.acm.org. Provenance: wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [78] . wikidata.org. → on this site
  2. [83] . wikidata.org. → on this site
  3. [85] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [45] . Wikidata. wikidata.org. → on this site
  9. [46] . Wikidata. wikidata.org. → on this site
  10. [47] . Wikidata. wikidata.org. → on this site
  11. [48] . Wikidata. wikidata.org. → on this site
  12. [49] . Wikidata. wikidata.org. → on this site
  13. [50] . Wikidata. wikidata.org. → on this site
  14. [51] . Wikidata. wikidata.org. → on this site
  15. [52] . Wikidata. wikidata.org. → on this site
  16. [53] . Wikidata. wikidata.org. → on this site
  17. [54] . Wikidata. wikidata.org. → on this site
  18. [55] . Wikidata. wikidata.org. → on this site
  19. [56] . Wikidata. wikidata.org. → on this site
  20. [57] . Wikidata. wikidata.org. → on this site
  21. [58] . Wikidata. wikidata.org. → on this site
  22. [59] . Wikidata. wikidata.org. → on this site
  23. [60] . Wikidata. wikidata.org. → on this site
  24. [61] . Wikidata. wikidata.org. → on this site
  25. [62] . Wikidata. wikidata.org. → on this site
  26. [63] . Wikidata. wikidata.org. → on this site
  27. [71] . Wikidata. wikidata.org. → on this site
  28. [72] . Wikidata. wikidata.org. → on this site
  29. [73] . Wikidata. wikidata.org. → on this site
  30. [74] . Wikidata. wikidata.org. → on this site
  31. [75] . Wikidata. wikidata.org. → on this site
  32. [35] . Wikidata. wikidata.org. → on this site
  33. [36] . Wikidata. wikidata.org. → on this site
  34. [37] . Wikidata. wikidata.org. → on this site
  35. [38] . Wikidata. wikidata.org. → on this site
  36. [39] . Wikidata. wikidata.org. → on this site
  37. [40] . Wikidata. wikidata.org. → on this site
  38. [41] . Wikidata. wikidata.org. → on this site
  39. [42] . Wikidata. wikidata.org. → on this site
  40. [43] . Wikidata. wikidata.org. → on this site
  41. [44] . Wikidata. wikidata.org. → on this site
  42. [64] . Wikidata. wikidata.org. → on this site
  43. [65] . Wikidata. wikidata.org. → on this site
  44. [66] . Wikidata. wikidata.org. → on this site
  45. [67] . Wikidata. wikidata.org. → on this site
  46. [79] . Wikidata. wikidata.org. → on this site
  47. [80] . Wikidata. wikidata.org. → on this site
  48. [81] . Wikidata. wikidata.org. → on this site
  49. [82] . Wikidata. wikidata.org. → on this site
  50. [84] . Wikidata. wikidata.org. → on this site
  51. [86] . Wikidata. wikidata.org. → on this site
  52. [87] . Wikidata. wikidata.org. → on this site
  53. [88] . Wikidata. wikidata.org. → on this site
  54. [89] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

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

Canonical URL: https://4ort.xyz/entity/john-c-reynolds · 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. 4w ago · MariuszRokin · 2026-04-30 view diff on Wikidata ↗
    Viaf id
    Image Reynolds John small.jpg
    Given name
    Mathematics genealogy project id 50080
    + 79 other properties edited (see Wikidata diff for full list)
    "/* wbcreateclaim-create:1| */ [[Property:P3368]]: 362099, [[:toollabs:quickstatements/#/batch/257026|batch #257026]]"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.