RESEARCH FOCUS
面向复杂软件与智能系统的
三大研究方向
从程序语义理解，到复杂系统测试，再到可信人工智能，我们探索软件可靠性的前沿方法。
中国科学院软件研究所ABOUT STAR LAB
汇聚学术理想，
共同定义可靠软件的未来
团队汇聚了包括国家杰青在内的 9 名高水平科研人员，在培硕博学生 30 余人，拥有完善的科研与人才培养体系。
研究室强调理论创新与工具落地并重，与国内外知名高校及产业伙伴持续开展深度合作。
了解团队情况 →60+已培养毕业生
3核心研究方向
20+顶级会议与期刊覆盖
RESEARCH IMPACT
顶级成果，回应真实世界的挑战
团队在软件工程、形式化方法与人工智能领域的国际顶级会议和期刊上发表高水平论文数百篇，承担多项国家级、省部级重大科研任务。
ICSEFSEASEISSTANeurIPSAAAIICML
浏览论文成果 →
连接研究与应用Academia × Industry
LATEST NEWS
近期动态
研究室论文获得软件工程顶级会议ASE 2026杰出论文奖
近日，研究室论文 Hybrid Fuzzing in […]
动态研究室3名青年学者获国自然基金资助
2026年国家自然科学基金集中申报项目评审结果已于8 […]
项目资助基础软件测试与分析研究室招收2027年入学硕博生
中国科学院软件研究所 · 基础软件测试与分析研究室 […]
招生