Matthew Fredrikson Assistant Professor, Computer Science DepartmentAssistant 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
