Robert Harper

computer scientist (born 1957)
Person human Q7345273
Press Enter · cited answer in seconds

Robert Harper

Summary

Robert Harper is a human[1]. He was born on +1957-07-15T00:00:00Z[2]. He worked as an engineer[3], computer scientist[4], and university teacher[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (23 views/month, #7,281 of 1,000,298).[6]

Key Facts

  • Robert Harper was born on +1957-07-15T00:00:00Z[2].
  • Robert Harper was born on +1957-00-00T00:00:00Z[7].
  • Robert Harper worked as an engineer[3].
  • Robert Harper worked as a computer scientist[4].
  • Robert Harper's professions included university teacher[5].
  • Robert Harper was employed by Carnegie Mellon University[8].
  • Robert Harper's education included a stint at Cornell University[9].
  • Robert Harper's doctoral advisor was Robert Lee Constable[10].
  • Robert Harper received the ACM Fellow[11].
  • Robert Harper was a member of Association for Computing Machinery[12].
  • Robert Harper's image is recorded as Robert Harper.jpg[13].
  • Robert Harper is recorded as male[14].
  • Robert Harper's instance of is recorded as human[15].
  • Robert Harper supervised Benjamin C. Pierce as a doctoral student[16].
  • Robert Harper supervised Greg Morrisett as a doctoral student[17].
  • Robert Harper supervised Umut Akgun Acar as a doctoral student[18].
  • Robert Harper supervised Andrzej Olaf Filinski as a doctoral student[19].
  • Robert Harper supervised Mark David Lillibridge as a doctoral student[20].
  • Robert Harper supervised Christopher Stone as a doctoral student[21].
  • Robert Harper supervised Derek Raymond Dreyer as a doctoral student[22].
  • Robert Harper supervised Ashish Agarwal as a doctoral student[23].
  • Robert Harper supervised Perry Cheng as a doctoral student[24].
  • Robert Harper supervised Tom Murphy VII as a doctoral student[25].
  • Robert Harper supervised Leaf Petersen as a doctoral student[26].
  • Robert Harper supervised Daniel R. Licata as a doctoral student[27].

Body

Origins and Family

Recorded date of birth include +1957-07-15T00:00:00Z[2] and +1957-00-00T00:00:00Z[7].

Education

Robert Harper's education included a stint at Cornell University[9]. His doctoral advisor was Robert Lee Constable[10].

Career and Affiliations

Recorded occupations include engineer[3], computer scientist[4], and university teacher[5]. Among Robert Harper's employers was Carnegie Mellon University[8]. Doctoral students include Benjamin C. Pierce[16], a computer scientist[28], b. 1963[29], of United States[30], awarded the ACM Fellow[31]; Greg Morrisett[17], a computer scientist[32], of United States[33], awarded the ACM Fellow[34]; Umut Akgun Acar[18], a researcher[35], of Turkey[36]; Andrzej Olaf Filinski[19]; Mark David Lillibridge[20]; and Christopher Stone[21], a university teacher[37].

Recognition

Robert Harper received the ACM Fellow[11].

Why It Matters

Robert Harper ranks in the top 0.73% of human entities by monthly Wikipedia readership (23 views/month, #7,281 of 1,000,298).[6] He is known by 3 alternative names across languages and contexts.[38]

His notable doctoral advisees include Tom Murphy VII[39], a YouTuber[40], b. 1979[41], of United States[42]; Benjamin C. Pierce[43], a computer scientist[44], b. 1963[45], of United States[46], awarded the ACM Fellow[47]; Chris Okasaki[48], a computer scientist[49], specialised in computer science[50]; Greg Morrisett[51], a computer scientist[52], of United States[53], awarded the ACM Fellow[54]; Christopher Stone[55], a university teacher[56]; and Derek Raymond Dreyer[57], a computer scientist[58], awarded the ACM Fellow[59].

FAQs

What did Robert Harper do for work?

Robert Harper worked as engineer[3], computer scientist[4], and university teacher[5].

Where did Robert Harper go to school?

Robert Harper was educated at Cornell University[9].

What awards did Robert Harper receive?

Honors received include ACM Fellow[11].

References

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

Direct Wikidata claims

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

Inverse relationships (entities pointing at this one)

  1. [39] . wikidata.org. → on this site
  2. [43] . wikidata.org. → on this site
  3. [48] . wikidata.org. → on this site
  4. [51] . wikidata.org. → on this site
  5. [55] . wikidata.org. → on this site
  6. [57] . 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. [35] . Wikidata. wikidata.org. → on this site
  9. [36] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [40] . Wikidata. wikidata.org. → on this site
  12. [41] . Wikidata. wikidata.org. → on this site
  13. [42] . Wikidata. wikidata.org. → on this site
  14. [44] . Wikidata. wikidata.org. → on this site
  15. [45] . Wikidata. wikidata.org. → on this site
  16. [46] . Wikidata. wikidata.org. → on this site
  17. [47] . Wikidata. wikidata.org. → on this site
  18. [49] . Wikidata. wikidata.org. → on this site
  19. [50] . Wikidata. wikidata.org. → on this site
  20. [52] . Wikidata. wikidata.org. → on this site
  21. [53] . Wikidata. wikidata.org. → on this site
  22. [54] . Wikidata. wikidata.org. → on this site
  23. [56] . Wikidata. wikidata.org. → on this site
  24. [58] . Wikidata. wikidata.org. → on this site
  25. [59] . 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. [38] . 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 Harper. Retrieved March 8, 2026, from https://4ort.xyz/entity/robert-harper
MLA “Robert Harper.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/robert-harper.
BibTeX @misc{4ortxyz_robert-harper_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Robert Harper}}, year = {2026}, url = {https://4ort.xyz/entity/robert-harper}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Robert Harper — https://4ort.xyz/entity/robert-harper (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/robert-harper · 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. 16d ago · 本日晴天 · 2026-05-06 view diff on Wikidata ↗
    Orcid id
    Zbmath author id
    Generational suffix {'id': 'L252247-F2', 'entity-type': 'form'}
    Languages spoken, written or signed
    + 94 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-statements-multiple-properties-update:0||2 */ added some identifiers retrieved from [[Q115920372]] ([[Property:P11496]]) or [[Q118144223]] ([[Property:P9776]]) ([[:toollabs:editgroups/"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.