Research Interests
Software verification and testing, software evolution, program analysis, and formal methods
Education
BE, Harbin Institute of Technology; ME, Institute of Software Chinese Academy of Sciences; MS, University of Nebraska-Lincoln; PhD, University of Texas at Austin
Office Location
CMAL 311B
San Marcos Campus
Office Hours
**Location depends on teaching location that day
Office Phone
512.245.2469
San Marcos Campus