I have a broad interest in quality assurance technologies for foundational software, e.g., database systems (relational database systems, graph database systems, vector database systems), distributed systems (distributed consensus protocols, distributed database systems), and spreadsheet systems. I aim to build a quality assurance platform for foundational software based on various technologies, e.g., software analysis, software testing, formal methods and large models.

(1) 中创软件人才奖 (2024)

(2) CCF NASAC Youth Software Innovation Award (2023)

(3)《软件学报》2022年高影响力论文 (区块链共识协议综述) (2023)

(4)《软件学报》2021年高影响力论文 (程序分析研究进展) (2023)

(5) Outstanding Member of Youth Innovation Promotion Association of Chinese Academy of Sciences (2022)

(6) ESEC/FSE 2018 Distinguished Paper Award (2018)

(7) Memeber of Youth Innovation Promotion Association of Chinese Academy of Sciences (2018)

(8) MSRA Visiting Young Faculty Program (StarTrack 2017)

(9) Outstanding Doctoral Dissertation of China Computer Federation (CCF 2016)

(10) Outstanding Graduate of University of Chinese Academy of Sciences (UCAS 2015)