简介

个人资料:

l 开云官方网站信息公司教授，博士生导师，经理

l 美国南佛罗里达大学(University of SouthFlorida) 数学博士（96）、计算机硕士（98）

l 中国计算机学会软件工程专业委员会委员

l 中国计算机学会Petri网专业委员会委员

l 开云官方网站数学一级硕士点计算数学学科负责人

l 开云官方网站软件工程一级硕士点负责人

l 开云官方网站《计算机软件与理论》研究所负责人

研究兴趣：

需求建模与分析，软件测试与可靠性评估，在线软件失效预测，程序自动修复，智能软件系统与服务机器人。

科研项目

l  （主持）国家自然科学基金国际重大合作项目（重点）：在线软件可靠性工程的理论和方法研究（No.61210004），260万，2013年1月-2017年12月。

l  （主持）国家自然科学基金面上项目：不确定需求的软件建模、分析与测试，78万，2016年1月-2019年12月。

l  （主持）国家自然科学基金面上项目：基于常微分方程的自适应软件模型研究（No. 61170015），55万，2012年1月-2015年12月。

l  （主持）国家自然科学基金重大研究计划（面上项目）：基于常微分方程的程序死锁检测研究（No. 90818013），50万，2009年1月-2011年12月。

l  （主持）浙江省自然科学基金重点项目：服务组合的可靠性计算研究（No.Z1090357），40万，2010年1月-2012年12月。

l  （主持）教育部留学回国人员基金：基于结构的程序自动产生及逆软件工程问题，3万，2008年1月至2010年12月。

发表的文章（近5年）

l 国内外刊物或国际会议上发表学术论文70多篇，包括IEEE Transactions on Service Computing，IEEE Transactions on Fuzzy Systems，IEEE Transactions on Reliability, IEEE Transactions onSMC, Journal of Software and Systems, 中国科学，软件学报，计算机学报，（顶级会议）ICSE等。

教学方面

l 承担本科生《Software Engineering》与《Software Testing》的全英文教学。

l 承担研究生《软件工程中的形式化方法》《基于Petri网的系统工程》和《软件领域前沿问题选讲》等课程。

公司产品：

l  指导硕士研究生20余人，已有10余人获硕士学位。

l  2名员工获全额奖学金被送到国外读博士：江明月同学在澳大利亚Swiburne University of Technology，周远同学在新加坡南阳理工大学。

其它

l AdvancedFiber Communication（美国）公司的高级软件工程师及项目负人（1998-2001）。

l Eshop411（美国）贸易公司的CEO（2003-2005兼）。

l 北京邮电大学ATM中心项目负责人（2001-2002兼）。

联系方式