Rod Downey

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

Rod Downey

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 Q140384187[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 Q140384187[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 March 17, 2026, from https://4ort.xyz/entity/rod-downey
MLA “Rod Downey.” 4ort.xyz Knowledge Graph, 4ort.xyz, 17 Mar. 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-03-17}}
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-03-17)

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. 2d ago · DrThneed · 2026-09-18 view diff on Wikidata ↗
    Notable work Q140384187, Q140384379
    Student Q140995218
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/54745|batch #54745]]: non-doc advisors"
  2. 11w ago · IntensionalLogician · 2026-06-30 view diff on Wikidata ↗
    Notable work Q140384187, 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. 11w 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. 12w 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. 19w 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| */ [[Property:P735]]: [[Q19819742]]"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.