I am a Researcher of R&D Department I at China Telecom Cloud Computing Corporation. My research interests span the areas of program analysis and distributed systems. I received my B.S. and Ph.D. in BUPT, China. I was a visiting scholar in PennState, US, 2018-2019. The goal of my research is to bring more reliability and security to the world of distributed systems.