Linjie Pan

Linjie obtained his Ph.D. degree in 2021 from the Institute of Software, Chinese Academy of Sciences. His research focuses on program analysis, constraint solving, and software testing. During his Ph.D. studies, Linjie has published papers at top conferences such as CP, ISSTA, ICSE, and FSE. After graduation, he joined Huawei and currently works on the development of DSL-based program analysis engines.