简介
个人资料:
l 新葡萄88805官网信息学院教授，博士生导师，院长
l 美国南佛罗里达大学(University of SouthFlorida) 数学博士（96）、计算机硕士（98）
l 中国计算机学会软件工程专业委员会委员
l 中国计算机学会Petri网专业委员会委员
l 新葡萄88805官网数学一级硕士点计算数学学科负责人
l 新葡萄88805官网软件工程一级硕士点负责人
l 新葡萄88805官网《计算机软件与理论》研究所负责人
研究兴趣：
需求建模与分析，软件测试与可靠性评估，在线软件失效预测，程序自动修复，智能软件系统与服务机器人。
科研项目
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兼）。
