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.
|
|
[CV]
[Contact Info]
[Research Statement]
[Teaching Statement]
[Publications]
|