Matt Fredrikson

Assistant Professor – ISRCS Courtesy Professor – ECE
Department Electrical and Computer Engineering
Office 2126 Collaborative Innovation Center
Telephone (412) 268-3992
Email
Website http://www.cs.cmu.edu/~mfredrik/

Carnegie Mellon, 2016

Keywords

Security, privacy, formal methods, and programming languages.