Danfeng Zhang is an Assistant Professor at Penn State University. He received his B.S. and M.S. in Computer Science from Peking University, and his Ph.D. in Computer Science from Cornell University.
Extended CV

Research Statement

Software plays a crucial rule in the digital age. Yet, it is still very challenging to develop correct and secure software, even for veteran software developers. The goal of my research is to prove the absence of software errors, and further, generate fixes when things go wrong. My research currently includes security, privacy, type safety and software correctness.

Selected Projects and Publications

[Google scholar] [Complete List]

Honors and Awards

NSF CAREER Award, 2020
The Caspar Bowden PET Award, Runner-Up, 2019
CCS'18 Outstanding Paper Award, 2018
PLDI'15 Distinguished Paper Award, 2015

Teaching

Students

Professional Activities

Grants

My research is currently supported by NSF 1956032, 1942851, 1816282, 1702760, as well as a gift from Facebook.