计算机科学国家重点实验室（中国科学院软件研究所）的研究领域
截至2014年4月，中国科学院软件研究所有正式职工520人，其中院士3名，研究员58名，副研究员及高级工程师102名。国家杰出青年基金获得者3人，中科院百人计划入选者8人。 中国科学院院士： 姓名入选时间董韫美 1993年 周巢尘 1993年 林惠民 1999年 资料来源： 第三世界科学院院士： 姓名入选时间周巢尘 2000年 资料来源： 国家杰出青年基金获得者： 序号姓名获得时间1 冯登国 2000 2 张健 2001 3 李昂生 2003 资料来源： 截至2014年4月，中国科学院软件研究所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等4个研究部以及总体部，有国家工程研究中心2个，国家重点实验室1个。 国家工程研究中心：基础软件国家工程研究中心、信息安全共性技术国家工程研究中心 国家重点实验室：计算机科学国家重点实验室 国际交流 根据2016年1月研究所官网信息，中国科学院软件研究所和40多个国家与地区建立密切的学术联系及多种形式的技术合作关系，平均每年邀请和接待国外学术界、企业界人士数百人次。图灵奖获得者Amir Pnueli、Tony Hoare、姚期智等国际著名科学家都曾到中国科学院软件研究所访问讲学，周巢尘院士于1997至2002年担任联合国大学国际软件技术中国科学院软件研究所所长。 中国科学院软件研究所与国际学术团体合作，主办了多种重要国际学术会议。如，面向对象语言与系统技术国际会议、国际信息与通信安全国际会议、首届亚太区万维网技术与应用国际会议、亚洲逻辑和软件工程国际会议、亚洲逻辑会议、APCHI亚太人机界面会议等，与一些国际著名大学、研究机构和公司建立了合作关系。 共建研发培训机构 名称合作机构ISCAS/USC-CSE软件工程联合实验室 南加州大学 ISCAS/UMass-LASER软件工程联合实验室 麻省大学 ISCAS/Altair高性能计算与网格计算软件联合研究中心 ---- ISCAS/UQITEE数据与软件工程联合研究实验室 昆士兰大学 NFS-China/Sun操作系统技术联合实验室 SUN公司 Mozilla中国中心 Mozilla Foundation 微软高技术培训中心 微软公司 资料来源： 院地合作 根据2016年1月研究所官网信息，中国科学院软件研究所与大学、科研机构合作联合承担科研项目、联合培养研究生、联合建立非独立法人研究机构 、联合举办学术会议及各种形式的学术交流，在青岛、哈尔滨等地设立了分部。 院地合作共建研发机构 名称合作机构北京市软件生产和质量保证技术联合实验室 北京科委 工业管理与设计工程研究中心 雅戈尔集团 中国科学院宁波软件开发中心 宁波市科委 江苏中科软件工程技术中心 江苏软件园 资料来源： 分部 中国科学院软件中国科学院软件研究所无锡分部 中国科学院软件中国科学院软件研究所重庆分部 中国科学院软件中国科学院软件研究所哈尔滨分部 中国科学院软件中国科学院软件研究所广州分部 中国科学院软件中国科学院软件研究所青岛分部 资料来源： 馆藏资源 根据2016年1月研究所官网信息，中科院中国科学院软件研究所图书馆是软件专业特色图书馆，有馆藏中西文计算机科学与软件技术专业文献2万余种，园区IP可访问国家科学图书馆和自行购买的近百种数据资源库。 仪器设备 根据2016年1月研究所官网信息，中科院中国科学院软件研究所构建了多个科学平台，通过中科院仪器设备共享管理平台通用仪器设备实现了公用共享，主要仪器设备如下表所示： 主要仪器设备 类别仪器设备服务器 HP ML370 G5、IBM System p5 51A、IBM System p5 52A、 IBM x366、IBM x3650、IBM x3755、IBM P720刀片式服务器：IBM BladeCenter JS21、IBM HS21、IBM HS22、IBM LS21机架式服务器：Dawning（曙光）天阔 620r-F、Dawning（曙光）天阔 840、Dawning（曙光）天阔 I950cpu并行运算服务器 千亿次刀片机群系统 曙光天阔服务器 S4800A1 、IBM BladeCenter H刀片中心 工作站 DELL 490、DELL 670、DELL Precision T7500 存储设备 BM DS4300磁盘阵列、IBM 3581磁带自动加载机 网络设备 思科 PIX-525-UR-GE-BUN防火墙主机、思科 WS-C4506交换机 专业设备 Optech ILRIS-36D三维测量仪、VIVID 910三维数据化仪 资料来源：
实验室拥有4700多平方米的科研办公用房，建有一流的科研工作环境。现有网络数据存储分析系统、高性能服务器群、网络处理器开发平台、网络分析测试仪等科研设备2700余台/套，具备千兆级高速网络吞吐、高性能计算和大规模存储能力。
实验室以国内外计算机科学技术领域提出的基本问题为背景，面向国家发展软件产业和国家安全的战略需求，开展计算机科学理论和软件基础研究。 计算机科学基础理论与形式化方法：研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统，建立和发展描述这些系统行为的数学模型理论（形式建模），以及描述这些系统性质的规范理论（形式规约），并研究如何自动或半自动地进行系统验证（形式验证）。 研究基于网络结构的算法及其复杂性理论，揭示网络新原理，建立网络计算新理论，并应用于网络安全性、健壮性、可控性及在网络智能搜索、网络预测等方面。 软件系统原理及开发方法： 研究程序设计语言的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方法，开发相应的辅助工具，并结合应用实例的研究，提高算法及工具的效率和性能。 研究基础软件核心技术，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。突破高安全可信、国产软硬件优化适配等操作系统核心关键技术；突破新一代中间件关键技术，为海云计算和物联网提供运行支撑；突破大规模分布式实时主动数据库关键技术，开发分布式实时主动数据库系统。 图形图像与人机交互： 研究动态复杂可视现象的高效图形表达与绘制的理论和方法，面向实践需求的复杂图像处理方法和技术，复杂环境下人机交互的自然感知基础理论和多通道整合方法，以及上下文感知的智能交互技术。 并行与分布计算及可信计算：研究数万处理器的高可扩展并行算法与应用软件，异构的分布式硬件平台，海量数据处理与高性能仿真的计算耦合，以及相关的特征理论、非规则网格、计算流体力学仿真等。 研究可信计算与信息保障基础理论、关键技术与系统、测评方法与工具，包括：可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信数据库与云安全、可信系统的测评方法与工具等。 大数据及智能信息处理：研究多源异构大数据的表示方法、度量模型、语义理解机制，包括：大数据抽样方法、异构特征选择、语义相似性计算模型及数据挖掘算法；面向多知识源的语义Web本体集成模型及推理算法；多源异构大数据的可视化方法；实时智能控制调度系统等。
计算机科学国家重点实验室(中国科学院软件研究所)的研究领域
实验室以国内外计算机科学技术领域提出的基本问题为背景，面向国家发展软件产业和国家安全的战略需求，开展计算机科学理论和软件基础研究。 计算机科学基础理论与形式化方法：研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统，建立和发展描述这些系统行为的数学模型理论（形式建模），以及...
计算机科学与技术学科实力强的大学有哪几所?
清华大学是我国工科最强的高校，其计算机科学与技术系成立于1958年，是我国最早开设计算机相关专业的高校之一，设有计算机科学与技术、软件工程、网络空间安全3个一级学科。其中计算机科学与技术学科属全国首批国家重点一级学科，而且这个学科下包括了3个二级学科，均为全国重点二级学科，分别为计算机系统结构...
国内十大人工智能实验室是哪些
1、清华大学计算机科学与技术系智能技术与系统国家重点实验室 清华大学计算机科学与技术系智能技术与系统国家重点实验室是国内最早成立的人工智能实验室之一，其主要研究方向包括机器学习、自然语言处理、计算机视觉、智能控制等。实验室与国内外众多企业和高校合作，如与微软、IBM、百度等企业合作开发人工智能技...
计算机软件新技术国家重点实验室(南京大学)科学研究
计算机软件新技术国家重点实验室（南京大学）的研究主要集中在五个关键领域：新型程序设计与软件方法学，分布计算与并行处理，软件质量保障与自动化技术，系统软件及信息安全，以及智能化与多媒体软件支撑技术。实验室的研究内容包括主体化与可信化的软件方法学框架，机器学习在智能化软件中的应用，分布计算的...
重庆大学的专业排名
重庆大学的专业排名：工程科学、材料科学、地球科学、数学、环境\/生态学、机算机科学、物理学、一般社会科学、化学、生物与生化、植物与动物科学、临床医学。重庆大学是一所老牌的工科院校，也是国家985、211工程重点建设的院校。重大比较好的'专业有城市规划、建筑学、土木工程、电气工程、机械工程、生物医学...
安徽大学计算机科学与技术学院重点学科
安徽大学计算机科学与技术学院在2002年取得了突破，其“计算机应用技术”学科被教育部认定为国家级重点学科。经过多年的建设，学院发展迅速，拥有博士后流动站、博士点、一级硕士点以及教育部重点实验室“计算智能与信号处理”。学科方向从初期的“智能计算、计算视觉与模式识别、计算信号处理”扩展至“智能计...
全国计算机专业排名
光学工程学科是国家一级重点学科,是浙江大学最重要的优势学科之一,1952年在国内建立了第一个光学仪器专业,并为我国“两弹”研制工作作出了重要贡献。目前拥有现代光学仪器国家重点实验室、国家光学仪器工程技术研究中心。建筑学专业拥有完整的产学研结合体系。规划、建筑、土木、水利等四大学科的共同特点是具有很强的实践性...
全国计算机专业排名前十的大学是哪些?
北京航空航天大学是我国最早创建计算机专业的高等院校之一，在学科建设、科学研究、教学及人才培养等方面综合水平居于全国高校前列。该学院下设计算机科学技术系、计算机应用工程系、信息安全系，并建有软件开发环境国家重点实验室、虚拟现实技术与系统国家重点实验室、北京市计算机新技术重点实验室等十家研究单位...
211中计算机较好的大学
计算机科学与技术学科属全国首批国家重点一级学科，该一级学科包含计算机系统结构、计算机软件与理论、计算机应用技术三个二级学科，这三个二级学科均为全国重点二级学科，是全国少数拥有全部重点二级学科单位之一。2、国防科技大学 计算机学院起步于1958年，1966年成立计算机系（是新中国第一个计算机系），1971...
请问一级国家重点学科,二级国家重点学科有什么不同?国家重点学科和国家...
我国高校学位点(硕士)的申报一般是依托二级学科来进行的，学位点申报成功后，也多设在二级学科之下。重点学科基本属于二级学科范畴。一级国家重点学科 数学、化学、力学、机械工程、仪器科学与技术、材料科学与工程、动力工程及工程热物理、控制科学与工程、计算机科学与技术、土木工程、建筑学、化学工程与技...
贯傅克立： 十大计算机专业985院校排名1、清华大学清华大学计算机科学与技术系成立于1958年,算得上是历史悠久了.曾经在2006年和2012年两次在全国学位与研究生教育发展中心开展的一级学科整体水平评估中,以满分100分的成绩排名第一.在今...
叶城县17817794851： 国内计算机学校有哪些? - ？
贯傅克立： 1、清华大学 2、国防科学技术大学 3、北京大学 4、北京航空航天大学 5、哈尔滨工业大学 6、上海交通大学 7、浙江大学 8、南京大学 9、中国科学技术大学 10、东北大学等计算机专业
叶城县17817794851： 计算机专业哪所大学最好? - ？
贯傅克立： 第01名: 清华大学.清华信息科学与技术国家实验室、计算机应用技术国家重点学科、计算机系统结构国家重点学科、智能技术与系统国家重点实验室、国家计算机集成制造系统(CIMS)工程研究中心、国家企业信息化应用支撑软件工程技术...
叶城县17817794851： 计算机科学国家重点实验室怎么样 - ？
贯傅克立： 有国家重点实验室的,计算机科学与技术专业实力不错,全国优秀,可以考虑
叶城县17817794851： 南京大学与中国科学技术大学的计算机专业哪个好? - ？
贯傅克立： 南京大学在计算机、软件领域的实力较强,中科大根本无法和南大相比. 1、 南京大学拥有华东地区唯一的一个软件领域的重点实验室“计算机软件新技术国家重点实验室” ,这个实验室是我们国家在软件领域唯一的被评为“优秀”的国家重...
叶城县17817794851： 中国科学技术大学和国防科学技术大学哪个更强 - ？
贯傅克立： 这两所科学技术大学都是985、双一流A类高校,都是我国实力比较顶尖的大学,不过中国科学技术大学是地方高校,而国防 科技 大学是军校,二者其实没有什么可比性,我们不妨从以下几个方面来了解一下这两所大学. 1、世界一流...
叶城县17817794851： 南京大学和浙江大学 - ？
贯傅克立： 对理科生来说啊—— 南大拥有国内顶尖的理学学科群,浙大拥有国内顶尖的工学学科群. 如果喜欢基础科学或应用基础研究,那南大更好;如果喜欢工程和技术学科,那浙大更好. 但凡事不可一概而论.比如南大的微电子、计算机、环境工程...
叶城县17817794851： 什么是国家实验室 - ？
贯傅克立： 一、 目前中国已经建成的国家实验室共有4个,它们分别是: 1 同步辐射国家实验室 中国科学技术大学 (合肥) 2 正负电子对撞机国家实验室 高能物理研究所(北京) 3 重离子加速器国家实验室 近代物理研究所(兰州) 4 材料科学国家实验室...
叶城县17817794851： 哪l个学校计算机专业好? - ？
贯傅克立： 你好,计算机专业排名大概如下: 学校代码及名称 排名 得分 10003 清华大学 1 100 90002 国防科学技术大学 2 94 10006 北京航空航天大学 3 88 10335 浙江大学 4 88 10213 哈尔滨工业大学 5 87 10001 北京大学 6 85 10248 上海交通大学 7 85 ...
叶城县17817794851： 内蒙古大学有什么好专业 - ？
贯傅克立： 内蒙古大学是省部共建的211重点大学,少数民族语言文学和动物学是国家重点二级学科,数学与应用数学、生物科学、中国少数民族语言文学、物理学、化学、计算机科学与技术、生态学、音乐表演是国家级特色专业,还是不错的
