Skip to main contentAll experts

Frank Pfenning

Professor

Computer Science Department

Orcid identifier0000-0002-8279-5817 (opens in a new tab)⁠
  • Professor
    Computer Science Department
  • (412) 268-6343 (Work)
  • Carnegie Mellon University, Computer Science Department, 5000 Forbes Avenue, Pittsburgh, PA, 15213, United States

PROFESSIONAL ACTIVITIES

  • EVENT ADMINISTRATION
    30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
    1 Sep 2021 - 30 Sep 2021
  • EVENT ADMINISTRATION
    28th International Conference on Automated Deduction
    1 Jul 2021 - 31 Jul 2021
  • CMU COMMITTEE SERVICE
    CMU Academic Calendar Committee
    1 Jan 2020
  • CMU COMMITTEE SERVICE
    CMU Faculty Review Committee
    1 Jan 2020
  • OFFICE HELD
    Chair
    1 Jan 2019 - 31 Dec 2022
  • CMU COMMITTEE SERVICE
    Computational Biology Head Search Committee
    1 Jan 2019 - 31 Dec 2020
  • CMU COMMITTEE SERVICE
    Cybersecurity and Privacy Education Committee
    1 Jan 2019
  • COMMITTEE MEMBERSHIP
    NSF Review Panel
    1 Jan 2019 - 31 Dec 2019
    Member
  • COMMITTEE MEMBERSHIP
    LICS Steering Committee
    1 Jan 2018 - 31 Dec 2022
    Member
  • AWARDS / RECOGNITION
    2016 LICS Test of Time Award
    1 Jan 2016
  • COMMITTEE MEMBERSHIP
    NSF Review Panel
    1 Jan 2016 - 31 Dec 2016
    Member
  • CMU COMMITTEE SERVICE
    Task Force on the CMU Experience
    1 Jan 2016 - 31 Dec 2017
  • COMMITTEE MEMBERSHIP
    Scientific Advisory Board
    1 Nov 2015 - 30 Nov 2015
    Chair
  • FELLOWSHIP
    Fellow of the ACM
    1 Jan 2015
    Named Fellow of the ACM, for contributions to the logical foundations of automatic theorem proving and types for programming languages, 2015
  • CMU COMMITTEE SERVICE
    Cybersecurity and Privacy Education Committee
    1 Jan 2014 - 31 Dec 2016
  • COMMITTEE MEMBERSHIP
    FoSSaCS Steering Committee
    1 Jan 2014 - 31 Dec 2019
    Member
  • COMMITTEE MEMBERSHIP
    NSF Review Panel
    1 Jan 2014 - 31 Dec 2014
    Member
  • COMMITTEE MEMBERSHIP
    CRA Congressional Fly-In
    1 Sep 2013 - 30 Sep 2013
    Member
  • COMMITTEE MEMBERSHIP
    CRA Leadership in Science Policy Institute
    1 Apr 2013 - 30 Apr 2013
    Member
  • EVENT ADMINISTRATION
    16th International Conference on Foundations of Software Science and Computation Structures
    1 Mar 2013 - 31 Mar 2013
  • COMMITTEE MEMBERSHIP
    CRA Committee on Best Practices for Hiring, Promotion and Scholarship
    1 Jan 2013 - 31 Dec 2014
    Member
  • COMMITTEE MEMBERSHIP
    External Advisory Board
    1 Jan 2013 - 31 Dec 2018
    Member
  • CMU COMMITTEE SERVICE
    OSP/ORIC Advisory Committee
    1 Jan 2013 - 31 Dec 2015
  • CMU COMMITTEE SERVICE
    SCS Council
    1 Jan 2013 - 31 Dec 2018
  • CMU COMMITTEE SERVICE
    CSD Faculty Search Committee
    1 Jan 2012 - 31 Dec 2013