Frank Pfenning

Summary

Frank Pfenning is a human^[1]. His place of birth was Rüsselsheim am Main^[2]. He was born on 2000^[3]. He worked as an engineer^[4] and computer scientist^[5].

Key Facts

• Frank Pfenning's place of birth was Rüsselsheim am Main^[2].
• Frank Pfenning was born on 2000^[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^[6].
• Frank Pfenning was educated at Carnegie Mellon University^[7].
• Frank Pfenning's doctoral advisor was Peter B. Andrews^[8].
• Frank Pfenning received the ACM Fellow^[9].
• Frank Pfenning was a member of Association for Computing Machinery^[10].
• Frank Pfenning is recorded as male^[11].
• Frank Pfenning's instance of is recorded as human^[12].
• Frank Pfenning supervised Conal Elliott as a doctoral student^[13].
• Frank Pfenning supervised Michael Kohlhase as a doctoral student^[14].
• Frank Pfenning supervised Hongwei Xi as a doctoral student^[15].
• Frank Pfenning supervised Roberto Virga as a doctoral student^[16].
• Frank Pfenning supervised Nevin Heintze as a doctoral student^[17].
• Frank Pfenning supervised Carsten Schuermann as a doctoral student^[18].
• Frank Pfenning supervised Ann Pendleton Anderson as a doctoral student^[19].
• Frank Pfenning supervised Timothy Scott Freeman as a doctoral student^[20].
• Frank Pfenning supervised Spiro Michaylov as a doctoral student^[21].
• Frank Pfenning supervised Scott Richard Dietzen as a doctoral student^[22].
• Frank Pfenning supervised Gerald Penn as a doctoral student^[23].
• Frank Pfenning supervised Alberto Momigliano as a doctoral student^[24].
• Frank Pfenning supervised Jeff Polakow as a doctoral student^[25].
• Frank Pfenning supervised Kaustuv Chaudhuri as a doctoral student^[26].

Body

Origins and Family

Frank Pfenning's place of birth was Rüsselsheim am Main^[2]. He was born on 2000^[3].

Education

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

Career and Affiliations

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

Recognition

Frank Pfenning received the ACM Fellow^[9].

Why It Matters

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

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^[7].

What awards did Frank Pfenning receive?

Honors received include ACM Fellow^[9].