I’m working with Andreas Zeller in the CISPA Helmholtz Center for Information Security, discovering new ways of solving software engineering (SE) problems (program analysis, testing, debugging, fuzzing, etc.) via formal methods (FM) and programming language (PL) theories. I received my bachelor and master (adviser Fei He) both in Tsinghua University, where my research focus was on program synthesis and software merging.