Danfeng Zhang

Danfeng Zhang is an Associate Professor of Computer Science at Duke University. Before joining Duke in 2023, he was an Associate Professor at Penn State University. His research focuses on software correctness, security, privacy, type safety, and error localization. His work includes differential privacy, side-channel security, information flow security, and methods for detecting and mitigating software errors. He teaches courses such as CompSci 590: Language-Based Security and CompSci 390: Programming Language Concepts at Duke University. Zhang has advised numerous graduate and undergraduate students and has been involved in various professional activities, including program committees for major conferences.

Danfeng Zhang is a researcher at Duke University specializing in Security, Programming Languages, and Language-based security. Their work focuses on developing secure systems through language-based approaches, with an emphasis on timing-sensitive information-flow security, differential privacy, and side-channel mitigation. Zhang's research includes designing hardware security architectures, verifying full-system security, and detecting vulnerabilities in production software. They have contributed to the development of tools for automated differential privacy proofs, cache-based side channel detection, and timing channel protection mechanisms. Their publications highlight the intersection of programming languages, formal verification, and security engineering, aiming to enhance system reliability and privacy.