一、项目编号：清采招第20260044号（招标文件编号：清采招第20260044号）
二、项目名称：清华大学控制模型代码生成器的测试与认证技术服务
三、中标（成交）信息
供应商名称：北京数原科技有限公司
供应商地址：北京市海淀区知春路23号2层206A室
中标（成交）金额：345.0000000（万元）
四、主要标的信息
| 序号 | 供应商名称 | 服务名称 | 服务范围 | 服务要求 | 服务时间 | 服务标准 |
| 1 | 北京数原科技有限公司 | 清华大学控制模型代码生成器的测试与认证技术服务 | 详见招标文件 | 为一款基于形式化验证的高可信代码生成器（即标的所指的控制模型代码生成器）提供测试与认证相关的技术服务等，具体详见采购需求 | 自合同签订之日起3个月内完成控制模型代码生成器的测试与认证技术服务全部服务内容，达到验收合格标准 | 详见招标文件 |
五、评审专家（单一来源采购人员）名单：
俞芳、王怀群、杨朕堡、程社明、王生原（采购人代表）
六、代理服务收费标准及金额：
本项目代理费收费标准：详见招标文件。
本项目代理费总金额：2.768000 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
中标人评审得分：94.88分。
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：清华大学
地址：北京市海淀区清华园
联系方式：010-62794240
2.采购代理机构信息
名 称：华诚博远工程咨询有限公司
地 址：北京市丰台区吴家村路57号华诚博远设计产业园
联系方式：周满堂、程泽、黄佳、王雪、李莉010-81123510、010-81123506、18210094518
3.项目联系方式
项目联系人：周满堂、程泽、黄佳、王雪、李莉
电 话： 010-81123510、010-81123506、18210094518