My research interests include program analysis, software engineering and distributed/parallel systems.
I focus on designing new techniques to improve software reliability and validating such techniques on real-world systems,
including machine learning, big data, distributed systems and spreadsheets.
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.