高可信软件技术教育部重点实验室
  • 关于
  • 首页

  • 新闻动态

  • 机构人员

    • 组织结构
    • 人员队伍
  • 学术研究

    • 研究方向与内容
    • 奖励与荣誉
    • 标准与规范
    • 专著与教材
    • 软件著作权
    • 项目
    • 论文
    • 专利
  • 开放与交流

    • 开放课题
    • 交流互访
  • 年度报告

    • 2018
    • 2017
    • 2016
    • 2015
    • 2019
    • 2020
  • 运行管理

    • 管理规章
    • 资源共享
高可信软件技术教育部重点实验室
  • 首页
  • 新闻动态
  • 机构人员
    • 组织结构
    • 人员队伍
  • 学术研究
    • 研究方向与内容
    • 奖励与荣誉
    • 标准与规范
    • 专著与教材
    • 软件著作权
    • 项目
    • 论文
    • 专利
  • 开放与交流
    • 开放课题
    • 交流互访
  • 年度报告
    • 2018
    • 2017
    • 2016
    • 2015
    • 2019
    • 2020
  • 运行管理
    • 管理规章
    • 资源共享
Previous Next

新闻动态更多

祝贺金芝荣获CCF夏培肃奖
2021 CCF颁奖典礼于2022年2月19日在浙江横店隆重举行。金芝教授领奖CCF杰出贡献奖(夏培肃)”简称“CCF夏培肃奖”,设立于2014年,授予在学术、工程、教育及产业等领域,为推动中国的计...
祝贺谢涛荣获奠基性贡献奖
微软亚洲研究院常务副院长张冬梅与北京大学讲席教授谢涛于近日共同获得了由软件工程和数据科学交叉子领域的国际学术会议 - 2022年度软件仓库挖掘会议 Mining Software Repositories Conf...
梅宏院士在中国科学院院刊撰文阐述泛在操作系统
为了推进我国的信息技术体系建设,《中国科学院院刊》2022年第1期组织了“构建自立自强的信息技术体系”专题 ,分别从芯片、系统结构、操作系统、未来网络、信息基础设施、应用(大数据...

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education