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

TEACHING ACTIVITIES

  • COURSE TAUGHT
    Types and Programming Languages
    25 Aug 2025 - 15 Dec 2025
    15814
  • COURSE TAUGHT
    HOT Compilation
    13 Jan 2025 - 6 May 2025
    15817
  • COURSE TAUGHT
    HOT Compilation
    13 Jan 2025 - 6 May 2025
    15417
  • COURSE TAUGHT
    HOT Compilation
    13 Jan 2025 - 6 May 2025
    15617
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    26 Aug 2024 - 16 Dec 2024
    15316
  • COURSE TAUGHT
    Substructural Logics
    28 Aug 2023 - 18 Dec 2023
    15836
  • COURSE TAUGHT
    Constructive Logic
    17 Jan 2023 - 9 May 2023
    15317
  • COURSE TAUGHT
    Constructive Logic
    17 Jan 2023 - 9 May 2023
    15657
  • COURSE TAUGHT
    Parallel and Sequential Data Structures and Algorithms
    29 Aug 2022 - 19 Dec 2022
    15210
  • COURSE TAUGHT
    Parallel and Sequential Data Structures and Algorithms
    29 Aug 2022 - 19 Dec 2022
    15210
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    18 Jan 2022 - 10 May 2022
    15614
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    18 Jan 2022 - 10 May 2022
    15414
  • COURSE TAUGHT
    Types and Programming Languages
    30 Aug 2021 - 14 Dec 2021
    15814
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    1 Feb 2021 - 18 May 2021
    15414
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    1 Feb 2021 - 18 May 2021
    15614
  • COURSE TAUGHT
    Directed Reading
    31 Aug 2020 - 23 Dec 2020
    80990
  • COURSE TAUGHT
    Types and Programming Languages
    31 Aug 2020 - 21 Dec 2020
    15814
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150
  • COURSE TAUGHT
    Principles of Functional Programming
    13 Jan 2020 - 12 May 2020
    15150