南京航空航天大學計算機科學與技術學院導師：魏歐

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

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

南京航空航天大學計算機科學與技術學院導師：魏歐 正文

 


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

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

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

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

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

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

南京航空航天大學考研公眾號 考研派小站公眾號
南京航空航天大學

本文來源：http://www.lyhuahuisp.com/nanjinghangkonghangtian/daoshi_474046.html

推薦閱讀