Derek Raymond Dreyer

Ph.D. Carnegie Mellon University 2005
Person human Q102274051
Press Enter · cited answer in seconds

Derek Raymond Dreyer

Summary

Derek Raymond Dreyer is a human[1]. His place of birth was New York City[2]. He worked as a computer scientist[3].

Key Facts

  • Born in New York City[2], Derek Raymond Dreyer…
  • Derek Raymond Dreyer worked as a computer scientist[3].
  • Among Derek Raymond Dreyer's employers was Max Planck Institute for Software Systems[4].
  • Among Derek Raymond Dreyer's employers was Saarland University[5].
  • Derek Raymond Dreyer's doctoral advisor was Robert Harper[6].
  • Derek Raymond Dreyer's doctoral advisor was Karl Fredrick Crary[7].
  • Derek Raymond Dreyer received the ACM Fellow[8].
  • Derek Raymond Dreyer received the Robin Milner Young Researcher Award[9].
  • Derek Raymond Dreyer is recorded as male[10].
  • Derek Raymond Dreyer's instance of is recorded as human[11].
  • Derek Raymond Dreyer supervised Beta Ziliani as a doctoral student[12].
  • Derek Raymond Dreyer supervised Georg Neis as a doctoral student[13].
  • Derek Raymond Dreyer supervised Scott Lasater Kilpatrick as a doctoral student[14].
  • Derek Raymond Dreyer's ORCID iD is recorded as 0000-0002-3884-6867[15].
  • Derek Raymond Dreyer's Mathematics Genealogy Project ID is recorded as 89430[16].
  • Derek Raymond Dreyer's family name is recorded as Dreyer[17].
  • Derek Raymond Dreyer's given name is recorded as Derek[18].
  • Derek Raymond Dreyer's given name is recorded as Raymond[19].
  • Derek Raymond Dreyer's official website is recorded as https://people.mpi-sws.org/~dreyer/[20].
  • Derek Raymond Dreyer's languages spoken, written or signed is recorded as Polish[21].
  • Derek Raymond Dreyer's languages spoken, written or signed is recorded as English[22].
  • Derek Raymond Dreyer's official blog URL is recorded as https://herrdreyer.wordpress.com/[23].
  • Derek Raymond Dreyer's Google Scholar author ID is recorded as 1_c89uMAAAAJ[24].
  • Derek Raymond Dreyer's DBLP author ID is recorded as d/DerekDreyer[25].
  • Derek Raymond Dreyer's Google Knowledge Graph ID is recorded as /g/11ftcptbdp[26].

Body

Origins and Family

Born in New York City[2], Derek Raymond Dreyer…

Education

Doctoral advisors include Robert Harper[6], an engineer[27], b. 1957[28], awarded the ACM Fellow[29] and Karl Fredrick Crary[7].

Career and Affiliations

Derek Raymond Dreyer worked as a computer scientist[3]. Employers include Max Planck Institute for Software Systems[4], a Max Planck Institute[30], in Germany[31], founded in 2004[32], headquartered in Saarbrücken[33] and Saarland University[5], a public university[34], in Germany[35], founded in 1948[36], headquartered in Saarbrücken[37]. Doctoral students include Beta Ziliani[12], a computer scientist[38]; Georg Neis[13], a computer scientist[39]; and Scott Lasater Kilpatrick[14], a computer scientist[40].

Recognition

Awards received include ACM Fellow[8], a fellowship award[41] and Robin Milner Young Researcher Award[9], an award[42].

Why It Matters

Derek Raymond Dreyer's notable doctoral advisees include Beta Ziliani[43], a computer scientist[44]; Georg Neis[45], a computer scientist[46]; and Scott Lasater Kilpatrick[47], a computer scientist[48].

FAQs

Where was Derek Raymond Dreyer born?

Derek Raymond Dreyer's place of birth was New York City[2].

What did Derek Raymond Dreyer do for work?

Derek Raymond Dreyer worked as computer scientist[3].

What awards did Derek Raymond Dreyer receive?

Honors received include ACM Fellow[8] and Robin Milner Young Researcher Award[9].

References

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

Direct Wikidata claims

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

Inverse relationships (entities pointing at this one)

  1. [43] . wikidata.org. → on this site
  2. [45] . wikidata.org. → on this site
  3. [47] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [30] . Wikidata. wikidata.org. → on this site
  2. [31] . Wikidata. wikidata.org. → on this site
  3. [32] . Wikidata. wikidata.org. → on this site
  4. [33] . Wikidata. wikidata.org. → on this site
  5. [34] . Wikidata. wikidata.org. → on this site
  6. [35] . Wikidata. wikidata.org. → on this site
  7. [36] . Wikidata. wikidata.org. → on this site
  8. [37] . Wikidata. wikidata.org. → on this site
  9. [41] . Wikidata. wikidata.org. → on this site
  10. [42] . Wikidata. wikidata.org. → on this site
  11. [27] . Wikidata. wikidata.org. → on this site
  12. [28] . Wikidata. wikidata.org. → on this site
  13. [29] . Wikidata. wikidata.org. → on this site
  14. [38] . Wikidata. wikidata.org. → on this site
  15. [39] . Wikidata. wikidata.org. → on this site
  16. [40] . Wikidata. wikidata.org. → on this site
  17. [44] . Wikidata. wikidata.org. → on this site
  18. [46] . Wikidata. wikidata.org. → on this site
  19. [48] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. 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). Derek Raymond Dreyer. Retrieved March 9, 2026, from https://4ort.xyz/entity/derek-raymond-dreyer
MLA “Derek Raymond Dreyer.” 4ort.xyz Knowledge Graph, 4ort.xyz, 9 Mar. 2026, https://4ort.xyz/entity/derek-raymond-dreyer.
BibTeX @misc{4ortxyz_derek-raymond-dreyer_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Derek Raymond Dreyer}}, year = {2026}, url = {https://4ort.xyz/entity/derek-raymond-dreyer}, note = {Accessed: 2026-03-09}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Derek Raymond Dreyer — https://4ort.xyz/entity/derek-raymond-dreyer (retrieved 2026-03-09)

Canonical URL: https://4ort.xyz/entity/derek-raymond-dreyer · Last refreshed: