錢俊彥

錢俊彥（1973-），男，教授，浙江嵊縣人，東南大學博士，現在國防科學技術大學做博士後研究。

基本介紹

• 中文名：錢俊彥
• 國籍：中國
• 民族：漢
• 出生日期：1973

個人簡介

中國計算機學會高級會員。2008年為“廣西高等學校優秀人才資助計畫”人選。主持國家自然科學基金、中國博士後基金、國防預先研究項目、廣西區自然科學青年基金、武漢大學軟體工程國家重點實驗室開放基金、廣西高校優秀人才資助項目、廣西高等教育教學改革項目等項目，並作為主要人員參與國家傑出青年基金、國家自然科學基金、國防九五及十五重點預先研究項目、廣西區自然科學基金等在內的多項國家級、省部級科研項目，研究內容涉及軟體工程、模型檢驗和軟體驗證等方面。2004年榮獲廣西區科技進步三等獎，且在國際期刊、會議及中文核心期刊發表或錄用論文50多篇，其中SCI、EI已收錄23篇。　

社會任職

WISA 2009組織委員會主席

在研項目

國家自然科學基金“基於抽象和符號技術的並發軟體驗證研究” (主持)

中國博士後基金（一等資助）“基於抽象解釋的限界模型檢驗研究” (主持)

國防預研項目“******驗證” (主持)

武漢大學軟體工程國家重點實驗室開放基金項目“軟體程式的抽象模型檢驗研究”(主持)

廣西高等學校優秀人才資助計畫項目“軟體的形式化驗證研究” (主持)

校級科研基金項目“軟體的形式化驗證研究” (主持)

已完成項目

國家自然科學基金“基於依賴公式抽象的軟體模型檢測研究”(主持)

國防十一五支撐項目“國防科研試製費管理系統”(主持)

廣西自然科學青年基金“UML Statecharts及其時間擴展的模型檢驗技術研究”(主持)

橫向項目“基於嵌入式DSP的視頻行為智慧型分析算法研究” (主持)

國家傑出青年科學基金“軟體工程學” 參與

國家自然科學基金“裝配序列生成的符號技術研究” 參與（排名第四）

廣西自然科學青年基金“基於抽象解釋的邏輯程式驗證技術研究” 參與（排名第三）

國防十五支撐項目“國防電子財務信息管理系統” 參與（第二）

廣西區物價局“廣西區物價收費管理系統”（獲廣西科技進步三等獎） 參與（第三）

南昌大學科學技術學院“學分制收費管理系統”參與（第二）

教改項目

廣西高等教育教學改革工程“軟體工程專業課程體系建設研究與實踐” 主持

校級教改項目“基於合作學習的軟體工程教學研究” 參與（第二）

“軟體工程精品課程建設” 參與（第二）