Robert Lee Constable

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

Robert Lee Constable

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 March 8, 2026, from https://4ort.xyz/entity/robert-lee-constable
MLA “Robert Lee Constable.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 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-03-08}}
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-03-08)

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. 17d 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. 9w 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.