个人简介

招生专业

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

个人简介

招生专业

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 作者

近期论文

(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-今,中科院青年创新促进会, 信息与管理方向召集人

中国科学院大学计算机研究所,武延军 - 中国科学院大学 - 计算机科学与技术学院...相关推荐

  1. 吉大计算机专业有名的导师,2019吉林大学计算机科学与技术学院导师简介:申铉京...

    对考生而言,充分了解高校.专业以及师资情况是一项最基础.最关键的工作.以下是新东方在线为大家整理的"吉林大学计算机科学与技术学院导师简介:申铉京"的相关信息,希望对同学们有所帮助. ...

  2. 山东建筑大学计算机期末试题,2018年山东建筑大学计算机科学与技术学院900计算机专业综合之计算机操作系统考研基础五套测试题...

    一.选择题 1. -般用户只需要知道( )就能使用文件中的信息. A. 文件的符号名 B. 文件的逻辑结构 C. 文件的物理结构 D. 文件的存取方法 [答案]A [解析]文件管理实现按名存取,用户使 ...

  3. 计算机考研817,2017年南京工业大学计算机科学与技术学院817信号系统与数字电路考研题库...

    一.简答题 1. 波形产生电路如图1所示. (1)试问555定时器组成的是什么功能电路?计算 输出信号的周期和占空比: (2)试问74LVC161组成的是什么功能电路?列出其状态表: (3)画出输出电 ...

  4. 天津大学计算机专业推免加分细则,天津大学计算机科学与技术学院(专业学位)计算机技术保研细则...

    考研真题资料优惠价原价选择 天津大学计算机科学与技术学院(专业学位)计算机技术保研细则信息,是考研之前需要获取相应的考研信息,比如考试大纲.招考专业.招考目录等等基本信息,这些内容是进行考研前期工作的 ...

  5. 哈工大威海分校计算机学院,柏军(计算机科学与技术学院)老师 - 哈尔滨工业大学(威海) - 院校大全...

    柏军 姓名: 柏军 学院: 计算机科学与技术学院 性别: 男 柏军老师的简介 柏军副教授 主要工作学习简历: 1994年8月至2000年5月,在东北电力学院电子教研室任教 2000年5月至今,在哈工大 ...

  6. 中国科学技术大学计算机怎么样,中国科学技术大学计算机科学与技术学院

    中国科技大学于1958年建校时就设置了计算机专业,老一辈计算机科学家夏培肃先生等亲自执教,创办之初,与中科院计算所合作自主设计并研制成功了我国第1台通用计算机--107机并于1960年安装于中国科大. ...

  7. 南理工计算机学院老师联系电话,於东军(计算机科学与技术学院)老师 - 南京理工大学 - 院校大全...

    於东军 於东军老师的简介 姓 名 於东军性 别男 出生年月1975.10 职 称副教授 所在部门 模式识别与机器智能研究所 电 话 025-84315751-724 E-mailyu.dongjun@ ...

  8. 大学计算机入门基础知识论文,关于大学计算机基础论文范文2篇

    生活在信息社会中,随着计算机科学技术的快速发展,计算机技术已经成为我们工作学习中不可缺少的一项重要技能下面是秋天网小编为大家整理的关于大学计算机基础论文,供大家参考. 关于大学计算机基础论文范文一:大 ...

  9. 哈工大计算机科学博士,计算机科学与技术学院博士生培养方案-哈尔滨工业大学计算机学院.DOC...

    计算机科学与技术学院博士生培养方案-哈尔滨工业大学计算机学院 PAGE PAGE 1 计算机科学与技术学院 博士研究生培养方案 计算机科学与技术学科博士研究生培养方案说明 一.培养目标 1.树立爱国主 ...

最新文章

  1. NeurIPS 2020 大变动,领域主席可拒稿20%,作者即评审,布局远程会议!
  2. 写博客一定程度上是在刷存在感~
  3. java getselectedrow_Java swing(2)自己设计完善的独特功能图书管理系统,获取下拉框等的文字内容等...
  4. linux各种误删文件恢复方法(经典强推)
  5. mysql load data 语法_MySql LOAD DATA 使用
  6. 邀请合作如何表达_适时表达想法 才有利于彼此的合作
  7. oracle中查询实现以下结果,如何在Oracle中为查询结果分配等级?
  8. linux sort 排序 性能,Linux中sort 排序
  9. 04-01 常见接口协议
  10. Google最新算法 - 人肉搜索引擎
  11. 职业学校计算机课评课,信息技术课评课范文
  12. 信息检索方法和步骤——怎样展开信息检索?
  13. Jenkins+gitlab配置身份验证令牌
  14. 双机互联(交叉线方法)
  15. MC我的世界模组-模拟城市-教程
  16. 注册页面提交验证-密保问题实现
  17. 【汇正财经】股票上市交易的费用都有哪些?
  18. 基于ARM的微机原理-Cortex-M3处理器
  19. HDU-1278-逃离迷宫
  20. 【高级Java开发】类QQ聊天工具的设计与实现(代码已上传)

热门文章

  1. Oracle字符集AL32UTF8 改ZHS16GBK字符集
  2. 京沪高铁订单,日本落选!
  3. 你造吗,Oracle SQLplus 也有History命令了
  4. STM32看门狗简述
  5. 记一次聚拢Android线程实操
  6. next hop c语言实现,BGP_简单配置,next-hop-self
  7. 团队作业3 需求改进与系统设计
  8. CodeMirror 基础配置指南
  9. BAT54C代替1n4148的思考
  10. gjb151b电磁兼容陆军五项,海军十项,空军七项