姓名：夏正友性别：男行政职务： 专业技术职务：副教授办公电话：

 姓名：魏欧性别：男行政职务：系主任 专业技术职务：副教授办公电话：导师类别：硕士生导师 最后学历：博士毕业最后学位：博士最后毕业学校：加拿大多伦多大学 电子邮件：owei@nuaa.e.cn   工作单位：计算机科学与技术学院   ◇主学科研究方向：二级学科名称（主）：计算机科学与技术（招收硕士研究生）学科代码11：081200软件系统建模与分析,模型检测,软件设计与优化,复杂网络验证.◇个人简历（学历、学术经历及社会兼职）：2009年博士毕业于加拿大多伦多大学计算机系。1999年至2001年在加拿大麦克马斯特大学师从著名计算机软件大师DavidParnas教授进行软件需求研究，2001年至2003年在美国威斯康星州任通用电气公司软件工程师，2003年至2009年，在多伦多大学师从MarshaChechik教授进行软件模型检测研究。在此期间与美国卡内基梅隆大学软件工程研究所ArieGurfinkel研究员合作开发的Yasm是国际上第一个支持证实证伪抽象的软件模型检测器。2007年在国际顶级实验室－NEC美国普林斯顿实验室进行软件静态分析的研究。相关论文发表在软件验证的国际重要期刊InformationandComputation，以及VMCAI，CAV，CHARME，SAS等核心会议上，被包括卡内基梅隆大学，剑桥大学，微软美国研究院，牛津大学等机构在内的研究人员多次引用。任ACMTOPLAS，IEEETSE，POPL，CAV，CONCUR，TACAS，ASE等著名期刊和会议审稿人。2009年起在南航从事教学科研工作。目前已主持完成和正在进行的研究包括南航引进人才基金项目，南航基本科研业务费资助项目，中国博士后基金项目，中航工业研究所合作项目，国家自然科学基金项目等多项科研项目。◇发表学术论文,出版专著情况：部分论文列表：--OuWei,ArieGurfinkel,andMarshaChechik.“OntheConsistency,ExpressivenessandPrecisionofPartialModels”.InformationandComputation,Volume209,Issue1,pages20-47,2011.--OuWei,ArieGurfinkel,andMarshaChechik.“MixedTransitionSystemsRevisited”.InProceedingsof10thInternationalConferenceonVerification,Model-Checking,andAbstractInterpretation(VMCAI’09),vol.5403ofLectureNotesinComputerScience,pages349-365,2009.--AwsAlbarghouthi,Arie.Gurfinkel,OuWei,andMarshaChechik“AbstractAnalysisofSymbolicExecutions”.InProceedingsof22thInternationalConferenceonComputerAidedVerification(CAV’10),vol.6174ofLectureNotesinComputerScience,pages495-510,2010.--ArieGurfinkel,OuWei,andMarshaChechik.“ModelCheckingRecursiveProgramswithExactPredicateAbstraction”.InProceedingsof6thInternationalSymposiumonAutomatedTechnologyforVerificationandAnalysis(ATVA’08),vol.5311ofLectureNotesinComputerScience,pages95-110,2008.--ArieGurfinkel,OuWei,andMarshaChechik.“Yasm：ASoftwareModel-CheckerforVerificationandRefutation”.InProceedingsof18thInternationalConferenceonComputerAidedVerification(CAV’06),vol.4144ofLectureNotesinComputerScience,pages170-174,2006.--ArieGurfinkel,OuWei,andMarshaChechik.“SystematicConstructionofAbstractionsforModel-Checking”.InProceedingsof7thInternationalConferenceonVerification,Model-Checking,andAbstractInterpretation(VMCAI’06),vol.3855ofLectureNotesinComputerScience,pages381-397,2006.--OuWei,ArieGurfinkel,andMarshaChechik.“IdentificationandCounterAbstractionforFullVirtualSymmetry”.InProceedingsof13thAdvancedWorkingConferenceonCorrectHardwareDesignandVerificationMethods(CHARME’05),vol.3725ofLectureNotesinComputerScience,pages285-300,2005.--魏欧，袁勇，蔡昕烨，黄志球.“循环对称化简及在三值模型上的扩展”.《软件学报》，2011.6.--OuWei.“CultureandSoftwareEngineeringEcation–APersonalView”.In2010InternationalSymposiumonCollaborativeSoftwareEngineering(ISCSE’10),InvitedTalk.2010.--GogulBalkian,SriramSankyan,FranjoIvancic,OuWei,andAartiGupta.“SLR：Path-SensitiveAnalysisthroughInfeasible-PathDetectionandSyntacticLanguageRefinement”.InProceedingsof15thInternationalStaticAnalysisSymposium(SAS’08),vol.5079ofLectureNotesinComputerScience,pages238-254,2008. ◇承担的科研项目情况：目前主要承担国家自然科学基金与中国科学院战略性先导科技专项等项目◇指导研究生情况：目前指导硕士生三人.欢迎对下列领域感兴趣的同学报考：软件系统建模,软件系统化简,软件设计优化,软件产品线工程,嵌入式软件系统,传播网络.将会尽力为真正希望学习知识提高科研能力的同学提供支持.指导理念和原则：导师和研究生是合作关系,而非雇佣关系.Youworkwithme,notworkforme.鼓励从事具有创新性的工作,提高能够受益终身的个人能力,培养具有优秀综合素质的高端人才.注意：报考时请填写"计算机科学与技术"学科专业.◇备注：Committedtoequalityofopportunityforallprospectiveandexistingstudents.Allstudentswillbetreatedsolelyonthebasisoftheirperformanceandcapabilityregardlessofgender,age,ethnicity,belief,andpreviousschool.*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>

 姓名：王珊珊性别：女行政职务： 专业技术职务：副教授办公电话：

 姓名：王立松性别：男行政职务： 专业技术职务：副教授办公电话：

 姓名：孙涵性别：男行政职务：系主任 专业技术职务：副教授办公电话：

 姓名：施慧彬性别：男行政职务： 专业技术职务：副教授办公电话：

 姓名：沈国华性别：男行政职务： 专业技术职务：副教授办公电话：025

 姓名：钱忠民性别：男行政职务： 专业技术职务：副教授办公电话：848

 姓名：钱巨性别：男行政职务： 专业技术职务：副教授办公电话：