基础软件与系统重点实验室 / 操作系统研究室

团队介绍

陈海波

软件所研究员

李明煜

软件所副研究员

陈海波，中科院软件所研究员，中国科学院基础软件与系统重点实验室主任，操作系统研究室主任。国家杰出青年基金获得者、ACM Fellow、IEEE Fellow，目前担任 OpenHarmony 技术指导委员会创始主席、ACM EuroSys 2025 程序委员会共同主席、ACM SIGOPS 首位非北美学者主席，曾任 ACM SIGOPS ChinaSys 主席、ACM SOSP 2017 年大会联席主席、ACM SIGSAC 奖励委员会委员、ACM SIGOPS Dennis M. Ritchie Award 等奖励委员会委员。研究工作获得华为卓越贡献个人奖、SOSP/ASPLOS/EuroSys/VEE 等最佳论文奖、DSN 时间检验奖、SIGMOD 研究亮点奖等。研究成果产生了广泛的学术与产业影响。

李明煜，中科院软件所副研究员。SOSP/OSDI/ATC 等计算机系统领域国际会议工件评审委员会（AEC）成员、ChinaSys 开源学术索引组织者。在体系结构和操作系统顶会 ISCA 2021、OSDI 2021/2023 发表一作论文，与工业界（华为、阿里、蚂蚁等）保持长期合作。

操作系统研究室正在积极扩大研究人员队伍，欢迎计算机系统方向的优秀人才加盟。

研究方向

研究室目前专注于人工智能+基础软件，面向世界科技前沿和国家重大需求开展研究。除了操作系统这一根技术之外，国内还有诸多工业软件缺乏人才。

团队的使命是培养更多具有全局视野、批判性思维的计算机系统科学家（需要长期摸爬滚打+工程实践+实业锤炼），输送到国家需要的千行百业去。

学生预期

研究室欢迎具有强自我驱动力、对系统研究有兴趣的本科生、硕士研究生、博士研究生实习/合作/加盟。如有兴趣，请邮件联系。

• 欢迎具有操作系统、数据库、机器学习等背景和计算机科学、软件工程等专业的同学们申请。
• 方向：计算机系统（经典举例：UNIX、MapReduce、Spark、TensorFlow）。

培养方式

1. 导师提供具有竞争力的薪资、鼓励完成具有挑战性的任务；学生可将全部时间放在学术研究上，研究室提供学术会议全额资助。
2. 引导和鼓励学生独立走完 “寻找问题 → 提出想法 → 实现原型 → 设计实验 → 撰写广告（论文+演讲）” 的正向循环。
3. 除部分国外禁售业务外，保证算力资源充足。