I am a Pre-tenure Associate Professor at Beihang University. Before joining Beihang, I was a postdoc at National University of Singapore under the supervision of Abhik Roychoudhury. I have been a PhD student in the same group. I got my bachelor degree of Computer Science (Elite Class) from ShanDong University in 2016.
My research is focused on using program analysis, test generation and formal method to aid users in fixing software bugs and writing programs. I design techniques to improve the quality of automatically generated programs.
My research interests include:
I am looking for self-motivated undergraduate and master students with strong programming skills. If you are interested in my projects, feel free to contact me.