导师姓名：孔维强
性别：男
人气指数：630

所属院校：大连理工大学
所属院系：国家示范性软件学院
职称：教授
导师类型：硕导/博导
招生专业：软件工程
研究领域： 可信软件技术：通过形式验证（FormalVerification）技术来提高软件系统可靠性... [展开]


研究领域： 可信软件技术：通过形式验证（FormalVerification）技术来提高软件系统可靠性的研究。形式验证的主要思想为：将软件系统（设计或程序代码）进行抽象建模，利用公式对系统应具有的性质（Property）进行描述，之后使用半自动的定理证明（TheoremProving）或全自动的模型检查（ModelChecking）技术分析系统模型的所有运行行为，以检验模型是否满足所描述的性质。 [收起]




通讯方式 :
办公电话：**
电子邮件：wqkong@dlut.edu.cn


个人简述 :
孔维强，教授，博导，软件工程系主任。武汉大学计算机学院本科、硕士学位，JAIST（JapanAdvancedInstituteofScienceandTechnology）信息科学博士学位，曾任FukuokaIndustryScienceandTechnology研究员，KyushuUniversity研究副教授（ResearchAssociateProfessor）。

科研工作 :
长期从事软件工程的可靠性软件子领域-软件形式验证方向的理论及应用研究，在IEEETSC，TheComputerJournal,FormalAspectsofComputing等国际期刊及会议发表论文50余篇；获准和申请形式验证领域的日本专利2项，基于其中1项专利自主研发的模型检测工具Garakabu2已在日本嵌入式软件开发领域市场化。

教育背景 :
2003.102006.9北陆先端科学技术大学院大学信息科学博士2000.92003.6武汉大学软件与理论硕士1996.92000.6武汉大学软件专业学士1993.91996.6辽宁省抚顺第二中学