基本信息
宋林海 男 研究员 博导 中国科学院计算技术研究所
国家级/中科院领军人才，曾任美国宾州州立大学终身教职副教授。曾获美国NSF CAREER奖、Mozilla研究奖、MICRO'14最佳论文提名、ACM SIGPLAN 2011年度优秀论文等多项荣誉。
电子邮件：songlinhai@ict.ac.cn
通信地址：北京市海淀区科学院南路738
邮政编码：100190
研究领域
长期从事系统软件、程序语言和系统安全等领域的研究。近期主要关注以下方向：
- 大模型辅助形式化验证：利用大模型生成形式化验证规约、构建验证引擎并辅助证明过程，从而保障代码（尤其是大模型生成代码）的功能正确性、可靠性与性能。
- AI OS：面向机器人、手机/PC智能助手以及数据中心大模型训练与推理等场景，构建下一代操作系统。
招生信息
系统软件课题组每年招收1至2名博士生及若干硕士生，开展大模型辅助形式化验证和AI OS方向的相关研究。课题组目前还需要助理研究员、博士后、工程师，背景不限，欢迎对系统及AI研究有兴趣的青年联系。同时，也欢迎优秀学子关注计算所的保研夏令营及招生信息，报名我们的课题组。
招生方向
系统软件
程序语言
AI
教育背景
学历
2010-08--2015-12 美国威斯康星大学麦迪逊分校 博士生
2007-09--2010-07 中科院计算所 硕士生
2003-09--2007-07 华中科技大学 本科生
工作经历
2025-08--今 中科院计算技术研究所 研究员
2017-08--2014-06 美国宾州州立大学 终身教职序列助理教授、终身教职副教授
2015-11--2017-07 美国火眼公司 主任科学家
出版信息
最新论文请参考：https://songlh.github.io/