Dinghao Wu

I have graduated from Princeton. My new home page is here.

Education

    Ph.D., Computer Science, Princeton University, 2005. (Advisor: Andrew Appel).
    M.A., Computer Science, Princeton University, 2002.
    M.E., Computer Science, Nanjing University, 1999.
    B.E., Chemical Engineering, Nanjing Institute of Chemical Technology, 1996.

Research

I'm interested in programming languages and compilers, computer security, program analysis and verification, model checking, and formal methods.

  • 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.
  • Static analysis of security vulnerabilities in JavaScript.
  • Heap abstraction and refinement for software model checking in Zing.
  • Formal Methods for software specification and verification.

Hobbies

Go, Chinese Chess, Calligraphy. 		Dinghao Wu

[CV] [Contact Info]
[Research Statement]
[Teaching Statement]
[Publications]