删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

东南大学软件学院研究生导师简介-周晓宇

东南大学 免费考研网/2013-12-06


1972年生。1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。
曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目,工作涉及程序分析与切片技术研究、白盒测试工具研制、软件性能分析工具研制、编码规范制定、编码风格检查及程序错误侦测技术研究等方面。目前主要从事与用例、设计模式、软件体系结构有关的逆向工程与再工程研究。曾在国内外学术杂志和会议上发表论文20余篇,7次获得省部级奖励。
曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“模糊数学”等本科生课程的教学工作。自98年起参与历次“全国程序设计语言发展与教学学术会议”的主办工作。
科研项目
[1]面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加
[2]基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加
[3]高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加
[4]网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加
[5]软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责
[6]基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究.国家自然科学基金(60503020).2006-2008.参加
[7]软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金(KJS02009).2004-2005.负责
[8]高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金(60303024).2004-2004.参加

获奖
[1]软件分析测试与算法优化的模型、方法与技术,江苏省科技进步奖,一等奖,2007年
[2]软件质量保证支撑系统SQAS,湖北省科学技术进步一等奖,2005年
[3]软件分析度量与测试的基础理论与方法,教育部提名国家科学技术奖(自然科学奖),二等奖,2005年
[4]程序分析与测试技术研究,教育部提名国家科学技术奖(科技进步奖),二等奖,2004年
[5]嵌入式软件测试支撑系统ETS,江苏省科学技术进步二等奖,2003年
[6]Ada逆向工程与软件维护支撑系统ARMS,江苏省科学技术进步三等奖,2001年
[7]Ada程序分析与理解系统APAUS,江苏省科学技术进步二等奖,1998年

论文
[1]WentaoMa,XiaoyuZhou,XiaofangQi,JuQian,LeiXu,RuiYang.IdentificationofDesignPatternsUsingDependenceAnalysis.InternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(Seke2012).Accepted.
[2]BinxianTao,JuQianandXiaoyuZhou.Side-EffectAnalysiswithFastEscapeFilter.theACMSIGPLANInternationalWorkshopontheStateOftheArtinJavaProgramAnalysis(SOAP2012).Accepted.
[3]王璐璐,李必信,周晓宇.一种有效的全路径剖析方法.软件学报,2012.6期.
[4]周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报.2010,21(11):2725−2737.
[5]XiaofangQi;XiaoyuZhou;XiaojingXu;YingzhouZhang;SlicingConcurrentProgramsBasedonProgramReachabilityGraphs.In:Conferenceofthe10thInternationalConferenceonQualitySoftware(QSIC),2010:248–253.
[6]尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.
[7]周晓宇,徐宝文.一个设计模式自动识别技术研究框架.计算机科学.2009,36(5):124-128.
[8]ZHOUXiaoyu;QIANJu;CHENLin;XUBaowen.AutomaticIdentificationofUseCasesfromCodes:AUser'sGoalDrivenApproach.WuhanUniversityJournalofNaturalSciences.2009,Vol.14No.5,409-414.
[9]JuQian,BaowenXu,XiaoyuZhou,LinChen,LiangShi.DependenceanalysisforCprogramswithcombinabilityofdataflowfactsunderconsideration.WuhanUniversityJournalofNaturalSciences,2009,Volume14,Number4.321-326.
[10]LinChen,BaowenXu,TianlinZhou,XiaoyuZhou:AConstraintBasedBugCheckingApproachforPython.In:The33rdAnnualIEEEInternationalComputerSoftwareandApplicationsConference(COMPSAC),2009,Volume2:306-311.
[11]张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.2009年04期.
[12]余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程,2009年05期.
[13]李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别.东南大学学报:自然科学版.2008,38(2),228-232.
[14]曹璟,徐宝文,周晓宇,钱巨,杨彬.基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008,19(9):2218-2227.
[15]陈林,徐宝文,周晓宇,曹璟.一种基于类型推导的泛型Java程序重构方法.电子学报(增刊)v36,2007:185-191.
[16]姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.第18卷第4期.2007:832-841.
[17]戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35)No(2),2007:287-291
[18]XiaoyuZhou,TianlinZhou,JuQian,BaowenXu,YanxiangHe.IdentifyingUseCaseRelationsFromCodes.TheNinthIASTEDInternationalConferenceonSoftwareEngineeringandApplications.Phoenix,Arizona,USA,November,2005.
[19]XiaoyuZhou,BaowenXu,LiangShi,LinChen.ExpressCalculationDecompositionwithExtendedAspect-orientedProgrammingLanguage.JournalofElectronicsandComputerScience.Vol.7,No.1,Summer2005.ISSN1229-425X.pp:89-100.
[20]LiangShi,BaowenXu,LinChen,XiaoyuZhou.SQAS:APlatformforSoftwareAnalysisandTesting.JournalofElectronics&ComputerScience.Vol.7,No.1,Summer2005.pp37-45.
[21]周晓宇,李慎之,戚晓芳,徐宝文.2002.数据挖掘技术初探.小型微型计算机系统,2002,23(3):342-346.
[22]管杰,周晓宇,陈振强,卢虹,徐宝文,C++程序分析测试辅助系统CATER的设计与实现,软件学报,2002,13(增刊):259-264.
[23]徐宝文,陈振强,周晓宇.基于依赖性分析的面向对象Ada95程序切片.软件学报,2001,12(增刊),208-213.
[24]张卫丰,徐宝文,周晓宇.一种改进的参考文献检索中的相关性技术.软件学报,2001,12(增刊),317-322.
[25]张卫丰,徐宝文,周晓宇,李东,许蕾.Web搜索引擎综述.计算机科学,2001,28(9),24-28.
[26]张卫丰,徐宝文,周晓宇,许蕾,李东.元搜索引擎综述.计算机科学,2001,28(8),36-41.
[27]ZhangWeifeng,XuBaowen,ZhouXiaoyu,HuangH.SchedulinginaMetaSearchEnginebyGeneticAlgorithm.WuhanUniversityJournalofNaturalSciences,6(1-2),Mar.2001,541-546
[28]张卫丰,徐宝文,陈振强,周晓宇,基于Web的参考文献搜索模型研究,南京大学学报(自然科学)ComputerIssue,2000,36(10),602-606.

会议文集
[1]徐宝文主编,孟小峰、于戈、周晓宇、周天琳副主编.Web信息系统及其应用.电子工业出版社.2004年10月
[2]徐宝文主编,陈陵、周晓宇副主编.程序设计语言与教学进展.电子工业出版社.2003年3月
[3]徐宝文、周晓宇、蔡家楣主编.程序设计语言及其教学.电子工业出版社.2001
[4]徐宝文、郑国梁、周晓宇主编.程序设计语言研究与教学.电子工业出版社.1998
相关话题/软件