My research interests include spreadsheet analysis, program analysis and testing.
I focus on designing techniques to improve software reliability and validating such techniques on real-world systems.
Here is a list of my publications
Recruitment: I am recruiting highly self-motivated Ph.D. and M.S. students to work with me on program analysis of dependable systems,
Qualified students must have strong motivation to conduct basic research and empirical experiments, and should have solid knowledge
on software engineering, testing, algorithms, concurrency and machine learning. Please send me an email with your resume if you are interested.
I received my Ph.D. (2015) and M.S. (2009) from Institute of Software Chinese Academy of Sciences (ISCAS), and B.E. (2006) from Wuhan University.
I was a visiting student at The Hong Kong University of Science and Technology (2013) and The Ohio State University (2014).
I was a research assistant (2009–2015) and assistant professor (2015–2016) at ISCAS.
Since Aug 2016, I am an associate professor at ISCAS.