教育背景
美国南佛罗里达大学
工作经历
项目课题经历
（主持）国家自然科学基金国际重大合作项目（重点）：在线软件可靠性工程的理论和方法研究（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月。
论文、成果、著作等
发表学术论文70多篇
专利、著作版权等
声明：本站专家信息来源于各高校官网。
