在2002年信息领域国家重点实验室评估中,计算机科学实验室被评为优秀实验室。 经科技部批准,国家重点实验室将于2021年启动建设。 将于2021年建成并通过科技部验收。计算机科学国家重点实验室针对国内计算机科学与技术领域提出的基本问题,开展计算机科学理论和软件基础研究面向国内外,响应国家发展软件产业和国家安全的战略需求。 主要研究方向: 1.并发实时系统理论与应用 1)并发实时系统形式化理论与分析方法 2)模型检测理论、技术与应用 3)计算数学理论与新型计算模型2. 软件技术原理 1) 软件形态描述与检测 2) 程序测试与验证 3) 软件开发理论与方法 3. 计算机图形学 1) 写实图形绘制 2) 可视化理论与技术 3) 虚拟现实 4) 数字几何处理实验室现有研究人员23人计算机排名,其中中国科学院院士3人,博士生导师14人。 55岁以下的研究人员均具有博士学位,形成了一个以中青年为主体、思维活跃、充满活力的群体。 实验室成员获得国家自然科学一等奖1项、国家自然科学二等奖2项、国家科技进步二等奖1项。 在中科院和软件所的领导和支持下,实验室全体成员齐心协力,在科研和团队建设方面做了大量的工作,承担了多项国家重大和科学院重点项目。
实验室坚持把研究质量和水平放在第一位,自觉抵制急功近利、浮躁夸张的不正之风。 同时,提倡学术民主计算机排名,鼓励不同学术观点的竞争和融合。 实验室拥有多名我国计算机软件科学的奠基人和开拓者。 实验室积极与国内外同行开展多种形式的学术交流与合作。 近年来,实验室主办和承办了多次国际会议。 实验室积极邀请国内外知名学者来访进行学术交流,其中包括图灵奖获得者Robin、Tony Hoare、Amir、姚启智等教授。 实验室成员还积极出差参加国际国内学术会议,在国内外学术机构举行报告和交流。 实验室专门设立开放项目基金,欢迎国内外同行申请并与实验室成员开展合作研究。 中国科学院软件研究所简介中国科学院软件研究所成立于1985年3月1日,是致力于计算机科学理论和软件高新技术研究与开发的综合性基地型研究所。 -技术。 地点位于北京市海淀区中关村南四街4号中国科学院软件园。 从五位创始人到现在千余名师生; 从借用房研究,到现在拥有无锡、重庆、哈尔滨、广州、青岛三座科研大楼和五个研究院分研发基地; 从最开始的每年44万元资助到现在每年1亿多元; 从仅有两台16位微机,到现在已形成由3个国家重点实验室、3个国家工程研究中心牵头的基础前沿研究。 拥有战略高技术研究和高新技术应用三大科研体系,建立了计算机科学、计算机软件、计算机应用技术、信息安全四个重点学科领域和五个重点学科方向的学科布局。
软件学院人秉承“创新、求实、永争一流”的精神,经受风雨,披荆斩棘,不断攀上新的高峰。 软件研究所现设有软件基础研究部、软件高新技术研究部、软件应用研究部和软件开发研究部四个研究部以及综合部。 聚集了一批学术造诣深厚、在国内外享有盛誉的科学家。 拥有一支高素质、高水平的青年科技人才队伍。 研究所现有正式员工618人,其中中国科学院院士3人,第三世界科学院院士1人,研究员56人,副研究员、高级工程师82人。 国家杰出青年基金获得者3人,中科院百人计划获得者6人。 所有员工的平均年龄为36岁。 软件研究所是计算机科学与技术一级学科硕士、博士学位培养单位。 设有计算机科学与技术博士后流动站。 现有博士生导师36人,硕士生导师84人; 硕士生317人,博士生179人,博士后9人。 软件所积极参与国内外交流与合作,与国内多个省市以及美国、欧洲、日本、日本等40多个国家和地区建立了广泛的科技交流与合作。澳大利亚。 已在无锡、重庆设立分公司。 分行、哈尔滨分行、广州分行、青岛分行。 中国中文信息学会、中国软件行业协会数学软件分会、中国密码动物学会密码动物算法专业委员会挂靠研究所。 研究所主办的学术期刊有《软件学报》、《中文信息学报》、《计算机系统应用》、《论与》等。
成立20年来,特别是进入中科院知识创新试点以来,软件所在计算机科学和软件领域取得了丰硕成果,荣获院所成果奖30项。院、省部级以上(均为第一完成单位),其中国家自然科学奖一等奖1项、二等奖2项、三等奖1项; 国家科技进步奖二等奖6项、三等奖2项。 特别值得一提的是,国家自然科学奖设立以来,计算机领域唯一的一等奖和约三分之一的二等奖均来自软件所。