| 二级学科名称（主）： 计算机科学与技术 （招收硕士研究生） | 学科代码11： 081200 | ||
| 软件系统建模与分析,模型检测,软件设计与优化,复杂网络验证. | |||
| ◇个人简历（学历、学术经历及社会兼职）： | |||
| 2009年博士毕业于加拿大多伦多大学计算机系。1999年至2001年在加拿大 麦克马斯特大学师从著名计算机软件大师David Parnas教授进行软件需求研究，2001年至2003年在美国威斯康星州任通用电气公司软件工程师，2003年至2009年，在多伦多大学师从 Marsha Chechik教授进行软件模型检测研究。在此期间与美国卡内基梅隆大学软件工程研究所Arie Gurfinkel研究员合作开发的Yasm是国际上第一个支持证实证伪抽象的软件模型检测器。2007年在国际顶级实验室－NEC美国普林斯顿实验室进 行软件静态分析的研究。相关论文发表在软件验证的国 际 重 要 期 刊 Information and Computation ， 以 及 VMCAI，CAV，CHARME，SAS等核心会议上，被包括卡内基梅隆大学，剑桥大学，微软美国研究院，牛津大学等机构在内的研究人员多次引用。任 ACM TOPLAS，IEEE TSE，POPL，CAV，CONCUR，TACAS，ASE等著名期刊和会议审稿人。2009年起在南航从事教学科研工作。目前已主持完成和正在进行的 研究包括南航引进人才基金项目，南航基本科研业务费资助项目，中国博士后基金项目，中航工业研究所合作项目，国家自然科学基金项目等多项科研项目。 | |||
| ◇发表学术论文,出版专著情况： | |||
| 部分论文列表： -- 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. -- 魏欧，袁勇，蔡昕烨，黄志球. 循环对称化简及在三值模型上的扩展. 《软件学报》，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. | |||
| ◇承担的科研项目情况： | |||
| 目前主要承担国家自然科学基金与中国科学院战略性先导科技专项等项目 | |||
| ◇指导研究生情况： | |||
目前指导硕士生三人.欢迎对下列领域感兴趣的同学报考：软件系统建模,软件系统化简,软件设计优化,软件产品线工程,嵌入式软件系统,传播网络.将会尽力为真正希望学习知识提高科研能力的同学提供支持. 指导理念和原则： 导师和研究生是合作关系,而非雇佣关系. You work with me,not work for me. 鼓励从事具有创新性的工作,提高能够受益终身的个人能力,培养具有优秀综合素质的高端人才. 注意： 报考时请填写"计算机科学与技术"学科专业. | |||
| ◇备注： | |||
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. | |||
*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>
免责声明
本文章来源为院校研究生官网，如对稿件内容有疑问，请与院校招生办联系。学分高考转载出于非商业性的教育和科研之目的，不代表赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请来函136311265@qq.com联系修改或删除。
温馨提示：
微信扫码关注公众号
获取更多考试热门资料
