Research Areas
- Programming Systems and Software Engineering
Research Interests
Formal software design modeling and analysis, software economics, software evolution and modularity
Academic Distinctions
- PhD, Computer Science, University of Virginia
- MS, Computer Science, University of Virginia
- BS, Computer Science, Xidian University, Xi’an, China