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
M 2:30-6:30PM and W 5:30-6:30PM, at SM campus or RR campus depending on teaching location
Office Phone
512.245.2469
San Marcos Campus
Current Classes (Spring)
| Course | Section | Meets | From | Until | Location |
|---|---|---|---|---|---|
| CS 4379A | 251 | ---W--- | 6:30 p.m. | 9:20 p.m. | ALK 00119 |
| CS 4379A | 252 | ---W--- | 6:30 p.m. | 9:20 p.m. | AVRY 00366 |
| CS 5392 | 251 | -M----- | 6:30 p.m. | 9:20 p.m. | ALK 00119 |
| CS 5392 | 261 | -M----- | 6:30 p.m. | 9:20 p.m. | AVRY 00366 |
| CS 5395 | 253 | ------- | ------- | ------- | ------- |
| CS 7387 | 254 | ------- | ------- | ------- | ------- |
| CS 7699 | 251 | ------- | ------- | ------- | ------- |