照片路径有误
  • 姓名:贾向阳
  • 主页:
  • 性别:男
  • 职称:讲师
  • 学历学位:博士
  • 电话:18627158581
  • 办公地点:学院大楼E316
  • E-mail:jxy@whu.edu.cn
  • 硕/博士生导师:
  • 研究兴趣
  • 教育背景
  • 工作经验
  • 教授课程
  • 发表论文
  • 研究课题
  • 研究团队
  • 获奖信息
  • 学术服务

贾向阳,男,博士,讲师。20086月毕业于武汉大学并获得工学博士学位,并留校从事软件工程方面的科研、教学以及软件开发工作。2014年赴米兰理工大学访学一年。
研究方向为程序分析、符号执行、软件开发工具、服务计算与云计算。主持了自然科学基金面上项目、国防预研项目等国家级科研项目。作为核心人员参加了973项目、国家高科技卫星计划、“863”项目、国家自然科学重点基金项目等多项国家级科研项目。

具有丰富的软件开发经验,作为研发负责人和架构师,组织了多项产学研合作项目的研发工作。研发了面向服务的信息集成平台SOAWARE” ,由远光公司在全国四十多家电力企业部署使用。研发了国家高技术产业化项目综合减灾信息服务平台中的业务运行管理子系统,在国家民政部减灾中心部署使用。

我的研究方向侧重于软件工具和平台的研发,会接触到各种新兴软件技术。欢迎对软件开发有热情的同学参与我的团队,和我一起工作、一起编码!

2003年~2008年, 武汉大学计算机软件与理论专业,硕士、博士,导师:应时教授
2014年~2015年,米兰理工学院访问学者,导师:Carlo Ghezzi教授

2003年之前,湖北省老河口市,从事教育工作
2008年之后,武汉大学计算机学院

硕士生课程《软件项目管理》

1Xiangyang Jia, Carlo Ghezzi, Shi Ying. Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. In Proceedings of International Symposium on Software Testing and Analysis - ISSTA’15, Baltimore, USA, 2015, pp. 177-187CCF B类)
2Tong Xue, Shi Ying, Xiangyang Jia*. Improving Scalability of Compositional Symbolic Execution through Parameterized Summary. Journal of Computers (Taiwan), v26(4), 2016,pp.47-62
3Tong Xue, Xiangyang Jia*, Shi Ying, Qing Wu, Xiaohui Hu, Xiaoying Zhai. Verifying Integrity of Exception Handling in Service-oriented Software. International Journal of Grid and Utility Computing
4Hu Luokai,Ying Shi, Jia Xiangyang, Zhao Kai. A Semantics Based Approach for Cross Domain Access Control. Journal of Internet Technology. 2010, 11(2). pp:279-288

1.软件异常的双路传播模型及其构建与分析方法, 61272108,国家自然科学基金面上项目,已结题,主持
2.面向运行性能改善的SaaS软件部署方案自优化方法, 61373038,国家自然科学基金,在研,主要参与,排名第二
3.国家减灾委国家高分辨率对地观测系统重大专项项目,XX灾害监测预评估与可视化 研究及应用示范,已结题,参与
4.综合减灾空间信息服务应用系统,国家高技术产业化项目卫星及应用产业发展专项项目,已结题,主要参与
5.面向服务软件体系结构设计阶段异常处理的建模和验证,61272113,国家自然科学 基金面上项目,已结题,主要参与,排名第二
6.基于框架的面向服务软件异常处理方法研究, 61070012,国家自然科学基金,已结题,主要参与,排名第二
7.可信软件构造理论与方法研究,编号: 91118003, 国家自然科学基金重大研究计划重点项目,已结题,参与,排名第6
8.面向方面的软件体系结构设计方法研究, 60773006,国家自然科学基金, 已结题,参与
9.支持 OWL-S 需要规约演化的反射机制研究, 2007CB310800,国家 973 项目需求工 对复杂系 统的软件工程的基础研究的子项目,已结题,参与