Eric Hehner

Canadian computer scientist
Person human Q5386705
Press Enter · cited answer in seconds

Eric Hehner

Summary

Eric Hehner is a human[1]. Born in Ottawa[2], he… he was born on September 16, 1947[3]. He worked as a computer scientist[4] and engineer[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (13 views/month, #7,290 of 1,000,298).[6]

Key Facts

  • Born in Ottawa[2], Eric Hehner…
  • Eric Hehner was born on September 16, 1947[3].
  • Eric Hehner held citizenship in Canada[7].
  • Eric Hehner's professions included computer scientist[4].
  • Eric Hehner's professions included engineer[5].
  • Eric Hehner's field of work was formal methods[8].
  • Eric Hehner was employed by University of Toronto[9].
  • Eric Hehner was educated at University of Toronto[10].
  • Eric Hehner's education included a stint at Carleton University[11].
  • Eric Hehner's doctoral advisor was David Barkley Wortman[12].
  • Eric Hehner's doctoral advisor was William Marshall McKeeman[13].
  • Eric Hehner is recorded as male[14].
  • Eric Hehner's instance of is recorded as human[15].
  • Eric Hehner earned the academic degree of Doctor of Philosophy[16].
  • Eric Hehner's family name is recorded as Hehner[17].
  • Eric Hehner's given name is recorded as Eric[18].
  • Eric Hehner's given name is recorded as Charles[19].
  • Eric Hehner's given name is recorded as Roy[20].
  • Eric Hehner's official website is recorded as http://www.cs.toronto.edu/~hehner[21].

Body

Origins and Family

Eric Hehner's place of birth was Ottawa[2]. He was born on September 16, 1947[3].

Education

Educated at University of Toronto[10], a public research university[22], in Canada[23], founded in 1827[24], headquartered in Toronto[25] and Carleton University[11], an open-access publisher[26], in Canada[27], founded in 1943[28], headquartered in Ottawa[29]. Doctoral advisors include David Barkley Wortman[12] and William Marshall McKeeman[13], a university teacher[30]. Eric Hehner earned the academic degree of Doctor of Philosophy[16].

Career and Affiliations

Recorded occupations include computer scientist[4] and engineer[5]. Eric Hehner's field of work was formal methods[8]. He was employed by University of Toronto[9].

Why It Matters

Eric Hehner ranks in the top 0.73% of human entities by monthly Wikipedia readership (13 views/month, #7,290 of 1,000,298).[6]

His notable doctoral advisees include Christian Lengauer[31], a computer scientist[32]; Alan Wagner[33], a computer scientist[34], of Canada[35]; Eugene Fiume[36], a computer scientist[37]; D. Hugh Redelmeier[38], a computer scientist[39]; Theodore Norvell[40], a computer scientist[41]; and Anya Tafliovich[42], a computer scientist[43].

FAQs

Where was Eric Hehner born?

Born in Ottawa[2], Eric Hehner…

What did Eric Hehner do for work?

Eric Hehner worked as computer scientist[4] and engineer[5].

Where did Eric Hehner go to school?

Eric Hehner was educated at University of Toronto[10] and Carleton University[11].

References

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

Direct Wikidata claims

  1. [2] . wikidata.org.
  2. [14] . wikidata.org.
  3. [7] . wikidata.org.
  4. [15] . wikidata.org.
  5. [10] . Mathematics Genealogy Project. wikidata.org.
  6. [11] . wikidata.org.
  7. [8] . wikidata.org.
  8. [4] . wikidata.org.
  9. [5] . wikidata.org.
  10. [9] . wikidata.org.
  11. [12] . Mathematics Genealogy Project. wikidata.org.
  12. [13] . Mathematics Genealogy Project. wikidata.org.
  13. [16] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  14. [3] . wikidata.org.
  15. [17] . wikidata.org.
  16. [18] . wikidata.org.
  17. [19] . wikidata.org.
  18. [20] . wikidata.org.
  19. [21] . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [31] . wikidata.org. → on this site
  2. [33] . wikidata.org. → on this site
  3. [36] . wikidata.org. → on this site
  4. [38] . wikidata.org. → on this site
  5. [40] . wikidata.org. → on this site
  6. [42] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [22] . Wikidata. wikidata.org. → on this site
  2. [23] . Wikidata. wikidata.org. → on this site
  3. [24] . Wikidata. wikidata.org. → on this site
  4. [25] . Wikidata. wikidata.org. → on this site
  5. [26] . Wikidata. wikidata.org. → on this site
  6. [27] . 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. [32] . Wikidata. wikidata.org. → on this site
  11. [34] . Wikidata. wikidata.org. → on this site
  12. [35] . Wikidata. wikidata.org. → on this site
  13. [37] . Wikidata. wikidata.org. → on this site
  14. [39] . Wikidata. wikidata.org. → on this site
  15. [41] . Wikidata. wikidata.org. → on this site
  16. [43] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [6] . Wikimedia Foundation. dumps.wikimedia.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). Eric Hehner. Retrieved March 8, 2026, from https://4ort.xyz/entity/eric-hehner
MLA “Eric Hehner.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/eric-hehner.
BibTeX @misc{4ortxyz_eric-hehner_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Eric Hehner}}, year = {2026}, url = {https://4ort.xyz/entity/eric-hehner}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Eric Hehner — https://4ort.xyz/entity/eric-hehner (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/eric-hehner · 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. 1d ago · Epìdosis · 2026-05-20 view diff on Wikidata ↗
    Birth place
    Cinii research id
    Nukat id n99027611
    Nacsis cat author id
    + 61 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32117|batch #32117]]: import P21 and P106 from GND (30)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.