个人简介

教育背景 2018.08---2019.08佐治亚理工学院访学 2008.09---2013.06 西安交通大学电子与信息工程学院计算机体系结构 博士 2003.09---2005.06 武汉大学计算机学院 软件与理论专业 硕士 1999.09---2003.06 武汉大学计算机科学与技术系 学士 研究项目 重庆市教委科学技术研究项目KJ1500916面向上下文的多虚拟机在线迁移研究2015/07/01-2017/07/31 2万、主持该项目主要研究资源的改变对多虚拟机在线迁移的影响，以及对应的自适应补救措施。 重庆理工大学青年科研项目星火支持计划2014XH14、基于队列论的多虚拟机在线迁移性能模型研究、2014/10-2016/10 3万、在研、主持。该项目主要研究如何使用排队论量化地分析网络资源对多虚拟机并发在线迁移性能的影响。研究目的是构建一种相应的在线迁移分析模型。 研究经历 2017---至今 Container和Spark资源性能瓶颈分析 2014---2016 Virtual Machine资源分配与调度研究 2008.09---2013.06基于开源JamVM的GranuleJ语言的设计和实现新型计算机研究所 西安 基于开源Java虚拟机JamVM，研究Java虚拟机体系结构，扩展JamVM虚拟机的类加载器，解析器，解释器和垃圾回收器，实现面向粒的Java虚拟机扩展，支持应用程序根据上下文环境动态的改变其代码。 基于拉姆达演算的形式化语言研究新型计算机研究所西安扩展基于拉姆达演算的形式化语言Featherweight Java形式化描述我们所扩展的虚拟机的语义操作，证明操作的类型安全。 2004.05---2005.12研究分析函数语言设计及程序语言的类型系统武汉大学计算机学院武汉使用函数式语言OCaml构建XML文件的类型，分析验证其子类型关系，保证类型安全 2003.02---2003.07分析PostgreSQL数据库源代码武汉大学软件工程国家重点实验室 武汉 在武汉大学软件工程国家重点实验室分析PostgreSQL源代码，主要分析postegreSQL中的SQL命令的实现部分 研究项目 重庆市教委科学技术研究项目KJ1500916面向上下文的多虚拟机在线迁移研究2015/07/01-2017/07/31 2万、主持 重庆理工大学青年科研项目星火支持计划2014XH14、基于队列论的多虚拟机在线迁移性能模型研究、2014/10-2016/10 3万、在研、主持。 工作经历 2005.12---2008.06 湖北省长江大学(原江汉石油学院)计算机科学学院 2013.07---至今重庆理工大学计算机科学与工程学院