Matt Fredrikson
Associate Professor, Computer Science Department, Software and Societal Systems Department
Courtesy Appointment, Electrical and Computer Engineering
Matt Fredrikson is an associate professor in the School of Computer Science’s Institute for Software Research. He is a member of Cylab, the Societal Computing Program, and the Principles of Programming Group. His research interests are in security, privacy, formal verification methods, and programming languages.
Education
2015 Ph.D. in Computer Sciences, University of Wisconsin – Madison
2007 B.S. in Computer Science, Duquesne University
Affiliations
Research Interests
- AI and ML for security
- Applications of security and privacy
- autonomy
- cyber physical systems security and privacy
- data security and privacy
- elections security
- Formal methods
- formal methods for security
- formal verification
- language-based security
- ML and AI
- mobile and app security and privacy
- network security
- privacy
- privacy algorithms
- privacy engineering
- privacy enhancing technologies
- privacy policy and regulation
- security
- security and privacy economics
- security education, awareness, and training
- security of AI and ML
- security policy and regulation
- software security
- systems security
- Usability and human behavior
- usable privacy and security
- verification
- web security