(后排右二为高中时陈海波) 主要成就及社会职务: 国家杰出青年基金获得者 入选国家青年拔尖人才计划 国家科技进步二等奖获得者 教育部技术发明一等奖获得者 全国优秀博士学位论文奖 中国计算机学会青年科学家奖 陈海波长期从事操作系统研究,在低时延与高可信操作系统前沿研究与产业化方面取得了一系列成果 提出了低时延操作系统的关键方法,突破工业界通用操作系统的形式化验证方法 提高了工业界操作系统的性能与安全性 破解了微内核操作系统高性能、富生态与高安全难以兼得的技术难题 推动了我国操作系统的研究与大规模产业应用 发表学术论文140篇,获授权发明专利15件 《Communications of the ACM》 中国首位编委与领域主席 ACM SIGOPS ChinaSys主席 点击以下链接,了解详情: 顾问 | 赵旭红 李柏树 编委 | 袁愈柱 刘明彰 范忠阳 周后秋 宁小波 文字 | 罗玉南 陈齐政 周君平 图片 | 谢玉晚 宋明熠 排版 | 袁小兵 肖艳萍 |
|