人物經歷
多年來工作在教學科研第一線,任中國計量學院研究生部教授、碩士生導師。2000年獲計算機科學與技術專業博士學位。
研究方向
主要從事軟體工程、可信軟體、實時系統、網路安全等領域。
在研課題
2010年度浙江省人力資源和社會保障廳留學人員科技活動項目擇優資助(項目啟動):基於自然計算和信任管理的P2P網路安全的研究。
主要貢獻
主講多門本科生課程,已發表論文30餘篇,其中10餘篇被EI或ISTP收錄。曾在加拿大的Bishop大學做訪問學者一年。浙江省計算機套用與教育學會教育委員會十三屆年會優秀論文:軟體工程課程的教學理論與實踐的研究與探討。
主要專著
UML時間順序圖的自動驗證技術. 中國計量學院學報. 21:(2):124-129, 2010年6月,ISBN: 1004-154, 署名第二;
基於UML時間順序圖的實時系統建模及驗證. 中國計量學院學報. 21:(1):46-51, 2010年4月,ISBN: 1004-154, 署名第二;
軟體工程課程的教學理論與實踐的研究與探討.《高校計算機教學與研究》(第三輯)---浙江省計算機套用與教育學會教育委員會第十三屆年會論文集,p95-100,科學出版社, 中國紹興,(2009年11月13-15日),ISBN: 978-7-03-021802-5,署名第一;
基於WCF框架的分步式車輛調度系統. 工業控制計算機, 2009, 22(6):79-80,ISBN: 1001-182X,署名第二;
軟體工程課程教學改革與精品課程建設的探討.《高校計算機教學與研究》(第二輯)---浙江省計算機套用與教育學會教育委員會第十二屆年會論文集,科學出版社, p8-12,中國杭州臨安,ISBN: 978–7–03–021802–5 (2008年11月13-14日) ,署名第一;
基於預序的互動行為分析. 第四屆和諧人機環境聯合學術會議 (The 4th Jiont Conference on Harmonious Human Machine Environment , HHME2008),p653-660,25-27 Oct., Wuhan China (2008 年10月) ,署名第一;
短距離無線技術在智慧型系統中套用與研究. 中國質量經濟,2005,(3):54-57,署名第一;
基於分解綜合的創造設計的研究. 計算機輔助設計與圖形學學報,2000,12(7):548-553,署名第一;
基於空間探索的創造性設計方法的研究.計算機輔助設計與圖形學學報,2000,12(6):441-445,署名第一;
用神經網路求解時間驅動的宏單元布局問題.計算機研究與發展,2000,37(1):23-29,署名第一;
創造性設計方法的研究. 計算機科學,2000,27(3):6-9,28,署名第一;
利用分治技術的智慧型推理. 計算機科學,1999,26(3):29-33,署名第一;
在協作設計系統互動環境中的解釋. 計算機科學,1999,26(9):40-44,署名第一;
複合事例推理的方法研究. 計算機科學,1998,25(6):58-62,署名第一。
科研項目
計算機實時系統建模及驗證方法的研究,縱向,省教育廳,2008,排名第一。