个人简介
招生专业
081202-计算机软件与理论
招生方向
操作系统
机器学习系统软件
系统安全
教育背景
2001-09--2006-07 中国科学院软件研究所 博士
1997-09--2001-07 清华大学计算机系 工学学士
工作简历
2018-05~现在, 中国科学院软件研究所, 智能软件研究中心主任
2012-07~现在, 中国科学院软件研究所, 正高级工程师,博士生导师,副总工
2008-10~2012-07,基础软件国家工程研究中心, 副研究员
2007-04~2008-05,美国纽约州立大学石溪分校, 博士后
教授课程
人工智能系统软件
奖励信息
(1) 中国科学院青促会优秀会员, 院级, 2015
(2) 海淀区青年英才计划, , 市地级, 2013
(3) 中科院软件所杰出青年人才计划, , 研究所(学校), 2011
(4) 北京市科技新星, , 省级, 2010
发表著作
(1) 机器人操作系统入门, Guide to Robot Operating System, GitBook网站, 2018-03, 第 2 作者
科研项目
( 1 ) 云计算操作系统的研究与开发, 主持, 部委级, 2010-06--2013-05
( 2 ) 面向海云协同网络计算环境的数据操作系统, 参与, 部委级, 2012-01--2016-12
( 3 ) 智能处理器支撑软件及驱动程序, 主持, 国家级, 2016-11--2018-06
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) Low-overhead sample based scheduling with task hopping in DataOS, IEEE Cluster 2016, 2016, 第 4 作者
(2) DataOS: A Data-centric Operating System for Future Data Center., Poster Session of EuroSys 2016, 2016, 第 1 作者
(3) 基于ROS的服务机器人云端协同计算框架, 计算机系统应用, 2016, 第 2 作者
(4) 数据操作系统的思想、设计和原型验证, 中国科学, 2015, 第 3 作者
(5) 一个分布式图处理引擎, Frog: A Distributed Graph Processing Engine, SOSP2013, 2013, 第 3 作者
(6) A Novel Security Scheme for Online Banking Based on Virtual Machine, International Conference on Software Security and Reliability (SERE), 2012, 2012, 第 2 作者
(7) Improving Flask Implementation Using Hardware Assisted In-VM Isolation, The 27th IFIP International Information Security and Privacy, 2012, 第 2 作者
(8) Return-Oriented Programming Attack on the Xen Hypervisor, The 7th International Conference on Availability, Reliability and Security, 2012, 第 2 作者
(9) 虚拟机确定性执行重放的模型分析和实现方法, 软件学报, 2012, 第 2 作者
(10) InDriver:虚拟机内部隔离的驱动实现方式, InDriver: Using In-VM Isolation to Implement Drivers, Xen Summit 2011, 2011, 第 2 作者
(11) 使用虚拟机的多线程重放, Multithread Replay Using Virtual Machine, APSys2011, 2011, 第 2 作者
(12) 基于虚拟机的新型网银安全方案, A New Security Scheme for Online Banking Based on Virtual Machine, APSys2011, 2011, 第 2 作者
(13) 云计算环境下的虚拟机快速克隆技术, Fast Virtual Machine Cloning under Cloud, 计算机工程与应用, 2011, 第 2 作者
学术兼职
2013-01-01-今,中关村青年联合会, 委员
2012-04-03-今,中科院青年创新促进会, 信息与管理方向召集人