基本信息
武延军  男  博导  中国科学院软件研究所
电子邮件: yanjun@iscas.ac.cn
通信地址: 北京中关村南四街4号
邮政编码: 100190

研究领域

   

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
操作系统, 系统安全

教育背景

2001-09--2006-07   中国科学院软件研究所   博士
1997-09--2001-07   清华大学计算机系   工学学士

工作经历

   
工作简历
2012-07~现在, 中国科学院软件研究所, 正高级工程师,博士生导师,副总工
2008-10~2012-07,基础软件国家工程研究中心, 副研究员
2007-04~2008-05,美国纽约州立大学石溪分校, 博士后
社会兼职
2013-01-01-今,中关村青年联合会, 委员
2012-04-03-今,中科院青年创新促进会, 信息与管理方向召集人

专利与奖励

   
奖励信息
(1) 中国科学院青促会优秀会员, 院级, 2015
(2) 海淀区青年英才计划, , 市地级, 2013
(3) 中科院软件所杰出青年人才计划, , 研究所(学校), 2011
(4) 北京市科技新星, , 省级, 2010
专利成果
( 1 ) 一种基于虚拟机的移动介质网银安全认证方法, 发明, 2011, 第 2 作者, 专利号: 201110030183.8

出版信息

   
发表论文
(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 作者
(14) 
(15) 

科研活动

   
科研项目
( 1 ) 云计算操作系统的研究与开发, 主持, 部委级, 2010-06--2013-05
( 2 ) 面向海云协同网络计算环境的数据操作系统, 参与, 部委级, 2012-01--2016-12
( 3 ) 智能处理器支撑软件及驱动程序, 主持, 国家级, 2016-11--2018-06

指导学生

已指导学生

谢沛东  硕士研究生  081202-计算机软件与理论  

蒋媛园  硕士研究生  081202-计算机软件与理论  

侯朋朋  硕士研究生  081202-计算机软件与理论  

唐海东  硕士研究生  081202-计算机软件与理论  

陈贤  硕士研究生  083500-软件工程  

房锦章  硕士研究生  081202-计算机软件与理论  

现指导学生

高需  博士研究生  081202-计算机软件与理论  

赵姗  博士研究生  081202-计算机软件与理论  

杨骁  硕士研究生  081202-计算机软件与理论  

张珩  博士研究生  081202-计算机软件与理论  

王枫  博士研究生  081202-计算机软件与理论  

张鸿骏  博士研究生  081202-计算机软件与理论  

刘畅  硕士研究生  081202-计算机软件与理论  

梁冠宇  博士研究生  081202-计算机软件与理论