10月22日至24日，中国计算机学会（CCF）颁奖典礼在京举行。中国科学院软件研究所吴志林研究员被授予2020年“CCF-IEEE CS青年科学家奖”,表彰其在自动机理论和程序验证方面所做出的突出贡献。　　吴志林博士毕业于软件所计算机科学国家重点实验室，曾先后在中国科学院自动化研究所、法国波尔多第一 ...

考生来京参加考试，可参考以下乘车路线和附近宾馆。乘车路线： 1、 地铁路线： 地铁10号线知春里站B口、地铁13号线知春路站A口 2、 公交路线： 经保福寺桥南：466路、611路、630路、641路、660路、86路、特19路、运通109路 经知春里东站：304路、386路、579路、653路、671路、79路、944路、夜9路 经海淀交通支队：611路、63 ...

　　经远程视频复试，软件所招生工作领导小组审核，同意拟录取吴洋等30名统考生为我所2020年攻读硕士学位研究生。现将拟录取名单予以公示，公示期为2020年5月22日至6月5日。在此期间，若对复试结果有异议，请与我们联系. 　　软件所研究生部电话：01062561196 招生监督电话（软件所纪检委）：010--62661011 　 ...

一、复试考生与计划 　　第一志愿报考软件所，且达到软件所2020年硕士研究生招生复试基本分数线要求的考生。考生按报考攻读学位类别分成两组。A组（学术型）18人，计划15个；B组（专硕）19人，计划15个（含专项计划）。　　二、复试时间与形式 　　复试时间：A组 2020年5月20日 上午9:00开始 　　 B组 2020年 ...

序号 考生编号 毕业学校名称 ZZLL WGY YWK1 ...

一、复试基本分数线： 　　根据我所2020年硕士研究生招生入学考试考生成绩及招生计划，经所招生工作领导小组讨论决定，报考软件所的考生进入复试的初试成绩基本要求为： 学科门类/专业学位类别 政治理论 外国语 ...

　　各位报考软件所的考生： 　　鉴于近期新型冠状病毒疫情的形势，为确保报考我所2020年博士和硕士考生的生命安全和身体健康，根据中国科学院大学疫情防控部署和招生办的有关要求，现将我所2020年博士和硕士研究生招考复试等有关事项公告如下： 　　1、2020年博士招考 　　原定2020年2月中旬进行的博士考生初评及3月9日md ...

近期，中国科学院软件研究所蔡彦团队提出了并发程序中并发漏洞检测的新方法，该团队首次基于松弛可交换事件来检测并发漏洞。该团队提出的松弛可交换事件克服了传统检测算法的不足，即使目标事件之前存在复杂的同步约束，也可以通过松弛可交换事件来判断是否可以交换。相关成果以“Detecting Concurrenc ...

近期，中国科学院软件所计算科学国家重点实验室王文成、侯飞团队提出了新的保持拓扑的三维模型中值面简化方法。相比于已有的中值面简化方法，新方法在几何近似质量、简化效率、保持拓扑等方面均有突出优势。相关成果以Topology Preserving Simplification of Medial Axes ...

近期，中国科学院软件所计算机科学国家重点实验室王文成团队提出了可简便处理部分内容被遮挡的图像合成新方法，克服了已有图像合成方法只能处理被融入图像内容只能置于待融入的目标图像的内容之上的限制，极大地减少了图像内容拾取的交互操作，提高了图像合成的工作效率。相关成果以Image composition o ...

近期，中国科学院软件所计算机科学国家重点实验室王文成团队在三维模型的内蕴对称性检测方面提出新方法，相比已有方法，新方法在检测质量、检测效率和检测到的对称体数量上均有大幅提高。相关成果以Intrinsic symmetry detection on 3D models with skeleton-gu ...

10月21日，由中国科学院软件研究所牵头组织的国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“信息产品及科技服务集成化众测服务平台研发与应用”项目启动暨实施方案咨询会在软件所顺利召开。国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项总体专家组专家北京北大科技园有限公 ...

9月6日至7日，由中国科学院软件研究所牵头的国家重点研发计划项目“信息产品及科技服务集成化众测服务平台研发与应用”实施方案讨论会在南京大学召开。该项目旨在突破制约众测服务业发展的基础理论和一系列关键技术，形成众测服务共性理论和支撑技术，从供给侧解决众测任务的多业务场景、全流程、全智能体的协同服务，为 ...

查询日期：2019-08-16金额：万元 序号 项目批准号 负责人 ...

7月5日，在2019软件定义卫星高峰论坛上，中国科学院软件研究所正式发布支持天地一体化组网的“天智协议栈”公测版。“天智协议栈”由软件所天基综合信息重点实验室历经十余年研究攻关，可有效推动中国航天系统向网络化、智能化和服务化演进。　　“天智协议栈”提供了天地一体化的整体解决方案，可有效支持星座、编队 ...

近日，在国家重点研发计划“云端融合的自然交互设备与工具”项目支持下，中科院软件所田丰研究员团队开展的移动目标获取人机交互基础研究工作取得新进展，针对二维空间中移动目标的获取提出了2D Ternary-Gaussian模型，实现了二维移动目标获取落点分布的准确预测，填补了用户界面中二维移动目标获取理论 ...

ACL(Annual Meeting of the Association for Computational Linguistics)是自然语言处理领域的顶级国际会议，被中国计算机学会推荐国际学术会议列表认定为A类会议。ACL2019将于2019年7月28日至8月2日在意大利佛罗伦萨举行。　　在国 ...

近年来我国AI产业增长快速，据统计2019年中国人工智能核心产业规模预计达到960亿元，增长率达到40%。人工智能与多行业也在快速融合，从智能无人驾驶、智能投顾与算法交易、智能医疗，到智能制造、城市大脑等，“AI+”相关产业成为热门赛道。政府层面也对人工智能产业大力扶持，通过印发《新一代人工智能发展 ...

5月15日，首届“开源软件供应链点亮计划-暑期2020”正式启动。“开源软件供应链点亮计划-暑期2020”（以下简称“暑期2020”）是由中国科学院软件研究所与 openEuler 社区共同举办、中科院软件研究所南京软件技术研究院承办的一项面向高校学生的暑期活动，旨在鼓励高校在校学生积极参与开源软件 ...

为更好地做好研究所“十四五”发展规划工作，研究所于近期分别组织召开了所学术委员会委员和青年骨干代表研讨会。　　4月16日软件所召开所学术委员会部分委员研讨会，征集对研究所“十四五”规划工作的意见和建议。所领导班子成员、林惠民院士等所学术委员会委员共20余人参加了会议。会上，各位委员围绕研究所“十四五 ...

区块链技术作为数字经济发展的重要基础，受到高度重视。2019年10月24日，中共中央政治局就区块链技术发展现状和趋势进行第十八次集体学习。习近平总书记在主持学习时强调，我们要把区块链作为核心技术自主创新的重要突破口，明确主攻方向，加大投入力度，着力攻克一批关键核心技术，加快推动区块链技术和产业创新发 ...

4 月 17 日，openEuler 社区在线召开首届 openEuler 峰会2020 (openEuler Virtual Summit 2020)，旨在与计算产业界分享 openEuler 的最新技术进展、研讨新版本技术规划。　　openEuler社区秉承“共建、共享、共治”理念，与社区参与者 ...

3月31日，软件所举行了2019年度工作总结考核会。由于仍处于新冠肺炎疫情防控期间，此次工作总结考核会议依托CAS科技云会以视频方式进行。所领导、各中心/实验室负责人、公共创新平台负责人、管理支撑部门负责人、分部负责人以及职工代表共80余人参加了总结考核会。　　此次交流和考核是软件所2019年度工作 ...

3月27日，华为开发者大会2020（Cloud）召开，这是华为公司面向ICT（信息与通信技术）领域全球开发者的年度顶级旗舰活动。大会旨在搭建全球性的交流和实践平台，开放华为30年积累的ICT技术与能力，以“鲲鹏+昇腾”硬核双引擎，为开发者提供澎湃动力，改变世界，变不可能为可能。　　会上，华为介绍了“ ...

1月15日，软件所召开了管理支撑部门工作人员2019年度绩效考核会。党委书记、副所长操云甫，党委副书记、纪委书记李衡，管理支撑部门负责人以及全体工作人员50余人参加了考核会。　　来自各部门共46名工作人员就个人2019年度的工作内容与2020年度的工作计划进行了述职报告。分管所领导、部门负责人从岗位 ...

为大力弘扬新时代科学家精神，树立良好作风学风，让爱国奋斗在研究所蔚为风尚，1月9日下午，软件所组织观看了“弘扬科学家精神做新时代追梦人”——2019年中国科学院年度人物和年度团队发布会。全体所班子成员、党员、职工和学生共300余人，在大会现场或通过网络直播观看了发布会。　　会上，大家认真听取了年度人 ...

1月12日，中国科学院软件研究所中文信息处理实验室学术指导委员会成立会议在软件所召开。所长赵琛致欢迎辞，并为学术指导委员会委员颁发聘书。实验室学术指导委员由三位专家组成：中国科学院计算技术研究所研究员、中国中文信息学会前理事长倪光南院士，中国电子信息产业集团有限公司首席科学家、中国中文信息学会理事长 ...

1月9日，软件所召开了2019年度工作总结暨考核测评会议。北京分院纪检组组长、分党组成员，京区事业单位党委副书记、纪委书记倪宏,北京分院干部人事处魏莱到会指导。软件所领导班子成员、党委委员、纪委委员、学术委员会委员、职代会常设主席团成员、中层领导人员、副高以上专业技术骨干人员、六级以上职员及各类职工 ...

1月8日，中英科技与创新新年招待会暨2019“牛顿奖”中国颁奖典礼在英国驻华大使馆官邸举办。英国驻华大使吴百纳宣布了中英合作项目“将服务设计和大数据技术转化为可持续城市化”（Transforming Service Design and Big Data Technologies into Sust ...

1月6日，科技部对发展中国家常规性科技援助项目“中老重大虫媒传染病智能化监测预警平台建设与示范”启动会在中国科学院软件研究所召开。该项目由软件所牵头,联合老挝卫生部传染病控制司、云南省寄生虫病防治所、中科软科技股份有限公司共同承担。科技部中国科学技术交流中心处长呼万丽，老挝人民民主共和国卫生部传染病 ...

中国科学院软件研究所的“安全认证协议基础理论与方法研究”项目荣获2019年中国电子学会科学技术奖自然科学一等奖，主要完成人包括：冯登国、邓燚、张振峰、徐静、张江。　　该项目围绕安全认证协议的若干重要基础问题开展了前沿性和前瞻性研究，取得了国际上有重要影响的理论和应用成果。提出原创性的实例依赖密码学原 ...

日前，openEuler开源社区（以下简称“openEuler社区”）正式开放源代码、镜像及开发测试环境，标志着openEuler社区开放运作迈出了坚实一步。作为主要筹备方，华为会逐步开放在ICT基础软件领域的技术积累，把操作系统、编译器/JDK等领域的华为内部基础平台能力开源至openEuler社 ...

12月25日，中国科学院信息技术科学部学部咨询项目“软件定义一切（SDX）及其行业应用发展策略研究”启动会在北京举行。中国科学院林惠民院士、梅宏院士，以及来自信息技术、装备制造、航天、机器人等领域的科研院所、高校及产业界近50位专家****参加了会议。项目负责人梅宏院士首先介绍了项目背景及相关要求。 ...

ACM CHI (ACM CHI Conference on Human Factors in Computing Systems)是人机交互领域顶级国际学术会议(CCF-A)。ACM CHI 2020将于4月25号到30号在夏威夷Honolulu举行，大会共收到论文投稿3126篇，最终录用率约为2 ...

11月30日，中科院青促会北京分会第七期“爱科学小课堂”亲子科普活动在中国科学院软件研究所成功举办。本次活动由软件所青促会小组承办，活动主题为“头号小玩家”。来自青促会北京分会的30多个家庭，共计70人参与其中。　　11月29日，北京迎来了2019年的第一场雪，30日早上冰雪未消，依然有许多家长和孩 ...

根据中国科学院学部工作局《关于公布2019年中国科学院院士增选当选院士名单的公告》，我所冯登国研究员当选中国科学院院士。　　冯登国研究员，主要从事网络与信息安全方面的研究工作。冯登国研究员在我所工作期间，长期担任信息安全国家重点实验室主任，围绕网络与信息安全中的基础和关键核心问题展开了系列研究，特别 ...

11月15日，软件所召开了“十四五”规划第一次战略研讨会。会议特别邀请了广州中国科学院工业技术研究院院长王小刚作报告。软件所领导班子成员、党委委员、林惠民院士等所学术委员会委员、各部门主任共20余人参加了会议。　　会上，王小刚做了题为“国立研发机构的几点战略思考”的报告。报告回顾了自我国改革开放以来 ...

10月16日至18日，由中国科学院软件研究所和英国诺森比亚大学联合主办的中英青年研究人员双边研讨会（NSFC-BC Researcher Links Workshop 2019）在软件所召开。该会议项目由国家自然科学基金委和英国文化协会联合资助，是中英联合研究创新基金的重要组成部分，旨在资助一系列中 ...

10月28日，中国科学院软件研究所与华为技术有限公司在深圳签署合作协议。软件所所长赵琛、中科软科技股份有限公司董事长左春、华为公司高级副总裁兼Cloud & AI产品与服务总裁侯金龙、华为中国智能计算业务部总裁万志出席签约仪式进行见签，软件所副总工、智能软件研究中心主任武延军，华为中国鲲鹏生态与解决 ...

10月17至18日，北京分院协作三片与长春分院档案工作交流会在长春召开。本次会议由中国科学院软件研究所副所长肖作敏带队，同北京分院第三协作片各单位档案工作主管部门领导及档案工作人员10余人，与长春分院各单位综合部门负责人、科研部门负责人以及档案工作人员就“分院档案互查”、“数字档案室建设”等工作开展 ...

9月26日上午，由中国科学院软件研究所研发的“北京冬奥项目知识图谱资源及问答系统”在北京语言大学正式发布。教育部、国家语委、北京冬奥组委、中国科学院软件研究所和北京语言大学相关领导及专家出席了发布会，相关领导致辞并讲话。与会领导及专家共同启动了“北京冬奥项目知识图谱资源”及“小奥智能问答系统”。 国 ...

9月23日至25日，由中国科学院软件研究所和中国科学院信息工程研究所联合主办的第22届网络攻防国际学术会议（The 22nd International Symposium Research in Attacks, Intrusions and Defense, 简称RAID 2019）在北京国家会 ...

中国科学院软件研究所和英国布鲁内尔大学共同组建的“人工智能情感交互国际联合实验室”获得北京市科学技术委员会2019年度国际科技合作专项立项支持。该实验室是国内首个人工智能情感交互领域的国际联合实验室，由软件所研究员王宏安任实验室主任。　　该实验室立足于“情感交互”这一人工智能领域的核心支撑技术，面向 ...

为使2019年入所的新员工能更好地了解院情、所情，增强新员工的归属感，建立起同事之间相互信任、团结协作的良好关系，尽快融入集体并迅速投入到新工作中，2019年9月5日至9月11日，软件所组织新入职的50余名员工开展了为期5天的新员工培训。　　此次新员工培训包括所外拓展培训和所内培训两部分。　　9月5 ...

2019年9月9日，中国科学院软件研究所控股企业中科软科技股份有限公司（以下简称“中科软”）在上海证券交易所主板挂牌上市，股票代码：603927。中国科学院党组成员、秘书长邓麦村、中国科学院软件研究所所长赵琛、党委书记操云甫、副所长钟华、北京市海淀区人民政府副区长陈双、中国科学院控股有限公司总经理索 ...

7月23日，中国科学院软件研究所—鸿合科技股份有限公司“自然人机交互技术联合实验室”成立暨揭牌仪式在软件所举行。中国科学院软件研究所赵琛所长、操云甫书记、原总工程师戴国忠研究员、所长助理田丰研究员，鸿合科技股份有限公司总裁张树江、董事邢修青、高级副总裁龙旭东、教育BG产品总监曾湘宁、海外暨商用BG商 ...

导师信息 计算机科学国家重点实验室 导师姓名 导师类别 招生专业 研究方向（博士/硕士） E-mail 地址 林惠民 博导 计算机软件与理论 并发理论，形式化方法， ...

中国科学院大学硕士研究生入学考试《计算机学科综合(专业)》考试大纲 一、考试形式闭卷，笔试，考试时间180分钟，总分150分。 二、试卷结构题型，如：概念题（填空、选择、判断、简答），应用题（计算、画图、分析、设计）等。三、考试科目 数据结构、计算机组成原理、操作系统、计算机网络四门课程，每门课程各占25%。 ...

中国科学院软件研究所2020年招收攻读硕士学位研究生简章 中国科学院软件研究所成立于1985年，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所。作为中国科学院大学研究生培养单位之一，2020年计划在计算机科学与技术(A+)[1]、软件工程(A-)和网络空间安全[2]等一级学科招收79名学术型硕士研究生； ...

现将我所2020年推免生拟录取名单公示如下，公示期为2019年10月11日-10月24日。若有异议，请在公示期内与我所研究生部联系（联系电话：010-62561196、邮件地址：caili@iscas.ac.cn）。 　　 中国科学院 ...