Dinghao Wu


Dinghao Wu received his Ph.D. degree in Computer Science from Princeton University in 2005. He is the PNC Technologies Career Development Associate Professor in the College of Information Sciences and Technology at the Pennsylvania State University. He is currently Visiting Professor at EPFL, Switzerland. He was a research engineer at Microsoft in the Center for Software Excellence and later the Windows Azure Division from 2005--2009. His research is in software systems, including software security, software protection, software analysis and verification, software engineering, and programming languages. He received the NSF CAREER Award, George J. McMurtry Junior Faculty Excellence in Teaching and Learning Award, and College Junior Faculty Excellence in Research Award.

His research has been funded by National Science Foundation (NSF), Office of Naval Research (ONR), and Department of Energy (DOE). His work has been tweeted and covered by the media. He has also open sourced a number of research software prototypes and some of them have been adopted in the field. The IFC importer has been adopted by OpenStudio, a building energy simulation platform developed by DOE National Renewable Energy Laboratory (NREL). Uroboros has been adopted by several labs and academic research groups. In particular, the Uroboros work has been adopted by 2 teams among the 7 finalists in the 2016 DARPA Cyber Grand Challenge (CGC) competition!

While at Microsoft, he worked on a number of influential and massively deployed program analysis and verification tools. His KISS work pioneered sequentialization, a program analysis and verification technique for checking concurrency properties using sequential program analysis, and has been followed by many researchers.

His CV, publications, and other information can be found at https://faculty.ist.psu.edu/wu/.