陳建國

多年來工作在教學科研第一線，任中國計量學院研究生部教授、碩士生導師。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，排名第一。