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

发布时间：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辽宁省抚顺第二中学

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