Frank Pfenning

Frank Pfenning 是德国逻辑学家、计算机科学家, 在证明论、亚结构逻辑、类型论、编程语言、编译器等领域有杰出贡献. 现于 Carnegie Mellon 大学任教.