毕业于浙江大学，获计算机科学与技术博士学位。美国纽约州立大学计算机系访问学者。现为浙江理工大学信息学院数字媒体技术系主任，从事软件工程方面的研究和教学工作，主要研究方向是软件智能化测试和验证、移动商务系统开发等。

     曾先后参与和主持国家自然科学青年基金《拓扑强动态条件下无线自组织网络的一致性测试方法研究》，浙江省自然科学基金项目《协议形式化描述与ATS自动生成技术研究》，浙江省重点科技攻关计划项目《通信协议一致性测试集自动生成软件》和浙江省教育厅科研项目《基于重用驱动SDL模式的通信协议开发技术研究》和《节能建筑智能集控平台的研发》等科研项目。
     曾在《软件学报》、《计算机研究与发展》，《Information and Software Technology》等国内外重要刊物上发表论文20余篇，取得软件著作权20项，申请发明专利8项。

软件智能化测试、移动商务系统开发等。