I entered into the Ph.D. program at UCD in Fall 2003, under the guidance of Prof. Zhendong Su. My primary research interests are programming languages and software engineering, more specifically, program analysis and its applications on software quality.

Recent Activities

Research:

• Tree Similarity Detection and its Applications
• Trace Reconstruction for Debugging
• Range Analysis
• Numerical Software Analysis

Auditing:

• Every now and again reading groups, seminars and English courses.