Research Fellow at GXNU, interested in compiler testing, program analysis, and AI for software engineering