中科院软件研究所计算机科学实验室介绍
计算机科学实验室成立于1993年,1994年由中国科学院批准成为中国科学院开放实验室,2001年改名为中国科学院重点实验室。在2002年全国信息领域重点实验室评估中,计算机科学实验室被评为优秀实验室。2005年经科技部批准开始进行国家重点实验室建设,2007年完成建设并通过验收。计算机科学国家重点实验室以国内外计算机科学技术领域提出的基本问题为背景,面向国家发展软件产业和国家安全的战略需求,开展计算机科学理论和软件基础研究。
实验室有多位我国计算机软件科学事业的奠基人和开拓者。实验室成员曾获国家自然科学奖一等奖一项、国家自然科学奖二等奖两项、国家科技进步奖二等奖一项。实验室现有研究人员23人,其中中国科学院院士3人,博士生导师14人,55岁以下的研究人员均有博士学位,形成了一个以中青年为主体、思想活跃、充满朝气的群体。在中科院和软件所的领导与支持下,实验室全体成员共同努力,在科学研究和队伍建设方面做了大量的工作,承担了多项国家和科学院的重大重点项目。
实验室坚持把研究的质量和水平放在首位,自觉抵制急功近利、浮躁虚夸的不良风气,同时提倡学术民主,鼓励不同学术观点的竞争与融合。实验室积极开展各种形式的学术交流和与国内外同行的合作。近年来实验室多次主办、承办国际会议。实验室积极邀请国内外知名学者来访进行学术交流,其中包括图灵奖获得者Robin Millner、Tony Hoare、Amir Pnueli、姚期智等教授。实验室成员也积极出访,参加国际、国内的学术会议,在国内外学术机构举行报告会,开展交流。实验室专门设立了开放课题基金,欢迎国内外同行申请,与实验室成员开展合作研究。
主要研究方向:
1. 并发和实时系统的理论与应用
(1)并发与实时系统的形式理论和分析方法
(2)模型检测的理论、技术与应用
(3)计算的数学理论与新型计算模型
2. 软件技术原理
(1)软件形式描述与检测
(2)程序测试与验证
(3)软件开发理论与方法
3. 计算机图形学
(1)真实感图形绘制
(2)可视化理论与技术
(3)虚拟现实
(4)数字几何处理
【中科院软件研究所计算机科学实验室介绍】相关文章:
- 2020-02-24【院校资讯】2020年江苏师范大学关于公布疫情防控延期开学期间我校研究生招生咨询值班电话的通知
- 2020-02-24【院校资讯】2020年新疆农业大学硕士研究生入学考试初试相关热点问题解答
- 2020-02-24【院校资讯】2020年天津商业大学硕士研究生招生各学院咨询联系方式
- 2020-02-24【院校资讯】2020年天津中医药大学关于硕士研究生招生初试成绩公布后考生常见咨询问题总结性答复
- 2020-02-24【院校资讯】2020年中国矿业大学研招答疑
- 2020-02-23【院校资讯】2020年西南民族大学研究生招生若干问题答疑
网友关注
- 【院校资讯】中共山东省委党校2011年硕士研究生招生参考书目
- 【院校资讯】中共四川省委党校2011年硕士研究生招生简章
- 【院校资讯】中科院烟台海岸带研究所2011年硕士研究生招生简章
- 【院校资讯】东北财经大学2011年硕士研究生入学考试参考书目
- 【院校资讯】解放军艺术学院2011年硕士研究生招生简章
- 【院校资讯】中国人民解放军防空兵指挥学院2011年硕士研究生招生简章
- 【院校资讯】中科院寒旱所2011年招收攻读硕士学位研究生简章
- 【院校资讯】新疆理化技术研究所2011年硕士研究生招生专业目录
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比