南京航空航天大学创建于1952年10月,是新中国自己创办的第一批航空高等院校之一。1978年被国务院确定为全国重点大学;1981年经国务院批准成为全国首批具有博士学位授予权的高校;1996年进入国
-
南航计算机科学与技术学院导师介绍汇总表
计算机科学与技术 计算机南京航空航天大学计算机科学与技术学院现有计算机科学与技术一级学科博士点、博士后流动站,拥有计算机应用技术、计算机软件与理论、计算机系统结构三个硕士点,设有计算机科学与技术、信息安全、软件工程、物联
-
南航计算机科学与技术学院导师介绍:秦小麟
计算机科学与技术 计算机姓名:秦小麟性别:男行政职务: 专业技术职务:教授办公电话:
-
南航计算机科学与技术学院导师介绍:张道强
计算机科学与技术 计算机姓名:张道强性别:男行政职务: 专业技术职务:教授办公电话:
-
南航计算机科学与技术学院导师介绍:皮德常
计算机科学与技术 计算机姓名:皮德常性别:男行政职务:副院长 专业技术职务:教授办公电话:
-
南航计算机科学与技术学院导师介绍:王箭
计算机科学与技术 计算机姓名:王箭性别:男行政职务:副院长 专业技术职务:教授办公电话:0
-
南航计算机科学与技术学院导师介绍:陈松灿
计算机科学与技术 计算机姓名:陈松灿性别:男行政职务: 专业技术职务:教授办公电话:025-
-
南航计算机科学与技术学院导师介绍:庄毅
计算机科学与技术 计算机姓名:庄毅性别:女行政职务:系副主任 专业技术职务:教授办公电话:
-
南航计算机科学与技术学院导师介绍:周宇
计算机科学与技术 计算机姓名:周宇性别:男行政职务: 专业技术职务:副教授办公电话:导师类别:硕士生导师 最后学历:博士毕业最后学位:博士最后毕业学校:南京大学 电子邮件:zhouyu@nuaa.e.cn 工作单位:计算机科学与技术学院 ◇主学科研究方向:二级学科名称(主):软件工程(招收硕士研究生)学科代码11:083500软件体系结构,软件可靠性技术◇个人简历(学历、学术经历及社会兼职):2004年于南京大学计算机系本科毕业,获学士学位,2009年于南京大学软件研究所毕业,获得博士学位,2006-2007年香港理工大学计算机系访问学生(ResearchAssistant),2007-2008年受留学基金委资助于瑞士苏黎世大学联合培养1年,2010-2011年于意大利米兰理工大学从事博士后研究,主要研究领域为软件体系结构,普适计算,软件可靠性技术等.担任ISRNRobotics编委(EditorialBoard),中国计算机学会YOCSEF南京分论坛AC委员,秘书。◇发表学术论文,出版专著情况:1.YuZhou,LucianoBaresi,MatteoRossi.TowardsAFormalSemanticsforUML/MARTEStateMachinesBasedonHierarchicalTimedAutomata.JournalofComputerScienceandTechnology(JCST),Vol.28,No.1,pp:188-202,2013.2.YuZhou,JidongGe,JunHu.AnAgent-BasedApproachforSoftwareSelf-Adaptation.ICIC-ExpressLetters,Vol.7,No.2,20133.YuZhou,ZhiqiuHuang.VerificationofReal-TimeModelswithHierarchicalExtensios.ICIC-ExpressLetters,Vol.7,No.2,2013.4.YuZhou,XuefengYan,ZhiqiuHuang.AGraphTransformationBasedApproachforModelingComponentMigrationinMobileEnvironments.InProceedingsofCOMPSACWorkshops2012.Izmir,Turkey,2012,IEEE.5.YuZhou,ShutianLu,etal.UsingGraphTransformationtoAnalyzeConcurrentReconfigurationsofDynamicSoftwareArchitecture.InProceedingsofInternationalConferenceonSoftwareTechnologyandEngineering,2009.6.YuZhou,MichaelWuersch,EmanualGiger,HaraldGall,JianLu.ABayesianNetworkBasedApproachforChangeCouplingPrediction.InProc.Of15thWorkingConferenceonReverseEngineering(WCRE),2008.7.YuZhou.ARuntimeArchitecture-BasedApproachfortheDynamicEvolutionofDistributedComponent-BasedSystems.InProc.of30thInternationalConferenceonSoftwareEngineering(ICSE),DoctoralSymposiumTrack,2008.8.XianPingTao,XiaoxingMa,JianLu,PingYu,YuZhou:Multi-modeinteractionmiddlewareforsoftwareservices.ScienceinChinaSeriesF:InformationSciences51(8),2008.9.JoannaISiebert,JiannongCao,YuZhou,etal.ANovelApproachtoSupportingMulti-protocolServiceDiscoveryinPervasiveComputing.InProc.ofIFIPInternationalConferenceonEmbeddedandUbiquitousComputing(LNCS),2007.10.YuZhou,JiannongCao,etal.AMiddlewareSupportforAgent-BasedApplicationMobilityinPervasiveEnvironments.InProc.oftheFifthInternationalWorkshoponMobileDistributedComputinginConjunctionwiththe27thInternationalConferenceonDistributedComputingSystems(ICDCS),2007.11.XiaoxingMa,YuZhou,etal.ConstructingSelf-AdaptiveSystemswithPolymorphicSoftwareArchitecture.InProceedingsoftheInternationalConferenceofSoftwareEngineeringandKnowledgeEngineering(SEKE),2007.12.YuZhou,JianPan,XiaoxingMa,etal.ApplyingOntologyinArchitecture-basedSelf-ManagementApplications.InProc.of22ndACMSymposiumonAppliedComputing(SAC)AutonomicComputingTrack.Korea,Seoul,2007.13.ZhouYu,MaXiaoxing,TaoXianping,LuJian.TowardsaComponentFrameworkforArchitecture-BasedSelf-adaptiveApplications,JournalofWuhanUniversity,Vol.11,No.5,2006.14.葛季栋胡海洋周宇胡昊等.一种基于不变量的工作流协同模型分解方法.计算机学报,2012年10月.15.陶先平马晓星吕建余萍周宇.软件服务多模式交互中间件模型及其支撑技术.中国科学E辑,2008,(04)16.马晓星,曹春,余萍,周宇.基于图文法的动态体系结构支撑环境.软件学报,2008年第8期.17.潘健,周宇,罗滨,马晓星,吕建.一种基于本体的软件自适应机制.计算机科学,2007年第11期.18.周宇,马晓星,曹建农,余萍,吕建.普适环境下基于软件代理虚拟化的应用迁移.软件学报,2007年第8期.◇科研成果获奖及专利:1.一种基于软件主体的应用流动方法。发明专利,专利号:ZL.200710025456.3,发明人:吕建,马晓星,周宇。2.一种层次式时间自动机平展算法。发明专利,申请号:201210218467.4,发明人:周宇,胡军,黄志球。◇承担的科研项目情况:主持国家自然科学基金1项,软件新技术国家重点实验室开放课题1项,高校基本科研业务专项1项。参与国家自然科学基金及863项目多项,参与欧盟第七框架项目1项。◇指导研究生情况:目前指导硕士研究生1人。◇备注:欢迎对我的研究方向感兴趣的学生报考!*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式>>
-
南航计算机科学与技术学院导师介绍:周勇
计算机科学与技术 计算机姓名:周勇性别:男行政职务: 专业技术职务:副教授办公电话: