Research: 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. Here is a list of my publications.

Recruitment: I am recruiting highly self-motivated Ph.D. / M.S. students and Postdoctoral researchers to work with me on quality assurance technologies for foundational software, including database systems, distributed systems, and spreadsheets. I am also recruiting self-motivated interns (Ph.D., M.S. or undergraduate students) inside and outside UCAS. Qualified students must have strong motivation to conduct basic research and empirical experiments on foundational software. Please send me an email with your resume if you are interested.

招聘: 我招收对基础软件质量保障(数据库系统、分布式系统、电子表格系统)感兴趣的博士后/博士生/硕士生/实习生/访问学生(常年有效)，要求学生对研究具有较强兴趣、和较强的动手能力！