Rod Downey

Australian mathematician
Person human Q7356180
Press Enter · cited answer in seconds

Summary

Rod Downey is a human[1]. He was born on September 20, 1957[2]. He worked as a mathematician[3], computer scientist[4], and logician[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (68 views/month, #7,297 of 1,000,298).[6]

Key Facts

  • Rod Downey was born on September 20, 1957[2].
  • Rod Downey held citizenship in New Zealand[7].
  • Rod Downey held citizenship in Australia[8].
  • Rod Downey worked as a mathematician[3].
  • Rod Downey worked as a computer scientist[4].
  • Rod Downey worked as a logician[5].
  • Rod Downey's field of work was mathematical logic[9].
  • Among Rod Downey's employers was Victoria University of Wellington[10].
  • Rod Downey was employed by Australian National University[11].
  • Rod Downey's education included a stint at University of Queensland[12].
  • Rod Downey was educated at Monash University[13].
  • Rod Downey's doctoral advisor was John Crossley[14].
  • A notable student of Rod Downey was Q140995218[15].
  • A notable work attributed to Rod Downey is Algorithmic Randomness and Complexity[16].
  • A notable work attributed to Rod Downey is Q140384379[17].
  • Rod Downey received the Hector Medal[18].
  • Rod Downey received the Nerode Prize[19].
  • Rod Downey received the ACM Fellow[20].
  • Rod Downey received the Fellow of the Royal Society Te Apārangi[21].
  • Rod Downey received the Fellow of the American Mathematical Society[22].
  • Rod Downey received the Fellow of the New Zealand Mathematical Society[23].
  • Rod Downey was a member of American Mathematical Society[24].
  • Rod Downey was a member of Association for Computing Machinery[25].
  • Rod Downey was a member of Association for Symbolic Logic[26].
  • Rod Downey is recorded as male[27].

Body

Origins and Family

Rod Downey was born on September 20, 1957[2].

Education

Educated at University of Queensland[12], a public university[28], in Australia[29], founded in 1909[30] and Monash University[13], a public university[31], in Australia[32], founded in 1958[33]. Rod Downey's doctoral advisor was John Crossley[14].

Career and Affiliations

Recorded occupations include mathematician[3], computer scientist[4], and logician[5]. Rod Downey's field of work was mathematical logic[9]. Employers include Victoria University of Wellington[10], a public university[34], in New Zealand[35], founded in 1897[36], headquartered in Wellington[37] and Australian National University[11], a public university[38], in Australia[39], founded in 1946[40], headquartered in Canberra[41]. A notable student of him was Q140995218[15]. Doctoral students include Guohua Wu[42]; Catherine McCartin[43], a mathematician[44]; Keng Meng (Selwyn) Ng[45]; Adam Richard Day[46]; Michael McInerney[47]; and Andrew Probert[48], a data scientist[49].

Works and Contributions

Notable works include Algorithmic Randomness and Complexity[16] and Q140384379[17].

Recognition

Awards received include Hector Medal[18], a science award[50], in New Zealand[51]; Nerode Prize[19], an award[52]; ACM Fellow[20], a fellowship award[53], in United States[54]; Fellow of the Royal Society Te Apārangi[21]; Fellow of the American Mathematical Society[22], a fellowship award[55]; and Fellow of the New Zealand Mathematical Society[23].

Why It Matters

Rod Downey ranks in the top 0.73% of human entities by monthly Wikipedia readership (68 views/month, #7,297 of 1,000,298).[6] He has Wikipedia articles in 5 language editions, a strong signal of global cultural recognition.[56] He is known by 9 alternative names across languages and contexts.[57]

FAQs

What did Rod Downey do for work?

Rod Downey worked as mathematician[3], computer scientist[4], and logician[5].

Where did Rod Downey go to school?

Rod Downey was educated at University of Queensland[12] and Monash University[13].

What awards did Rod Downey receive?

Honors received include Hector Medal[18], Nerode Prize[19], ACM Fellow[20], and Fellow of the Royal Society Te Apārangi[21].

References

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

Direct Wikidata claims

  1. [27] ↑ . wikidata.org.
  2. [7] ↑ . wikidata.org.
  3. [8] ↑ . wikidata.org.
  4. [12] ↑ . wikidata.org.
  5. [13] ↑ . wikidata.org.
  6. [9] ↑ . wikidata.org.
  7. [3] ↑ . wikidata.org.
  8. [4] ↑ . wikidata.org.
  9. [5] ↑ . wikidata.org.
  10. [10] ↑ . wikidata.org.
  11. [11] ↑ . wikidata.org.
  12. [18] ↑ . wikidata.org.
  13. [19] ↑ . wikidata.org.
  14. [20] ↑ . wikidata.org.
  15. [21] ↑ . wikidata.org.
  16. [22] ↑ . wikidata.org.
  17. [23] ↑ . wikidata.org.
  18. [14] ↑ . wikidata.org.
  19. [42] ↑ . wikidata.org.
  20. [43] ↑ . wikidata.org.
  21. [45] ↑ . wikidata.org.
  22. [46] ↑ . wikidata.org.
  23. [47] ↑ . wikidata.org.
  24. [48] ↑ . wikidata.org.
  25. [24] ↑ . wikidata.org.
  26. [25] ↑ . wikidata.org.
  27. [26] ↑ . wikidata.org.
  28. [2] ↑ . wikidata.org.
  29. [16] ↑ . wikidata.org.
  30. [17] ↑ . wikidata.org.
  31. [15] ↑ . wikidata.org.

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. [35] ↑ . Wikidata. wikidata.org. → on this site
  9. [36] ↑ . Wikidata. wikidata.org. → on this site
  10. [37] ↑ . Wikidata. wikidata.org. → on this site
  11. [38] ↑ . Wikidata. wikidata.org. → on this site
  12. [39] ↑ . Wikidata. wikidata.org. → on this site
  13. [40] ↑ . Wikidata. wikidata.org. → on this site
  14. [41] ↑ . Wikidata. wikidata.org. → on this site
  15. [50] ↑ . Wikidata. wikidata.org. → on this site
  16. [51] ↑ . Wikidata. wikidata.org. → on this site
  17. [52] ↑ . Wikidata. wikidata.org. → on this site
  18. [53] ↑ . Wikidata. wikidata.org. → on this site
  19. [54] ↑ . Wikidata. wikidata.org. → on this site
  20. [55] ↑ . Wikidata. wikidata.org. → on this site
  21. [44] ↑ . Wikidata. wikidata.org. → on this site
  22. [49] ↑ . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [6] ↑ . Wikimedia Foundation. dumps.wikimedia.org.
  2. [56] ↑ . Wikidata sitelinks. wikidata.org.
  3. [57] ↑ . 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). Rod Downey. Retrieved October 13, 2026, from https://4ort.xyz/entity/rod-downey
MLA “Rod Downey.” 4ort.xyz Knowledge Graph, 4ort.xyz, 13 Oct. 2026, https://4ort.xyz/entity/rod-downey.
BibTeX @misc{4ortxyz_rod-downey_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Rod Downey}}, year = {2026}, url = {https://4ort.xyz/entity/rod-downey}, note = {Accessed: 2026-10-13}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Rod Downey — https://4ort.xyz/entity/rod-downey (retrieved 2026-10-13)

Canonical URL: https://4ort.xyz/entity/rod-downey · 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. 27d ago · DrThneed · 2026-09-18 view diff on Wikidata ↗
    Notable work → Algorithmic Randomness and Complexity, Q140384379
    Student → Q140995218
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/54745|batch #54745]]: non-doc advisors"
  2. 15w ago · IntensionalLogician · 2026-06-30 view diff on Wikidata ↗
    Notable work → Algorithmic Randomness and Complexity, Q140384379
    Award received → Hector Medal, Nerode Prize, ACM Fellow +6
    "/* wbeditentity-statements-multiple-properties-update:0||3 */ Add Shoenfield Prize Recipients and complete book authors ([[:toollabs:editgroups/b/OR/f24672c9a05|details]])"
  3. 15w ago · IntensionalLogician · 2026-06-29 view diff on Wikidata ↗
    Doctoral student → Guohua Wu, Catherine McCartin, Keng Meng (Selwyn) Ng +4
    "/* wbeditentity-statements-multiple-properties-update:0||3 */ Add Sacks Prize winners and dissertations ([[:toollabs:editgroups/b/OR/2fea1ded636|details]])"
  4. 15w ago · IntensionalLogician · 2026-06-26 view diff on Wikidata ↗
    Occupation → mathematician, computer scientist, logician
    Member of → American Mathematical Society, Association for Computing Machinery, Association for Symbolic Logic
    "/* wbeditentity-statements-multiple-properties-add:0||2 */ Add Association for Symbolic Logic member statements from the ASL member directoryꓹ also add affiliation if provided. ([[:toollabs:editgroups"
  5. 22w ago · Bender235 · 2026-05-09 view diff on Wikidata ↗
    Yale lux id → person/fe33b01e-dead-462b-8955-46a7ecf5ade7
    Bibsys id → 15004980
    Doctoral student → —
    Oberwolfach mathematician id → —
    + 87 other properties edited (see Wikidata diff for full list)
    "/* wbremoveclaims-remove:1| */ Given name: Rod"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.