Dinghao Wu          

Dinghao Wu

Assistant Professor
College of Information Sciences and Technology
The Pennsylvania State University
Mailing address:
  The Pennsylvania State University
  313E IST Building
  University Park, PA 16802

Office: 313E IST Building
Phone: (814) 867-3612
Fax: (814) 865-6426

Bio | CV | Publications | Grants | Projects | Software Releases | Teaching | Lab | Students | Media | News
I am looking for motivated students. Contact me if you are interested.

Education:  Ph.D., Computer Science (advised by Andrew W. Appel), Princeton University, 2005.
M.E., Computer Software and Theory (advised by Jian Lu), Nanjing University, 1999.
B.E., Chemical Engineering, Nanjing University of Chemical Technology, 1996.

Teaching:   IST 597: Seminar on Security (Spring 2017)

Research Interests
     I do research on software systems, including software security, software protection, software analysis and verification, information and software assurance, programming languages, and software engineering. I am also interested in technology applications on environmental and societal issues, and currently lead a project on cloud computing for energy and environmental sustainability of building design and retrofit.

Professional Activities: Program Comitee members: CCS 2017, QRS (2017, 2016, 2015), ICSE 2016 (SEIP Track), ENASE 2015

Current Projects
Previous Projects
  • Foundational Proof-Carrying Code for security of untrusted code.
  • KISS: Debugging concurrent programs with sequential analysis.
  • EspC: Program analysis on large-scale production code for concurrency defect detection.
  • Formal Methods for software specification and verification.

Hobbies: The Game of Go, Chinese Chess, Calligraphy.