大連理工大學(xué)國家示范性軟件學(xué)院導(dǎo)師：孔維強

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

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

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

大連理工大學(xué)國家示范性軟件學(xué)院導(dǎo)師：孔維強正文

[導(dǎo)師姓名]
孔維強

[所屬院校]
大連理工大學(xué)

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

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

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

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

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

大連理工大學(xué)

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