桂林电子科技大学教授

钱俊彦（1973-），男，教授，浙江嵊县人，东南大学博士，现在国防科学技术大学做博士后研究。中国计算机学会高级会员。2008年为“广西高等学校优秀人才资助计划”人选。主持国家自然科学基金、中国博士后基金、国防预先研究项目、广西区自然科学青年基金、武汉大学软件工程国家重点实验室开放基金、广西高校优秀人才资助项目、广西高等教育教学改革项目等项目，并作为主要人员参与国家杰出青年基金、国家自然科学基金、国防九五及十五重点预先研究项目、广西区自然科学基金等在内的多项国家级、省部级科研项目，研究内容涉及软件工程、模型检验和软件验证等方面。2004年荣获广西区科技进步三等奖，且在国际期刊、会议及中文核心期刊发表或录用论文50多篇，其中SCI、EI已收录23篇。

社会任职：

WISA 2009组织委员会主席

在研项目

国家自然科学基金“基于抽象和符号技术的并发软件验证研究” (主持)

中国博士后基金（一等资助）“基于抽象解释的限界模型检验研究” (主持)

国防预研项目“******验证”　 　 　 　 (主持)

武汉大学软件工程国家重点实验室开放基金项目“软件程序的抽象模型检验研究”(主持)

广西高等学校优秀人才资助计划项目“软件的形式化验证研究” 　 　 　 　 (主持)

校级科研基金项目“软件的形式化验证研究” 　 　 　 　 (主持)

已完成项目:

国家自然科学基金“基于依赖公式抽象的软件模型检测研究”(主持)

国防十一五支撑项目“国防科研试制费管理系统”(主持)

广西自然科学青年基金“UML Statecharts及其时间扩展的模型检验技术研究”(主持)

横向项目“基于嵌入式DSP的视频行为智能分析算法研究” (主持)

国家杰出青年科学基金“软件工程学” 　 　 　 　 参与

国家自然科学基金“装配序列生成的符号技术研究” 　 　 　 　 参与（排名第四）

广西自然科学青年基金“基于抽象解释的逻辑程序验证技术研究”　 　 　 　 参与（排名第三）

国防十五支撑项目“国防电子财务信息管理系统”　 　 　 　 参与（第二）

广西区物价局“广西区物价收费管理系统”（获广西科技进步三等奖） 参与（第三）

南昌大学科学技术学院“学分制收费管理系统”参与（第二）

教改项目

广西高等教育教学改革工程“软件工程专业课程体系建设研究与实践”　 　 　 　 主持

校级教改项目“基于合作学习的软件工程教学研究” 参与（第二）

“软件工程精品课程建设” 参与（第二）