mail.ios.ac.cn

ios.ac.cn

简介 - 计算机科学国家重点实验室

http://ios.ac.cn/wiki/简介

160;       中国科学院软件研究所计算机科学开放研究实验室始建于1993年，1994年12月正式纳入中国科学院开放实验室轨道运行。 160;       截止2013年底，实验室固定人员88人，其中，研究员41人，副研究员30人，中国科学院院士3名，第三世界科学院院士1名，获得国家杰出青年基金资助3人，入选中国科学院 百人计划 7人。 160;       实验室积极开展与国内外同行的实质性合作，推动各种形式的学术交流，与本领域的许多国际重要科研单位建立了稳定的合作关系。 160;       实验室的目标定位是 面向国家战略需求，瞄准国际学科前沿，针对国民经济、社会发展及国家安全的重大科技问题，开展计算机科学与软件领域的基础和应用基础研究，取得国际一流的基础理论和技术创新成果 到2020年，将实验室建设成国际影响力大的计算机科学与软件研究机构，培养一支国际竞争力强的研究队伍。 取自 http:/ ios.ac.cn/wiki/%E7%AE%80%E4%BB%8B.

ios.ac.cn

研究方向 - 计算机科学国家重点实验室

http://ios.ac.cn/wiki/研究方向

160;       实验室以国内外计算机科学技术领域提出的基本问题为背景，面向国家发展软件产业和国家安全的战略需求，开展计算机科学理论和软件基础研究。 160;       研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统，建立和发展描述这些系统行为的数学模型理论 形式建模 ，以及描述这些系统性质的规范理论 形式规约 ，并研究如何自动或半自动地进行系统验证 形式验证。 160;       研究基于网络结构的算法及其复杂性理论，揭示网络新原理，建立网络计算新理论，并应用于网络安全性、健壮性、可控性及在网络智能搜索、网络预测等方面。 160;       研究程序设计语言的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方法，开发相应的辅助工具，并结合应用实例的研究，提高算法及工具的效率和性能。 160;       研究基础软件核心技术，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。

ios.ac.cn

计算机科学国家重点实验室

http://ios.ac.cn/wiki/首页

The Evolutionary Benefit of Recombination(2015/08/28, Andy Lewis-Pye). Practical Concurrent and Parallel Programming(2014/12/09, 14:30 to 17:30. Prof. Peter Sestoft ). Communicating Transactions (a Survey)(2014/12/12, Matthew Hennessy ). Fast sheet-defined functions in spreadsheets(2014/12/08, 10:00 to 12:00. Peter Sestoft). 取自 http:/ ios.ac.cn/wiki/%E9%A6%96%E9%A1%B5.

ios.ac.cn

开放资源 - 计算机科学国家重点实验室

http://ios.ac.cn/wiki/开放资源

用户在发布其科研成果或发表论文时，应注有诸如 曾得到计算机科学国家重点实验室的支持与帮助 或英文Supported by the State Key Laboratory of Computer Science 此类说明字样，但也充分尊重用户的个人意愿。 E-Mail liuh (at) ios.ac.cn. 用户需认真填写 三维扫描仪资源使用申请表 ，由用户单位负责人签字并加盖公章 本实验室用户，由实验室工作人员作为负责人签字同意即可。 用户在发布其科研成果或发表论文时，应注有诸如 曾得到计算机科学国家重点实验室的支持与帮助 或英文Supported by the State Key Laboratory of Computer Science 此类说明字样，但也充分尊重用户的个人意愿。 E-Mail liuh (at) ios.ac.cn. 取自 http:/ ios.ac.cn/wiki/%E5%BC%80%E6%94%BE%E8%B5%84%E6%BA%90.

lcs.ios.ac.cn

分类:博士研究生 - 计算机科学国家重点实验室

http://lcs.ios.ac.cn/wiki/分类:博士研究生

取自 http:/ lcs.ios.ac.cn/wiki/%E5%88%86%E7%B1%BB:%E5%8D%9A%E5%A3%AB%E7%A0%94%E7%A9%B6%E7%94%9F.

lcs.ios.ac.cn

组织管理 - 计算机科学国家重点实验室

http://lcs.ios.ac.cn/wiki/组织管理

E-Mail ydshen(at) ios.ac.cn. E-Mail whn (at) ios.ac.cn. E-Mail znj(at) ios.ac.cn. E-Mail zli (at) ios.ac.cn. E-Mail feit (at) ios.ac.cn. E-Mail sunsy (at) ios.ac.cn. 取自 http:/ lcs.ios.ac.cn/wiki/%E7%BB%84%E7%BB%87%E7%AE%A1%E7%90%86.

lcs.ios.ac.cn

基础设施 - 计算机科学国家重点实验室

http://lcs.ios.ac.cn/wiki/基础设施

实验室购买了计算服务器IBM x3755、x366及两台HP ML370 G5 ，其中x3755服务器的内存为128GB，并在4路双核处理器系统中提供了极高的内存性能。 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 曙光 天阔 I950. DELL 490、DELL 670、DELL Precision T7500. 取自 http:/ lcs.ios.ac.cn/wiki/%E5%9F%BA%E7%A1%80%E8%AE%BE%E6%96%BD.

lcs.ios.ac.cn

学术论文 2014 - 计算机科学国家重点实验室

http://lcs.ios.ac.cn/wiki/学术论文_2014

Yan Cai，Changjiang Jia，Shangru Wu，Ke Zhai，W.K. Chan，ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs，IEEE Transactions on Parallel and Distributed Systems，CCF A. Angsheng Li，Xi Yong，Entanglement guarantees emergence of cooperation in quantum prisoner's dilemma games on networks，Nature Scientifc Reports. Angsheng Li，Xiaohui Zhang，Yicheng Pan, Pan Peng，Equilibrium game in networks，Physica A. George Barmpalias，A. R. Day，Andy Lewi...李会元，H...

lcs.ios.ac.cn

访问学者 - 计算机科学国家重点实验室

http://lcs.ios.ac.cn/wiki/访问学者

United Nations University-International Institute for Software Technology. The City University of New York. Computer Science and Engineering Indian Institute of Technology. Tata Institute of Fundamental Research. 200712.6-2007.12.14. Program Systems Institute of the Russian Academy of Sciences. Program Systems Institute of the Russian Academy of Sciences. David M. Weiss. Institute of Mathematics and Informatics Bulgarian Academy of Sciences. Technical University of Munich. Intel Strategic CAD Labs.