D. Hugh Redelmeier

Summary

D. Hugh Redelmeier is a human^[1]. He worked as a computer scientist^[2].

Key Facts

• D. Hugh Redelmeier worked as a computer scientist^[2].
• D. Hugh Redelmeier was educated at University of Toronto^[3].
• D. Hugh Redelmeier's doctoral advisor was Eric Hehner^[4].
• D. Hugh Redelmeier's doctoral advisor was Ric Holt^[5].
• D. Hugh Redelmeier is recorded as male^[6].
• D. Hugh Redelmeier's instance of is recorded as human^[7].
• D. Hugh Redelmeier's Mathematics Genealogy Project ID is recorded as 90649^[8].
• D. Hugh Redelmeier's family name is recorded as Redelmeier^[9].
• D. Hugh Redelmeier's given name is recorded as David^[10].
• D. Hugh Redelmeier's given name is recorded as Hugh^[11].
• D. Hugh Redelmeier's ACM Digital Library author ID is recorded as 81100519088^[12].
• D. Hugh Redelmeier's zbMATH author ID is recorded as redelmeier.d-hugh^[13].
• D. Hugh Redelmeier's MR Author ID is recorded as 524898^[14].
• D. Hugh Redelmeier's maintained by WikiProject is recorded as WikiProject Mathematics^[15].

Body

Education

D. Hugh Redelmeier's education included a stint at University of Toronto^[3]. Doctoral advisors include Eric Hehner^[4], a computer scientist^[16], b. 1947^[17], of Canada^[18], specialised in formal methods^[19] and Ric Holt^[5], a computer scientist^[20], 1941–2019^[21], of Canada^[22].

Career and Affiliations

D. Hugh Redelmeier worked as a computer scientist^[2].

FAQs

What did D. Hugh Redelmeier do for work?

D. Hugh Redelmeier worked as computer scientist^[2].

Where did D. Hugh Redelmeier go to school?

D. Hugh Redelmeier was educated at University of Toronto^[3].