中国科学院软件研究所：博导研究方向及邮件地址 .

【计算机软件与理论（081202）】 部门   姓 名 研究方向 E-mail地址 计算机科学国家重点实验室　 林惠民 并发理论与模型检测 lhm(at)ios.ac.cn 张健 自动推理与程序分析 zj(at)ios.ac.cn 张文辉 形式化方法 zwh(at)ios.ac.cn 沈一栋 数据挖掘，形式化方法 ydshe

区块链 | 中科院软件研究所发布区块链基础组件RepChain

近日，中国科学院软件研究所发布了一款区块链基础组件——RepChain，全称为Reactive Permission Chain，即采用响应式编程实现自主可控的许可链。据软件发展研究部主任梁赓介绍，该组件以区块链与行业应用结合为目标，在身份准入的基础上建立安全通道，具有标准化、模块化、可视化三大特征，在满足工程实施要求的基础上，可以大幅减少代码量，使开发人员能够轻量化地解决区块链的应用问题。区块链

中科红旗员工讨薪的背后：中科院软件所成为矛头所指

红旗Linux，作为国产Linux操作系统的代表，是中国较大也是较成熟的Linux发行版之一。而红旗Linux，或许在即将到来的2014年将正式成为历史。 12月27日，国内Linuxeden开源社区发布了来自红旗Linux发行商——北京中科红旗软件技术有限公司——员工的一封请愿书《风雨飘摇，中科红旗路在何方？》。中科红旗员工在请愿书中表示：“自2013年4月1日开始，由于中科院软件所（编者

06年初中科院软件所研究生招生部分信息

2006 年硕士研究生招生的复试和录取工作即将开始，现将我所 复试分数线及有关事项通告如下： 一、复试分数线 软件所 2006年硕士招生各学科专业的复试基本分数线统一为： 单科基本要求 总分基本要求

web相关的软件和简单解题思路

       暑假夏令营的第一天学习了搭建自己的博客账号和安装web前端的一些软件。如burpsuite、jdk、git、nmap等。jdk是Java语言的软件开发工具包，主要用于移动设备、嵌入式设备上的Java应用程序。JDK是整个Java开发的核心，包含了JAVA的运行环境和JAVA工具。Git是LinuTorvalds 为了帮助管理 Linux 内核开发而开发的一个开放源码的版本控制软件。N...

2018中科院计算所夏令营

中科院计算所的夏令营结束不久，特此记录一下这段经历，希望能对后面的小伙伴们有所帮助。 时间安排： 计算所的夏令营时间是7月15-20号，15号主要是报道，会给一个资料袋，里面是这几天的餐券和日程安排。 16号主要是听一些讲座，就几个老师讲一下自己实验室做的事情等，但当天基本所有实验室都会放置一些展板在外面，这是一个很好的了解机会，可以去多逛逛，多和学长学姐们交流一下，也可以多问问每个实验室的...

南清北复交北航哈工大中科院华科保研记

7月23号从中科院软件所参加完夏令营回来，我的漫长的保研路也算是告一段落。8月12号东软实训结束，8月13号坐上回家的火车，8月14号到家，然后就一直吃喝睡到今天，拿回来的几本书也没看几眼，本来打算着回来继续充实一下，去备战9，10月份的推免，现在看来时间又都荒废了……开学还是乖乖到学校吧，再这样下去一直待在家感觉要成废人一个了，我还是喜欢忙碌充实的感觉。一直想着要把这次宝贵的保研经历记录一下。

2018北理软件考研回忆

    大三的时候决定考研，综合考虑地域，软件专业的水平啊，还有考验难度，最终选择了北京理工。    基本上是从大三上就开始准备了，大三的时候就是注意专业课，我们学校大三上是计算机网络和计算机组成结构，都是考研可能需要的学科，所以就需要认真的学。我是到了大三上末期，基本暑假开始之前最终确定了这个学校（之前感觉北理很难考，一直不敢报考⊙▂⊙），报班报了2科吧，感觉政治一定要报个班，其他的就看你自己水...

擦分飘过-北京理工大学软件工程复试之路

整理一下初试考完后我的复习之路，前面啰嗦，干货见后，红色大字/////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////1.5-1.17    这段日子就一直在学校复习，报着考的不算太糟糕的心态，吊儿郎...

吉大的声誉和名气- -(转载)

(一)学术声誉:    吉大建校只有57年,而成为文理大学只有51年.去年9月份前后,数理化各系都在庆贺建系50年;地学部也在去年过完50岁生日.国内重点综合大学几乎都在1920年前后建立,北大有105年,南大也刚100年,复但也快100年,武大今年吵着过110岁生日,川大1995年就过了100岁生日,山大去年过的百岁生日,厦大80岁了,中山也80岁了,兰大听说有90年了,浙大也100多岁了.吉