



Brief Bio

His research interests are computer security, formal methods, and programming languages. He leads the Security of Software (SOS) Group, which is broadly interested in applying compiler, programming language, and formal method techniques to improving computer security.

He currently serves on the DARPA ISAT study group. He has also received multiple awards, including a James F. Will Career Development Professorship from 2016 to 2019, an NSF CAREER Award, two Google Research Awards, a Distinguished Reviewer Award at 2018 IEEE Symposium on Security and Privacy, a Ruth and Joel Spira Excellence in Teaching Award at Penn State, and some best paper awards at academic conferences.

My research group has a postdoc opening: description

Research Group

Research Projects

Past projects

Professional Responsibilities

News

Teaching

Representative Publications (all publications by year or by topic)