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

發(fā)布時間：2021-10-05 編輯：考研派小莉 推薦訪問：
南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院導(dǎo)師：魏歐

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

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

 


姓名： 魏歐 性 別： 男 行政職務(wù) ： 系主任  
專業(yè)技術(shù)職務(wù)： 副教授 辦公電話： 導(dǎo)師類別： 碩士生導(dǎo)師  
最后學(xué)歷： 博士畢業(yè) 最后學(xué)位： 博士 最后畢業(yè)學(xué)校： 加拿大多倫多大學(xué)  
電子郵件： owei@nuaa.edu.cn      
工作單位： 計算機科學(xué)與技術(shù)學(xué)院      
◇ 主學(xué)科研究方向：
二級學(xué)科名稱（主）： 計算機科學(xué)與技術(shù) （招收碩士研究生） 學(xué)科代碼11： 081200
軟件系統(tǒng)建模與分析,模型檢測,軟件設(shè)計與優(yōu)化,復(fù)雜網(wǎng)絡(luò)驗證.
◇ 個人簡歷（學(xué)歷、學(xué)術(shù)經(jīng)歷及社會兼職）：
2009年博士畢業(yè)于加拿大多倫多大學(xué)計算機系。1999年至2001年在加拿大 麥克馬斯特大學(xué)師從著名計算機軟件大師David Parnas教授進(jìn)行軟件需求研究，2001年至2003年在美國威斯康星州任通用電氣公司軟件工程師，2003年至2009年，在多倫多大學(xué)師從 Marsha Chechik教授進(jìn)行軟件模型檢測研究。在此期間與美國卡內(nèi)基梅隆大學(xué)軟件工程研究所Arie Gurfinkel研究員合作開發(fā)的Yasm是國際上第一個支持證實證偽抽象的軟件模型檢測器。2007年在國際頂級實驗室－NEC美國普林斯頓實驗室進(jìn) 行軟件靜態(tài)分析的研究。相關(guān)論文發(fā)表在軟件驗證的國 際 重 要 期 刊 Information and Computation ， 以 及 VMCAI，CAV，CHARME，SAS等核心會議上，被包括卡內(nèi)基梅隆大學(xué)，劍橋大學(xué)，微軟美國研究院，牛津大學(xué)等機構(gòu)在內(nèi)的研究人員多次引用。任 ACM TOPLAS，IEEE TSE，POPL，CAV，CONCUR，TACAS，ASE等著名期刊和會議審稿人。2009年起在南航從事教學(xué)科研工作。目前已主持完成和正在進(jìn)行的 研究包括南航引進(jìn)人才基金項目，南航基本科研業(yè)務(wù)費資助項目，中國博士后基金項目，中航工業(yè)研究所合作項目，國家自然科學(xué)基金項目等多項科研項目。
◇ 發(fā)表學(xué)術(shù)論文,出版專著情況：
部分論文列表：
-- 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)對稱化簡及在三值模型上的擴展”. 《軟件學(xué)報》，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)的科研項目情況：
目前主要承擔(dān)國家自然科學(xué)基金與中國科學(xué)院戰(zhàn)略性先導(dǎo)科技專項等項目
◇ 指導(dǎo)研究生情況：

目前指導(dǎo)碩士生三人.歡迎對下列領(lǐng)域感興趣的同學(xué)報考：軟件系統(tǒng)建模,軟件系統(tǒng)化簡,軟件設(shè)計優(yōu)化,軟件產(chǎn)品線工程,嵌入式軟件系統(tǒng),傳播網(wǎng)絡(luò).將會盡力為真正希望學(xué)習(xí)知識提高科研能力的同學(xué)提供支持.

指導(dǎo)理念和原則： 導(dǎo)師和研究生是合作關(guān)系, 而非雇傭關(guān)系. You work with me, not work for me. 鼓勵從事具有創(chuàng)新性的工作,提高能夠受益終身的個人能力,培養(yǎng)具有優(yōu)秀綜合素質(zhì)的高端人才.

注意： 報考時請?zhí)顚?quot;計算機科學(xué)與技術(shù)"學(xué)科專業(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)師信息存在錯誤或者偏差，歡迎隨時與我們聯(lián)系，以便進(jìn)行更新完善。聯(lián)系方式>>

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

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

南京航空航天大學(xué)考研公眾號 考研派小站公眾號
南京航空航天大學(xué)

本文來源：http://www.qiang-kai.com/nanjinghangkonghangtian/daoshi_474046.html

推薦閱讀