I am a Ph.D. student in Department of Computer Science at Purdue University. I am interested in using formal methods and software engineering to improve the robustness of program synthesizers and neural networks. I received my M.S and B.S. degrees in Department of Computer Science and Technology from Nanjng University (NJU), advised by Prof. Xiaoxing Ma.
M.S. in Computer Science, 2016
B.S. in Computer Science, 2013
Teaching Assistant at Purdue University: