Skip to main contentAll experts

Matt Fredrikson

Associate Professor

Computer Science Department

Orcid identifier0000-0003-1820-1698 (opens in a new tab)⁠
  • Associate Professor
    Computer Science Department
  • (608) 262-6628 (Work)
  • 412-268-3992 (Work)
  • Carnegie Mellon University, Computer Science Department, 5000 Forbes Avenue, Pittsburgh, PA, 15213, United States

TEACHING ACTIVITIES

  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    24 Aug 2026 - 14 Dec 2026
    15614
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    24 Aug 2026 - 14 Dec 2026
    15414
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    12 Jan 2026 - 5 May 2026
    15316
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    25 Aug 2025 - 15 Dec 2025
    15414
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    25 Aug 2025 - 15 Dec 2025
    15614
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    13 Jan 2025 - 6 May 2025
    15414
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    13 Jan 2025 - 6 May 2025
    15614
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    28 Aug 2023 - 18 Dec 2023
    15316
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    17 Jan 2023 - 9 May 2023
    15614
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    17 Jan 2023 - 9 May 2023
    15414
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    29 Aug 2022 - 19 Dec 2022
    15316
  • 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
    Software Foundations of Security and Privacy
    30 Aug 2021 - 14 Dec 2021
    15316
  • COURSE TAUGHT
    Societal Computing Independent Study
    1 Feb 2021 - 18 May 2021
    17996
  • COURSE TAUGHT
    Societal Computing Pre-Thesis
    1 Feb 2021 - 18 May 2021
    17802
  • COURSE TAUGHT
    Software Engineering Independent Study
    1 Feb 2021 - 18 May 2021
    17806
  • COURSE TAUGHT
    Societal Computing Independent Study
    31 Aug 2020 - 23 Dec 2020
    17996
  • COURSE TAUGHT
    Societal Computing Pre-Thesis
    31 Aug 2020 - 23 Dec 2020
    17802
  • COURSE TAUGHT
    Software Engineering Independent Study
    31 Aug 2020 - 23 Dec 2020
    17806
  • COURSE TAUGHT
    Software Foundations of Security and Privacy
    31 Aug 2020 - 21 Dec 2020
    15316
  • COURSE TAUGHT
    Societal Computing Independent Study
    18 May 2020 - 30 Jun 2020
    17996
  • COURSE TAUGHT
    Societal Computing Pre-Thesis
    18 May 2020 - 30 Jun 2020
    17802
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    13 Jan 2020 - 12 May 2020
    15414
  • COURSE TAUGHT
    Bug Catching: Automated Program Verification
    13 Jan 2020 - 12 May 2020
    15614