大连理工大学国家示范性软件学院导师：孔维强

发布时间：2021-11-20 编辑：考研派小莉推荐访问：

大连理工大学国家示范性软件学院导师：孔维强内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+大连理工大学研究生
微信,为你答疑,送资源

大连理工大学水利工程学院导师：安海艳大连理工大学结构工程专业导师孔宇航介绍大连理工大学结构工程专业导师唐建介绍大连理工大学结构工程专业导师齐康介绍大连理工大学物理化学研究生导师梁长海介绍大连理工大学化学工程研究生导师张宁介绍 95%的同学还阅读了： [2022大连理工大学研究生招生目录] [大连理工大学研究生分数线[2013-2021]] [大连理工大学王牌专业排名] [大连理工大学考研难吗] [大连理工大学研究生院] [大连理工大学考研群] [大连理工大学研究生学费] 大连理工大学保研夏令营大连理工大学考研调剂2022最新信息 [大连理工大学研究生辅导] [考研国家线[2006-2021]] [2022年考研时间：报名日期和考试时间]

大连理工大学国家示范性软件学院导师：孔维强正文

[导师姓名]
孔维强

[所属院校]
大连理工大学

[基本信息]
导师姓名：孔维强
性别：男
人气指数：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辽宁省抚顺第二中学

大连理工大学

添加大连理工大学学姐微信，或微信搜索公众号“考研派小站”，关注【考研派小站】微信公众号，在考研派小站微信号输入【大连理工大学考研分数线、大连理工大学报录比、大连理工大学考研群、大连理工大学学姐微信、大连理工大学考研真题、大连理工大学专业目录、大连理工大学排名、大连理工大学保研、大连理工大学公众号、大连理工大学研究生招生）】即可在手机上查看相对应大连理工大学考研信息或资源。