跳到主要内容
SQuARE Group

新闻

了解我们最新的公告和研究亮点

  • 获奖

    SMT 求解器 Xolver 在 SMT-COMP 2026 荣获两项冠军

    近日，2026 年度国际 SMT 求解器竞赛（SMT-COMP 2026）公布结果。由 SQuARE 组贾富琦主要研发的 SMT 独立求解器 Xolver 荣获“单查询赛道最大贡献——不可满足性”（Single Query Track Largest Contribution—UNSAT Performance Winner）和“非线性整数实数算术”（QF_NIRA Winner）两项冠军，马菲菲研究员和张健研究员担任指导教师。

  • 获奖

    张健研究员获 QRS 二十五周年特别荣誉奖（Special Recognition Award）

    SQuARE 组员张健研究员，荣获 IEEE 软件质量、可靠性与安全国际会议（QRS）颁发的 “特别荣誉奖”（Special Recognition Award）。该奖项为 QRS 会议二十五周年特别设立，旨在表彰在过去 25 年中，于 QRS 发表多篇论文并为软件质量研究与应用做出重要贡献的学者。根据 QRS 组委会介绍，该奖项旨在肯定张健研究员在程序分析和测试数据生成领域发表于该会议系列（包括其前身 QSIC、SERE 和 APAQS）的工作。

  • 获奖

    黄沛博士荣获 “CCF 博士学位论文激励计划” 提名

    2024 年 1 月 27 日，2023 年 CCF 颁奖大会暨理事长就职典礼在北京召开。大会为入选和提名 2023 年 “CCF 博士学位论文激励计划” 的博士颁发了获奖证书。2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得该计划提名。

  • 获奖

    燕季薇博士的博士学位论文入选中国计算机学会软件工程专业委员会2023年度“博士学位论文激励计划”

    燕季薇博士（指导教师：严俊研究员）的博士学位论文《基于框架与应用协同分析的安卓应用质量保障技术研究》入选中国计算机学会软件工程专业委员会2023年度“博士学位论文激励计划”。其论文关注基于复杂编程框架的移动应用程序质量保障自动化技术，采用字节码静态分析技术提取框架代码信息，基于框架信息开展上层应用分析测试，有效解决了复杂框架特性导致的上层应用缺陷难以被触发、重现和定位等问题。

  • 获奖

    SQuARE 组非线性整数约束求解研究工作获 ACM SIGSOFT 杰出论文奖

    近日，SQuARE 组博士生贾富琦、马菲菲研究员和张健研究员，与中国科学院软件研究所计算机科学国家重点实验室、并行软件与计算科学实验室合作完成的论文《Improving Bit-Blasting for Nonlinear Integer Constraints》被软件工程领域顶级国际会议 ISSTA（International Symposium on Software Testing and Analysis）接收，并荣获 ACM SIGSOFT 杰出论文奖（ACM SIGSOFT Distinguished Paper Award）。

  • 获奖

    张健、严俊研究员获 2021 年度 CCF 科学技术奖自然科学一等奖

    2021 年 12 月 17 日，在中国计算机大会（CNCC2021）期间，中国计算机学会（CCF）举行了年度颁奖典礼。中国科学院软件研究所与中国人民大学合作完成的成果 “高精度智能化的软件分析与测试方法” 荣获 2021 年度 CCF 科学技术奖自然科学一等奖。其中 SQuARE 组张健研究员、严俊研究员是主要完成者之一。

  • 获奖

    张健研究员团队参与获得 2021 年度国家自然科学基金重点项目资助

    2021 年 8 月 18 日，国家自然科学基金委员会公布了 2021 年度国家自然科学基金评审结果。中国科学院软件研究所获得多项资助，其中由 SQuARE 组张健研究员牵头申报的 “面向形式化验证的可信编译和程序分析” 项目获得国家自然科学基金重点项目资助。

  • 获奖

    张健研究员当选 CCF 会士

    2018 年度 CCF 会士评选会在学会总部举行。2018 年度共收到会士候选人提名材料 15 份，2018 年度 CCF 会士评选委员会委员仔细审阅了提名材料，经过讨论和无记名投票，七位 CCF 杰出会员当选 CCF 会士。中国科学院软件研究所 SQuARE 组张健研究员成功当选。