中国科学院软件研究所

中国科学院软件研究所

中国科学院先导专项成果——“傲来”RISC-V 原生操作系统在...

软件所“源图”入选2022年度院网信工作十大进展

侯建国在京区开展专项调研

中国科学院副院长、党组副书记阴和俊调研软件所

中科院召开2023年度工作会议

“天智二号”D星发射成功

科研进展

2023-03-31以数字中国构筑发展新优势——加快数字中国建设
2023-03-31数实深度融合重点行业数字化转型路线图将出
2023-03-31超越人工智能？“类器官智能”时代或将到来
2023-02-28中国科技新亮点观察——从国家创新调查制度实施看科技创新生...
2023-02-28我国稳居世界第二大研发投入国
2023-02-28ChatGPT太“卷”了！爆红背后也有挑战

2023-05-17[05-26]Verification-in-the-loop: A Safe Reinforcement Lea...
2023-05-10[05-10]移动应用质量保障关键技术研究
2023-05-10[05-17]ENCORE: Efficient Architecture Verification Framew...
2023-05-04[05-08]SKLCS Seminar on “ 模糊测试的种子输入生成技术”
2023-05-04[05-04]SKLCS Seminar on “解密模糊测试的基础机制"
2023-04-20[4-26]StateFuzz：状态敏感的Linux内核驱动程序模糊测试

2023-04-06关于第三届RISC-V技术及生态研讨会征文延期的通知
2022-12-05第三届RISC-V技术及生态研讨会征文通知
2022-06-06【7-1】2022年度中国科学院软件研究所学术年会征稿通知
2022-01-28第二届RISC-V技术及生态研讨会征文通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-01-28第一届RISC-V技术及生态研讨会征文通知

2023-05-22【7-10】2023年度中国科学院软件研究所学术年会征稿通知
2022-06-06【7-1】2022年度中国科学院软件研究所学术年会征稿通知
2021-06-10【7-12】中国科学院软件研究所2021年度学术年会征稿通知
2021-05-25软件所“软件定义未来”亲子科普文章征稿
2021-01-28第一届RISC-V技术及生态研讨会征文通知
2019-04-242019年度中国科学院软件研究所学术年会征稿通知

2016-08-202023招生简章及招生目录
2015-03-13软件所乘车路线和附近宾馆
2023-05-17软件所2023年秋季硕博连读研究生拟录取名单补充公示
2023-05-10中国科学院软件研究所2023年全国大学生“软件与网络”夏令营...
2023-04-28软件所2023年秋季普通招考博士生、硕博连读研究生拟录取名单公示
2023-04-082023年软件所硕士招生拟录取统考生名单公示
2023-03-24软件所2023年硕士研究生招生复试分数线、复试名单和复试规程
2023-03-06软件所2023年普通招考博士研究生综合考核规程
2023-02-152023年秋季软件所普通招考博士研究生初评结果补充公示
2023-02-102023年秋季软件所普通招考博士研究生初评结果公示

快速通道

专题专栏

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中国科学院软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn