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

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

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

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

2003年之前，湖北省老河口市，从事教育工作
2008年之后，外围投注365

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

1、Xiangyang 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-187（CCF B类）
2、Tong Xue, Shi Ying, Xiangyang Jia*. Improving Scalability of Compositional Symbolic Execution through Parameterized Summary. Journal of Computers (Taiwan), v26(4), 2016,pp.47-62
3、Tong 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
4、Hu 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 项目“需求工 程—对复杂系 统的软件工程的基础研究”的子项目,已结题,参与