![大连理工大学国家示范性软件学院导师:孔维强 大连理工大学国家示范性软件学院导师:孔维强](https://img.okaoyan.com/大连理工大学/3.jpg)
大连理工大学国家示范性软件学院导师:孔维强的内容如下,更多考研资讯请关注我们考研派网站的更新!敬请收藏本站。或下载我们的考研派APP和考研派微信公众号(里面有非常多的免费考研资源可以领取哦)[大连理工大学水利工程学院导师:安海艳] [大连理工大学结构工程专业导师孔宇航介绍] [大连理工大学结构工程专业导师唐建介绍] [大连理工大学结构工程专业导师齐康介绍] [大连理工大学物理化学研究生导师梁长海介绍] [大连理工大学化学工程研究生导师张宁介绍]
为你答疑,送资源
![](http://www.okaoyan.com/images/xuejie/大连理工大学.jpg)
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辽宁省抚顺第二中学
添加大连理工大学学姐微信,或微信搜索公众号“考研派之家”,关注【考研派之家】微信公众号,在考研派之家微信号输入【大连理工大学考研分数线、大连理工大学报录比、大连理工大学考研群、大连理工大学学姐微信、大连理工大学考研真题、大连理工大学专业目录、大连理工大学排名、大连理工大学保研、大连理工大学公众号、大连理工大学研究生招生)】即可在手机上查看相对应大连理工大学考研信息或资源。
![大连理工大学考研公众号](https://img.okaoyan.com/gzh/大连理工大学.png)
![考研派之家公众号](https://img.okaoyan.com/gzh/kyp.jpg)
本文来源:http://m.okaoyan.com/dalianligongdaxue/daoshi_519316.html