Published a series of papers; see the list of publications on his homepage. Recruiting highly motivated Ph.D./M.S. students and Postdoctoral researchers to work on quality assurance technologies for foundational software, including database systems, distributed systems, and AI systems. Also recruiting interns (Ph.D., M.S., or undergraduate students) inside and outside UCAS who are self-motivated and interested in conducting basic research and empirical experiments on foundational software.
Research Experience
Works as a Professor at the Institute of Software, Chinese Academy of Sciences, focusing on research into quality assurance technologies for foundational software.
Background
Has a broad interest in quality assurance technologies for foundational software, including database systems (relational, graph, and vector), distributed systems (distributed consensus protocols, distributed databases), and spreadsheet systems. Aims to build a quality assurance platform for foundational software using various technologies such as software analysis, testing, formal methods, and large models (AI4SE and SE4AI).
Miscellany
Recruiting self-motivated Ph.D./M.S. students, postdocs, and interns with strong motivation for conducting basic research and empirical experiments on foundational software.