南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師：魏歐

發(fā)布時(shí)間：2021-10-05 編輯：考研派小莉推薦訪問(wèn)：

南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師：魏歐內(nèi)容如下，更多考研資訊請(qǐng)關(guān)注我們網(wǎng)站的更新！敬請(qǐng)收藏本站，或下載我們的考研派APP和考研派微信公眾號(hào)（里面有非常多的免費(fèi)考研資源可以領(lǐng)取，有各種考研問(wèn)題，也可直接加我們網(wǎng)站上的研究生學(xué)姐微信，全程免費(fèi)答疑，助各位考研一臂之力，爭(zhēng)取早日考上理想中的研究生院校。）

+南京航空航天大學(xué) 研究生
微信,為你答疑,送資源

南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師：魏歐正文

姓名：魏歐	性別：男	行政職務(wù) ：系主任
專(zhuān)業(yè)技術(shù)職務(wù)：副教授	辦公電話(huà)：	導(dǎo)師類(lèi)別：碩士生導(dǎo)師
最后學(xué)歷：博士畢業(yè)	最后學(xué)位：博士	最后畢業(yè)學(xué)校：加拿大多倫多大學(xué)
電子郵件： owei@nuaa.edu.cn
工作單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
◇ 主學(xué)科研究方向：
二級(jí)學(xué)科名稱(chēng)（主）：計(jì)算機(jī)科學(xué)與技術(shù) （招收碩士研究生）		學(xué)科代碼11： 081200
軟件系統(tǒng)建模與分析,模型檢測(cè),軟件設(shè)計(jì)與優(yōu)化,復(fù)雜網(wǎng)絡(luò)驗(yàn)證.
◇ 個(gè)人簡(jiǎn)歷（學(xué)歷、學(xué)術(shù)經(jīng)歷及社會(huì)兼職）：
2009年博士畢業(yè)于加拿大多倫多大學(xué)計(jì)算機(jī)系。1999年至2001年在加拿大麥克馬斯特大學(xué)師從著名計(jì)算機(jī)軟件大師David Parnas教授進(jìn)行軟件需求研究，2001年至2003年在美國(guó)威斯康星州任通用電氣公司軟件工程師，2003年至2009年，在多倫多大學(xué)師從 Marsha Chechik教授進(jìn)行軟件模型檢測(cè)研究。在此期間與美國(guó)卡內(nèi)基梅隆大學(xué)軟件工程研究所Arie Gurfinkel研究員合作開(kāi)發(fā)的Yasm是國(guó)際上第一個(gè)支持證實(shí)證偽抽象的軟件模型檢測(cè)器。2007年在國(guó)際頂級(jí)實(shí)驗(yàn)室－NEC美國(guó)普林斯頓實(shí)驗(yàn)室進(jìn) 行軟件靜態(tài)分析的研究。相關(guān)論文發(fā)表在軟件驗(yàn)證的國(guó) 際重要期刊 Information and Computation ，以及 VMCAI，CAV，CHARME，SAS等核心會(huì)議上，被包括卡內(nèi)基梅隆大學(xué)，劍橋大學(xué)，微軟美國(guó)研究院，牛津大學(xué)等機(jī)構(gòu)在內(nèi)的研究人員多次引用。任 ACM TOPLAS，IEEE TSE，POPL，CAV，CONCUR，TACAS，ASE等著名期刊和會(huì)議審稿人。2009年起在南航從事教學(xué)科研工作。目前已主持完成和正在進(jìn)行的研究包括南航引進(jìn)人才基金項(xiàng)目，南航基本科研業(yè)務(wù)費(fèi)資助項(xiàng)目，中國(guó)博士后基金項(xiàng)目，中航工業(yè)研究所合作項(xiàng)目，國(guó)家自然科學(xué)基金項(xiàng)目等多項(xiàng)科研項(xiàng)目。
◇ 發(fā)表學(xué)術(shù)論文,出版專(zhuān)著情況：
部分論文列表： -- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “On the Consistency, Expressiveness and Precision of Partial Models”. Information and Computation, Volume 209, Issue 1, pages 20-47, 2011. -- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “Mixed Transition Systems Revisited”. In Proceedings of 10th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’09), vol. 5403 of Lecture Notes in Computer Science, pages 349-365, 2009. -- Aws Albarghouthi, Arie. Gurfinkel, Ou Wei, and Marsha Chechik “Abstract Analysis of Symbolic Executions”. In Proceedings of 22th International Conference on Computer Aided Verification (CAV’10), vol. 6174 of Lecture Notes in Computer Science, pages 495-510, 2010. -- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Model Checking Recursive Programs with Exact Predicate Abstraction”. In Proceedings of 6th International Symposium on Automated Technology for Verification and Analysis (ATVA’08), vol. 5311 of Lecture Notes in Computer Science, pages 95-110, 2008. -- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Yasm： A Software Model-Checker for Verification and Refutation”. In Proceedings of 18th International Conference on Computer Aided Verification (CAV’06), vol. 4144 of Lecture Notes in Computer Science, pages 170-174, 2006. -- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Systematic Construction of Abstractions for Model-Checking”. In Proceedings of 7th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’06), vol. 3855 of Lecture Notes in Computer Science, pages 381-397, 2006. -- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “Identification and Counter Abstraction for Full Virtual Symmetry”. In Proceedings of 13th Advanced Working Conference on Correct Hardware Design and Verification Methods (CHARME’05), vol. 3725 of Lecture Notes in Computer Science, pages 285-300, 2005. -- 魏歐，袁勇，蔡昕燁，黃志球. “循環(huán)對(duì)稱(chēng)化簡(jiǎn)及在三值模型上的擴(kuò)展”. 《軟件學(xué)報(bào)》，2011.6. -- Ou Wei. “Culture and Software Engineering Education – A Personal View”. In 2010 International Symposium on Collaborative Software Engineering (ISCSE’10), Invited Talk. 2010. -- Gogul Balkian, Sriram Sankyan, Franjo Ivancic, Ou Wei, and Aarti Gupta. “SLR： Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement”. In Proceedings of 15th International Static Analysis Symposium (SAS’08), vol. 5079 of Lecture Notes in Computer Science, pages 238-254, 2008.
◇ 承擔(dān)的科研項(xiàng)目情況：
目前主要承擔(dān)國(guó)家自然科學(xué)基金與中國(guó)科學(xué)院戰(zhàn)略性先導(dǎo)科技專(zhuān)項(xiàng)等項(xiàng)目
◇ 指導(dǎo)研究生情況：
目前指導(dǎo)碩士生三人.歡迎對(duì)下列領(lǐng)域感興趣的同學(xué)報(bào)考：軟件系統(tǒng)建模,軟件系統(tǒng)化簡(jiǎn),軟件設(shè)計(jì)優(yōu)化,軟件產(chǎn)品線(xiàn)工程,嵌入式軟件系統(tǒng),傳播網(wǎng)絡(luò).將會(huì)盡力為真正希望學(xué)習(xí)知識(shí)提高科研能力的同學(xué)提供支持. 指導(dǎo)理念和原則：導(dǎo)師和研究生是合作關(guān)系, 而非雇傭關(guān)系. You work with me, not work for me. 鼓勵(lì)從事具有創(chuàng)新性的工作,提高能夠受益終身的個(gè)人能力,培養(yǎng)具有優(yōu)秀綜合素質(zhì)的高端人才. 注意：報(bào)考時(shí)請(qǐng)?zhí)顚?xiě)"計(jì)算機(jī)科學(xué)與技術(shù)"學(xué)科專(zhuān)業(yè).
◇ 備注：
Committed to equality of opportunity for all prospective and existing students. All students will be treated solely on the basis of their performance and capability regardless of gender, age, ethnicity, belief, and previous school.

　　*如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。聯(lián)系方式>>

以上老師的信息來(lái)源于學(xué)校網(wǎng)站，如有更新或錯(cuò)誤，請(qǐng)聯(lián)系我們進(jìn)行更新或刪除，聯(lián)系方式

添加南京航空航天大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[南京航空航天大學(xué)考研分?jǐn)?shù)線(xiàn)、南京航空航天大學(xué)報(bào)錄比、南京航空航天大學(xué)考研群、南京航空航天大學(xué)學(xué)姐微信、南京航空航天大學(xué)考研真題、南京航空航天大學(xué)專(zhuān)業(yè)目錄、南京航空航天大學(xué)排名、南京航空航天大學(xué)保研、南京航空航天大學(xué)公眾號(hào)、南京航空航天大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)南京航空航天大學(xué)考研信息或資源。