孔维强
[所属院校]
大连理工大学
[基本信息]
导师姓名：孔维强
性别：男
人气指数：2369
所属院校：大连理工大学
所属院系：国家示范性软件学院
职称：教授
导师类型：硕导/博导
招生专业：软件工程
研究领域：可信软件技术：通过形式验证（FormalVerification）技术来提高软件系统可靠性...
[通讯方式]
办公电话：0411-62274401
电子邮件：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辽宁省抚顺第二中学