简介
个人资料：
l 浙江理工大学计算机科学与技术学院（人工智能学院）教授，博士生导师，院长
l 美国南佛罗里达大学(University of South Florida) 数学博士（96）、计算机硕士（98）
l 中国计算机学会软件工程专业委员会委员
l 中国计算机学会Petri网专业委员会委员
l 《软件学报》编委
l 软件工程浙江省“十四五”一流学科(A类)负责人
l 浙江理工大学软件工程一级博士点负责人
l 浙江理工大学软件工程一级硕士点负责人
l 浙江理工大学《计算机软件与理论》研究所负责人
研究兴趣：
需求建模与分析，软件测试与可靠性评估，在线软件失效预测，程序自动修复，智能软件系统与服务机器人，智能制造控制系统。
科研项目：
l （主持）国家自然科学基金应急管理项目（重点）：面向多无人机系统的认知建模理论与自适应协同方法研究（No.61751210），220万，2018年1月-2022年12月。
l （主持）国家自然科学基金国际重大合作项目（重点）：在线软件可靠性工程的理论和方法研究（No.61210004），260万，2013年1月-2017年12月。
l （主持）浙江省“尖兵”研发攻关计划项目：面向智能制造的场景操作系统的研究（No.22030039-E），745万，2022年1月-2024年12月。
l （参与）国家自然科学基金重点项目：面向智能制造的操作系统体系结构与自主安全内核（No.61210004），299万，2022年1月-2026年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 国内外刊物或国际会议上发表学术论文80多篇，包括IEEE Transactions on Software Engineering, IEEE Transactions on Service Computing, IEEE Transactions on Fuzzy Systems, IEEE Transactions on Reliability, IEEE Transactions on SMC, Journal of Software and Systems, 中国科学，软件学报，计算机学报，（顶级会议）ICSE等。
教学方面：
l 承担本科生《Software Engineering》与《Software Testing》的全英文教学。
l 承担研究生《软件工程中的形式化方法》《基于Petri网的系统工程》和《软件领域前沿问题选讲》等课程。
研究生培养：
l 指导硕士研究生20余人，已有10余人获硕士学位。
l 2名学生获全额奖学金被送到国外读博士：江明月同学在澳大利亚Swiburne University of Technology，周远同学在新加坡南阳理工大学。
其它
l Advanced Fiber Communication（美国）公司的高级软件工程师及项目负人（1998-2001）。
l Eshop411（美国）贸易公司的CEO（2003-2005兼）。
l 北京邮电大学ATM中心项目负责人（2001-2002兼）。
研究领域
需求建模与分析，软件测试与可靠性评估，在线软件失效预测，程序自动修复，智能软件系统与服务机器人，智能制造控制系统。
