Dinghao Wu

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

I have graduated from Princeton, and am currently a research engineer in the Center for Software Excellence (CSE) at 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.
• Heap abstraction and refinement for software model checking in Zing.
• Formal Methods for software specification and verification.

Hobbies

[CV] [Contact Info]
[Research Statement]
[Teaching Statement]
[Publications]
[My Academic Genealogy]
[My Biological Genealogy]