Skip to main content

Carnegie Mellon University School of Computer Science

Search form

    • Overview of Programs
    • Course Listings

    Undergraduate

    • Programs
    • Concentrations
    • Admissions
    • General Education Requirements
    • Policies and Procedures
    • Undergraduate Research and Honors Thesis
    • Dean's List

    Master's

    • Programs
    • Admissions

    Doctoral

    • Programs
    • Admissions
    • For International Students
    • Student Awards
    • Faculty Awards
    • Research at SCS
    • Search Faculty by Research Area
    • Selected Publications
    • Faculty Awards
    • The Allen Newell Award for Research Excellence
    • News & Press Releases
    • Updates & Alerts
    • The Link Magazine
    • Media Kit and Press Contacts
    • Events Calendar
    • SCS Seminar Series
    • SCS Distinguished Lecture Series
    • Directions, Maps & Parking
    • Tour Policy
    • Key Contacts
    • Directory
    • Alumni Engagement
    • Giving
    • Outreach
    • Diversity, Equity and Inclusion
    • Faculty Hiring
    • Employment at SCS
    • SCS Career Center
    • About the Dean
  • Partnerships
    • Computational Biology Department
    • Computer Science Department
    • Human-Computer Interaction Institute
    • Institute for Software Research
    • Language Technologies Institute
    • Machine Learning Department
    • Robotics Institute
    • Dean's Business Office
    • Alumni Engagement
    • Careers Office
    • Computing Facilities (Help Desk)
    • SCS Building Facilities
  • Give
  • All Faculty & Staff
  • Computational Biology Department
  • Computer Science Department
  • Human-Computer Interaction Institute
  • Institute for Software Research
  • Language Technologies Institute
  • Machine Learning Department
  • Robotics Institute
  • Dean's Office
  • Computing Facilities

Matt Fredrikson

Assistant Professor, Computer Science Department
Assistant Professor, Institute for Software Research
Office: 
2126
Collaborative Innovation Center
Email: 
mfredrik@andrew.cmu.edu
Phone: 
(608) 262-6628

Research Areas: 

  • AI Safety
  • Formal software verification
  • Human Robot Interaction
  • Privacy Preserving Protocols
  • Security and privacy
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
Legal Info | www-team@cs.cmu.edu
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram
  • RSS News Feed
  • Qatar Campus
  • Silicon Valley Campus