智能博弈重点实验室(原互联网软件技术实验室)
智能博弈重点实验室于2023年4月进入全国重点实验室序列,其前身互联网软件技术实验室成立于2001年。实验室主要从事复杂环境下人机物融合的数据理解、知识服务、智能决策、软件质量保证、智能化软件工程等研究工作。
实验室拥有一支结构合理、稳定高效的科研队伍,其中研究员/正高级工程师3人、副研究员/高级工程师5人、特别研究助理3人;另有博士生10人、硕士生14人。
实验室一直得到国家自然科学基金、科技部重点研发计划、国家973计划、国家863计划的支持。先后承担了国家自然科学基金项目几十项,包括“可信软件过程管理及风险控制模型和方法研究”、“可信软件理论、方法集成与综合试验平台”等重点项目;科技部重点研发计划项目“信息产品及科技服务集成化众测服务平台研发及应用”等。实验室还完成了十余项中国科学院、军科委等单位支持的知识创新工程和重点科技攻关项目。
近年来,实验室科研成果获国家科技进步二等奖1次、北京市科学技术奖二等奖1次。申请专利30余项、软件著作权40多项。在国际/国内发表论文百余篇,其中CCF A类论文50余篇;先后11次获得软件工程领域顶级会议ICSE、ASE等的杰出论文奖。培养出中国大陆首个ACM学生研究竞赛研究生组全球总冠军。
实验室注重国际交流与合作,与美国南加州大学、美国麻省理工大学、香港理工大学、澳大利亚Data61、德国慕尼黑工业大学、新加坡南洋理工大学、美国北卡州立大学、加拿大约克大学等大学建立了长期合作关系,可以实现远程联合指导学生以及学术交流互访。
主要研究方向:
1. 智能化软件工程
(1)基于大模型的软件测试
(2)代码/注释智能生成
(3)基于机器学习/深度学习的软件库挖掘
(4)软件需求分析和估算智能化技术
2. 智能算法/软件/系统的测试和安全
(1)面向连续场景的智能系统测试。
(2)面向多模态智能算法的测试
(3)面向大模型的测试
(4)智能算法的安全
3. 知识服务和智能决策
(1)面向垂域的数据治理、知识抽取和知识图谱构建和应用技术
(2)面向多模态的知识对齐和补全技术
(3)面向多模态的知识推理和决策技术
(4)智能博弈技术
实验室网站:http://itechs.iscas.ac.cn/