Dinghao Wu

[Curriculum Vitae] [Research Statement] [Teaching Statement] [Publications] [Contact Info]  

I have graduated from Princeton, and am currently a research engineer in the Program Analysis Group at Center for Software Excellence, Microsoft.

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, software engineering, language-based security, logics and type systems, 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]