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 
Email:
Bio | CV | Publications | Teaching | Students | Seminar
I am looking for motivated students: multiple Graduate Research Assistantship positions
open for the Fall 2013 admission. Contact me if you are interested.

News - The Cruiser project is now funded by NSF.

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: SRA 221: Information Security (Spring 2013, ANGEL Course Management System)

Seminar: I initiated and have been organizing Lions Center Lunch Seminar since Spring 2010.

Research Interests:
     I do research on software systems, including software security, analysis, and verification, information and software assurance, programming languages, and software engineering. I also lead a project on cloud computing for energy and environmental sustainability.
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: Go, Chinese Chess, Calligraphy.