He received his Ph.D. in Computer Science from Princeton University in 2005. He was a research engineer at Microsoft in the Center for Software Excellence and the Windows Azure Division before joined Penn State. Dinghao does research on software systems, including software security, analysis, verification, software engineering, and programming languages.