收藏本站
基础软件与系统重点实验室
菜单 搜索
下载中心
会议室预定
电子邮箱
  • 首页
  • 实验室概况
    • 实验室介绍
    • 组织管理
    • 学术委员会
  • 科学研究
    • 研究方向
    • 科研进展
    • 科研成果
    • 学术论文
  • 党建工作
    • 办事指南
    • 反腐倡廉
      • 党纪党规
      • 警示教育
    • 媒体转载
    • 支部活动
    • 科研攻坚
  • 人才队伍
    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师
  • 研究室简介
    • 约束求解研究室
    • 基础软件验证研究室
    • 基础软件测试与分析研究室
    • 可信智能系统研究室
    • 操作系统研究室
    • 量子软件研究室
    • 空间感知系统研究室
    • 前瞻研究室
  • 联系我们
副研究员/高级工程师
副研究员/高级工程师
当前位置: 首页  人才队伍  副研究员/高级工程师
  • JANSEN DAVID NICOLAAS

    JANSEN DAVID NICOLAAS

  • TURRINI ANDREA

    TURRINI ANDREA

  • 陈世腾

    陈世腾

  • 官极

    官极

  • 金高杰

    金高杰

  • 李明煜

    李明煜

  • 李杨佳

    李杨佳

  • 李勇

    李勇

  • 李勇坚

    李勇坚

  • 刘嘉祥

    刘嘉祥

  • 吕毅

    吕毅

  • 施晓牧

    施晓牧

12...>>|
  • 人才队伍

    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师

中华人民共和国科学技术部          国家自然科学基金委员会          中国科学院         北京分院         软件研究所         软件所图书馆    

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1