Frank Pfenning

Digital Library

ACM Fellows

Germany - 2015

citation

For contributions to the logical foundations of automatic theorem proving and types for programming languages.

Press Release

ACM Senior Member

USA - 2007