Matt Fredrikson

Assistant Professor
School of Computer Science
Carnegie Mellon University

mfredrik@cmu.edu 412/268-3992 CIC 2126 mfredrik

I am an Assistant Professor (tenure-track) in Carnegie Mellon's Computer Science Department and Institute for Software Research, and am a member of CyLab and the Principles of Programming Group.

My research areas are security & privacy, fair and trustworthy artificial intelligence, and formal methods. I am currently working to understand the unique problems that can arise in data-driven systems, which often incorporate machine learning for greater automation or to aid with decision-making. Oftentimes these systems pose a risk to the privacy of end-users and data subjects, unwittingly introduce new forms of discrimination, or jeopardize safety and security in adversarial settings. My goal is to find ways to identify these issues in real, concrete systems before they cause harm, and methods to construct new ones with rigorous guarantees of safety and accountability.


Current
Emily Black
PhD Student
Computer Science Department
Klas Leino
PhD Student
Computer Science Department
Ryan Wagner
PhD Student
Institute for Software Research
Zifan Wang
PhD Student
Electrical and Computer Engineering
Samuel Yeom
PhD Student
Computer Science Department
Han Zhang
PhD Student
Computer Science Department
Former
Arthur Azevedo de Amorim
Postdoc
Abhishek Bichhawat
Postdoc

Fall 2020
15-316 Software Foundations of Security and Privacy
Spring 2020
15-414 Bug Catching: Automated Program Verification and Testing
Fall 2019
15-316 Software Foundations of Security and Privacy
Fall 2018
15-414 Bug Catching: Automated Program Verification and Testing
Spring 2018
15-316 Software Foundations of Security and Privacy
Fall 2017
15-414/15-614 Bug Catching: Automated Program Verification and Testing
Fall 2017
08-602 Current Topics in Privacy Seminar
Spring 2017
15-316 Software Foundations of Security and Privacy
Fall 2016
15-414/15-614 Bug Catching: Automated Program Verification and Testing
Fall 2016
08-602 Current Topics in Privacy Seminar
Spring 2016
15-811/18-739 Special Topics: Formal Foundations of Software Security
Fall 2015
08-602 Current Topics in Privacy Seminar