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 (AI4SE and SE4AI). Here is a list of my publications.

招聘: 研究组长期招收对科研有浓厚兴趣的博士生、硕士生、实习生，致力于“AI+软件工程+基础软件”的交叉研究，重点包括智能化软件工程（AI、大语言模型如何赋能软件工程的自动化与智能化）、智能化基础软件（如何利用AI增强数据库、分布式系统等基础软件的易用性、性能、可靠性等）、智能系统可信保障（AI原生基础软件本身的安全、可靠、可信）等方向。欢迎有意者在联系或报考前，阅读研究组近三年发表的论文，以初步了解我们的研究方向与内容。

我认为培养学生的独立科研能力是导师的首要责任。我们致力于营造开放、协作的学术环境，与学生共同探索前沿科学问题，助力每位学生成长为能独立解决重要科学问题的研究者。在这一理念引导下，研究组学生表现突出，多数学生能在入学一年内即可完成并投出顶级期刊或会议论文，多名毕业生获得CCF优秀博士学位论文奖、中国科学院优秀博士学位论文奖、中国科学院院长奖、三好学生标兵、国家奖学金等荣誉。这也意味着，如果你选择加入，需要对科研怀有真诚的热爱，并愿意为之投入持续而专注的努力。

研究组内名额有限，如有意向建议尽早通过邮件联系（建议大二下学期或大三上学期），我们期望申请人具备以下基本素质：（1）热爱编程，具备较强的动手实践能力；（2）具备团队协作意识，乐于共同推进科研工作；（3）态度积极主动，能主动承担并推进科研工作；（4）富有探索精神，勇于尝试并解决有难度的研究问题。