Robert Lee Constable

American computer scientist
Person human Q7346802
Press Enter · cited answer in seconds

Summary

Robert Lee Constable is a human[1]. He was born on 1952[2]. He worked as a computer scientist[3] and university teacher[4]. He is known by 3 alternative names across languages and contexts.[5]

Key Facts

  • Robert Lee Constable was born on 1952[2].
  • Robert Lee Constable held citizenship in United States[6].
  • Robert Lee Constable's professions included computer scientist[3].
  • Robert Lee Constable's professions included university teacher[4].
  • Robert Lee Constable was employed by Cornell University[7].
  • Robert Lee Constable was educated at University of Wisconsin–Madison[8].
  • Robert Lee Constable's doctoral advisor was Stephen Cole Kleene[9].
  • Robert Lee Constable received the Guggenheim Fellowship[10].
  • Robert Lee Constable received the Herbrand Award[11].
  • Robert Lee Constable received the ACM Fellow[12].
  • Robert Lee Constable was a member of Association for Computing Machinery[13].
  • Robert Lee Constable is recorded as male[14].
  • Robert Lee Constable's instance of is recorded as human[15].
  • Robert Lee Constable supervised Kurt Mehlhorn as a doctoral student[16].
  • Robert Lee Constable supervised Joseph Bates as a doctoral student[17].
  • Robert Lee Constable supervised Allan Borodin as a doctoral student[18].
  • Robert Lee Constable supervised Edmund M. Clarke as a doctoral student[19].
  • Robert Lee Constable supervised Paul Bernard Jackson as a doctoral student[20].
  • Robert Lee Constable supervised Steven Muchnick as a doctoral student[21].
  • Robert Lee Constable supervised Robert Harper as a doctoral student[22].
  • Robert Lee Constable supervised Pavel Naumov as a doctoral student[23].
  • Robert Lee Constable supervised James Toshio Sasaki as a doctoral student[24].
  • Robert Lee Constable supervised John C. Cherniavsky as a doctoral student[25].
  • Robert Lee Constable supervised David Alan Basin as a doctoral student[26].
  • Robert Lee Constable supervised Scott Fraser Smith as a doctoral student[27].

Body

Origins and Family

Robert Lee Constable was born on 1952[2].

Education

Robert Lee Constable's education included a stint at University of Wisconsin–Madison[8]. His doctoral advisor was Stephen Cole Kleene[9].

Career and Affiliations

Recorded occupations include computer scientist[3] and university teacher[4]. Robert Lee Constable was employed by Cornell University[7]. Doctoral students include Kurt Mehlhorn[16], a computer scientist[28], b. 1949[29], of Germany[30], awarded the Paris Kanellakis Award[31]; Joseph Bates[17], a computer scientist[32], of United States[33]; Allan Borodin[18], a computer scientist[34], b. 1941[35], of Canada[36], awarded the CRM-Fields-PIMS prize[37]; Edmund M. Clarke[19], a computer scientist[38], 1945–2020[39], of United States[40], awarded the Turing Award[41], specialised in informatics[42]; Paul Bernard Jackson[20], a university teacher[43], b. 1962[44]; and Steven Muchnick[21], a computer scientist[45], b. 1945[46], of United States[47].

Recognition

Awards received include Guggenheim Fellowship[10], a fellowship grant[48], in United States[49], founded in 1925[50]; Herbrand Award[11], an award[51], founded in 1992[52]; and ACM Fellow[12], a fellowship award[53].

Why It Matters

Robert Lee Constable is known by 3 alternative names across languages and contexts.[5]

His notable doctoral advisees include Robert Harper[54], an engineer[55], b. 1957[56], awarded the ACM Fellow[57]; Allan Borodin[58], a computer scientist[59], b. 1941[60], of Canada[61], awarded the CRM-Fields-PIMS prize[62]; Rance Cleaveland[63], a university teacher[64], 1961–2024[65], specialised in computer science[66]; Steven Muchnick[67], a computer scientist[68], b. 1945[69], of United States[70]; James L. Caldwell, II[71], a university teacher[72], b. 1956[73]; and Roderick Moten[74], a computer scientist[75].

FAQs

What did Robert Lee Constable do for work?

Robert Lee Constable worked as computer scientist[3] and university teacher[4].

Where did Robert Lee Constable go to school?

Robert Lee Constable was educated at University of Wisconsin–Madison[8].

What awards did Robert Lee Constable receive?

Honors received include Guggenheim Fellowship[10], Herbrand Award[11], and ACM Fellow[12].

References

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

Direct Wikidata claims

  1. [14] ↑ . wikidata.org.
  2. [6] ↑ . wikidata.org.
  3. [15] ↑ . wikidata.org.
  4. [8] ↑ . wikidata.org.
  5. [3] ↑ . wikidata.org.
  6. [4] ↑ . wikidata.org.
  7. [7] ↑ . wikidata.org.
  8. [10] ↑ . Guggenheim Fellows database. wikidata.org.
  9. [11] ↑ . wikidata.org.
  10. [12] ↑ . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  11. [9] ↑ . Mathematics Genealogy Project. Retrieved . wikidata.org.
  12. [16] ↑ . wikidata.org.
  13. [17] ↑ . Mathematics Genealogy Project. Retrieved . wikidata.org.
  14. [18] ↑ . Mathematics Genealogy Project. Retrieved . wikidata.org.
  15. [19] ↑ . Mathematics Genealogy Project. wikidata.org.
  16. [20] ↑ . Mathematics Genealogy Project. wikidata.org.
  17. [21] ↑ . Mathematics Genealogy Project. wikidata.org.
  18. [22] ↑ . Mathematics Genealogy Project. wikidata.org.
  19. [23] ↑ . Mathematics Genealogy Project. wikidata.org.
  20. [24] ↑ . Mathematics Genealogy Project. wikidata.org.
  21. [25] ↑ . Mathematics Genealogy Project. wikidata.org.
  22. [26] ↑ . Mathematics Genealogy Project. wikidata.org.
  23. [27] ↑ . Mathematics Genealogy Project. wikidata.org.
  24. [13] ↑ . awards.acm.org. Retrieved . awards.acm.org. Provenance: wikidata.org.
  25. [2] ↑ . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [54] ↑ . wikidata.org. → on this site
  2. [58] ↑ . wikidata.org. → on this site
  3. [63] ↑ . wikidata.org. → on this site
  4. [67] ↑ . wikidata.org. → on this site
  5. [71] ↑ . wikidata.org. → on this site
  6. [74] ↑ . wikidata.org. → on this site

Inline context (facts about related entities)

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

Class ancestry

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

Aggregate / graph-position facts

  1. [5] ↑ . 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). Robert Lee Constable. Retrieved October 14, 2026, from https://4ort.xyz/entity/robert-lee-constable
MLA “Robert Lee Constable.” 4ort.xyz Knowledge Graph, 4ort.xyz, 14 Oct. 2026, https://4ort.xyz/entity/robert-lee-constable.
BibTeX @misc{4ortxyz_robert-lee-constable_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Robert Lee Constable}}, year = {2026}, url = {https://4ort.xyz/entity/robert-lee-constable}, note = {Accessed: 2026-10-14}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Robert Lee Constable — https://4ort.xyz/entity/robert-lee-constable (retrieved 2026-10-14)

Canonical URL: https://4ort.xyz/entity/robert-lee-constable · 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. 15w ago · IntensionalLogician · 2026-06-29 view diff on Wikidata ↗
    Occupation → computer scientist, university teacher
    "/* wbeditentity-statements-multiple-properties-update:0||3 */ Add Sacks Prize winners and dissertations ([[:toollabs:editgroups/b/OR/2fea1ded636|details]])"
  2. 23w ago · Epìdosis · 2026-05-08 view diff on Wikidata ↗
    Guggenheim fellows id → robert-l-constable
    Share catalogue author id → 535792
    Ddb person (gnd) id → 1089583133
    Nukat id → —
    + 71 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/30090|batch #30090]]: import data from GND - part 29 (cf. https://w.wiki/Me9X)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.