大連理工大學國家示范性軟件學院導師：孔維強

發(fā)布時間：2021-11-20 編輯：考研派小莉推薦訪問：

大連理工大學國家示范性軟件學院導師：孔維強內(nèi)容如下，更多考研資訊請關注我們網(wǎng)站的更新！敬請收藏本站，或下載我們的考研派APP和考研派微信公眾號（里面有非常多的免費考研資源可以領取，有各種考研問題，也可直接加我們網(wǎng)站上的研究生學姐微信，全程免費答疑，助各位考研一臂之力，爭取早日考上理想中的研究生院校。）

+大連理工大學研究生
微信,為你答疑,送資源

大連理工大學水利工程學院導師：安海艷大連理工大學結(jié)構(gòu)工程專業(yè)導師孔宇航介紹大連理工大學結(jié)構(gòu)工程專業(yè)導師唐建介紹大連理工大學結(jié)構(gòu)工程專業(yè)導師齊康介紹大連理工大學物理化學研究生導師梁長海介紹大連理工大學化學工程研究生導師張寧介紹 95%的同學還閱讀了： [2022大連理工大學研究生招生目錄] [大連理工大學研究生分數(shù)線[2013-2021]] [大連理工大學王牌專業(yè)排名] [大連理工大學考研難嗎] [大連理工大學研究生院] [大連理工大學考研群] [大連理工大學研究生學費] 大連理工大學保研夏令營大連理工大學考研調(diào)劑2022最新信息 [大連理工大學研究生輔導] [考研國家線[2006-2021]] [2022年考研時間：報名日期和考試時間]

大連理工大學國家示范性軟件學院導師：孔維強正文

[導師姓名]
孔維強

[所屬院校]
大連理工大學

[基本信息]
導師姓名：孔維強
性別：男
人氣指數(shù)：2369
所屬院校：大連理工大學
所屬院系：國家示范性軟件學院
職稱：教授
導師類型：碩導/博導
招生專業(yè)：軟件工程
研究領域：可信軟件技術(shù)：通過形式驗證（FormalVerification）技術(shù)來提高軟件系統(tǒng)可靠性...

[通訊方式]
辦公電話：0411-62274401
電子郵件：wqkong@dlut.edu.cn

[個人簡述]
孔維強，教授，博導，軟件工程系主任。武漢大學計算機學院本科、碩士學位，JAIST（JapanAdvancedInstituteofScienceandTechnology）信息科學博士學位，曾任FukuokaIndustryScienceandTechnology研究員，KyushuUniversity研究副教授（ResearchAssociateProfessor）。

[科研工作]
長期從事軟件工程的可靠性軟件子領域-軟件形式驗證方向的理論及應用研究，在IEEETSC，TheComputerJournal,FormalAspectsofComputing等國際期刊及會議發(fā)表論文50余篇；獲準和申請形式驗證領域的日本專利2項，基于其中1項專利自主研發(fā)的模型檢測工具Garakabu2已在日本嵌入式軟件開發(fā)領域市場化。

[教育背景]
2003.102006.9北陸先端科學技術(shù)大學院大學信息科學博士2000.92003.6武漢大學軟件與理論碩士1996.92000.6武漢大學軟件專業(yè)學士1993.91996.6遼寧省撫順第二中學

大連理工大學

添加大連理工大學學姐微信，或微信搜索公眾號“考研派小站”，關注【考研派小站】微信公眾號，在考研派小站微信號輸入【大連理工大學考研分數(shù)線、大連理工大學報錄比、大連理工大學考研群、大連理工大學學姐微信、大連理工大學考研真題、大連理工大學專業(yè)目錄、大連理工大學排名、大連理工大學保研、大連理工大學公眾號、大連理工大學研究生招生）】即可在手機上查看相對應大連理工大學考研信息或資源。