Frank Pfenning

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

Frank Pfenning

Summary

Frank Pfenning is a human[1]. His place of birth was Rüsselsheim am Main[2]. He was born on +2000-00-00T00:00:00Z[3]. He worked as an engineer[4] and computer scientist[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (12 views/month, #7,291 of 1,000,298).[6]

Key Facts

  • Frank Pfenning's place of birth was Rüsselsheim am Main[2].
  • Frank Pfenning was born on +2000-00-00T00:00:00Z[3].
  • Frank Pfenning worked as an engineer[4].
  • Frank Pfenning's professions included computer scientist[5].
  • Among Frank Pfenning's employers was Carnegie Mellon University[7].
  • Frank Pfenning was educated at Carnegie Mellon University[8].
  • Frank Pfenning's doctoral advisor was Peter B. Andrews[9].
  • Frank Pfenning received the ACM Fellow[10].
  • Frank Pfenning was a member of Association for Computing Machinery[11].
  • Frank Pfenning's image is recorded as Frank Pfenning.jpg[12].
  • Frank Pfenning is recorded as male[13].
  • Frank Pfenning's instance of is recorded as human[14].
  • Frank Pfenning supervised Conal Elliott as a doctoral student[15].
  • Frank Pfenning supervised Michael Kohlhase as a doctoral student[16].
  • Frank Pfenning supervised Hongwei Xi as a doctoral student[17].
  • Frank Pfenning supervised Roberto Virga as a doctoral student[18].
  • Frank Pfenning supervised Nevin Heintze as a doctoral student[19].
  • Frank Pfenning supervised Carsten Schuermann as a doctoral student[20].
  • Frank Pfenning supervised Ann Pendleton Anderson as a doctoral student[21].
  • Frank Pfenning supervised Timothy Scott Freeman as a doctoral student[22].
  • Frank Pfenning supervised Spiro Michaylov as a doctoral student[23].
  • Frank Pfenning supervised Scott Richard Dietzen as a doctoral student[24].
  • Frank Pfenning supervised Gerald Penn as a doctoral student[25].
  • Frank Pfenning supervised Alberto Momigliano as a doctoral student[26].
  • Frank Pfenning supervised Jeff Polakow as a doctoral student[27].

Body

Origins and Family

Frank Pfenning's place of birth was Rüsselsheim am Main[2]. He was born on +2000-00-00T00:00:00Z[3].

Education

Frank Pfenning's education included a stint at Carnegie Mellon University[8]. His doctoral advisor was Peter B. Andrews[9].

Career and Affiliations

Recorded occupations include engineer[4] and computer scientist[5]. Frank Pfenning was employed by Carnegie Mellon University[7]. Doctoral students include Conal Elliott[15], a computer scientist[28], of United States[29]; Michael Kohlhase[16], a computer scientist[30], b. 1964[31], of Germany[32], specialised in mathematics[33]; Hongwei Xi[17]; Roberto Virga[18]; Nevin Heintze[19]; and Carsten Schuermann[20], a university teacher[34], b. 1968[35], specialised in computer science[36].

Recognition

Frank Pfenning received the ACM Fellow[10].

Why It Matters

Frank Pfenning ranks in the top 0.73% of human entities by monthly Wikipedia readership (12 views/month, #7,291 of 1,000,298).[6]

His notable doctoral advisees include Michael Kohlhase[37], a computer scientist[38], b. 1964[39], of Germany[40], specialised in mathematics[41]; Christoph Benzmüller[42], a computer scientist[43], b. 1968[44], of Germany[45]; Brigitte Pientka[46], a computer scientist[47], b. 1971[48]; Gerald Penn[49], a computer scientist[50]; Conal Elliott[51], a computer scientist[52], of United States[53]; and Chris Martens[54], a university teacher[55].

FAQs

Where was Frank Pfenning born?

Frank Pfenning's place of birth was Rüsselsheim am Main[2].

What did Frank Pfenning do for work?

Frank Pfenning worked as engineer[4] and computer scientist[5].

Where did Frank Pfenning go to school?

Frank Pfenning was educated at Carnegie Mellon University[8].

What awards did Frank Pfenning receive?

Honors received include ACM Fellow[10].

References

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

Direct Wikidata claims

  1. [12] . wikidata.org.
  2. [2] . wikidata.org.
  3. [13] . wikidata.org.
  4. [14] . wikidata.org.
  5. [8] . Mathematics Genealogy Project. wikidata.org.
  6. [4] . wikidata.org.
  7. [5] . wikidata.org.
  8. [7] . wikidata.org.
  9. [10] . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  10. [9] . Mathematics Genealogy Project. wikidata.org.
  11. [15] . Mathematics Genealogy Project. wikidata.org.
  12. [16] . Mathematics Genealogy Project. wikidata.org.
  13. [17] . Mathematics Genealogy Project. wikidata.org.
  14. [18] . Mathematics Genealogy Project. 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. [11] . acm.org. Retrieved . acm.org. Provenance: wikidata.org.
  25. [3] . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [37] . wikidata.org. → on this site
  2. [42] . wikidata.org. → on this site
  3. [46] . wikidata.org. → on this site
  4. [49] . wikidata.org. → on this site
  5. [51] . wikidata.org. → on this site
  6. [54] . 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. [38] . Wikidata. wikidata.org. → on this site
  11. [39] . Wikidata. wikidata.org. → on this site
  12. [40] . Wikidata. wikidata.org. → on this site
  13. [41] . Wikidata. wikidata.org. → on this site
  14. [43] . Wikidata. wikidata.org. → on this site
  15. [44] . Wikidata. wikidata.org. → on this site
  16. [45] . Wikidata. wikidata.org. → on this site
  17. [47] . Wikidata. wikidata.org. → on this site
  18. [48] . 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. [55] . 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). Frank Pfenning. Retrieved March 8, 2026, from https://4ort.xyz/entity/frank-pfenning
MLA “Frank Pfenning.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/frank-pfenning.
BibTeX @misc{4ortxyz_frank-pfenning_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Frank Pfenning}}, year = {2026}, url = {https://4ort.xyz/entity/frank-pfenning}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Frank Pfenning — https://4ort.xyz/entity/frank-pfenning (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/frank-pfenning · Last refreshed: