快讯，据华侨大学研究生院消息，2015年华侨大学81401岩土工程考研报录比已发布，详情如下：学院代码学院

快讯，据华侨大学研究生院消息，2015年华侨大学80104工程力学考研报录比已发布，详情如下：学院代码学院

快讯，据华侨大学研究生院消息，2015年华侨大学70101基础数学考研报录比已发布，详情如下：学院代码学院

快讯，据华侨大学研究生院消息，2015年华侨大学0501Z1华语与华文教育考研报录比已发布，详情如下：学院代码

快讯，据华侨大学研究生院消息，2015年华侨大学50102语言学及应用语言学考研报录比已发布，详情如下：学院代码

快讯，据华侨大学研究生院消息，2015年华侨大学50100中国语言文学考研报录比已发布，详情如下：学院代码

快讯，据华侨大学研究生院消息，2015年华侨大学45300汉语国际教育考研报录比已发布，详情如下：学院代码

快讯，据华侨大学研究生院消息，2015年华侨大学35102法律（法学）考研报录比已发布，详情如下：学院代码

姓名：骆翔宇性别：男职称：副教授学院：计算机科学与技术学院研究方向：形式化验证、模型检测、多智能体系统、知识推理、时态逻辑、认知逻辑和安全协议验证等； 电子邮箱：luoxy@163.com基本情况骆翔宇，男，工学博士，博士后，副教授，硕士生导师。1992年9月至1996年6月在电子科技大学应用数学系学习，获理学学士学位；1996年7月至2010年9月在桂林电子科技大学计算机科学与工程学院任教，担任副教授和硕士生导师；2001年9月起攻读中山大学计算机应用技术专业的硕士研究生，两年后提前攻读中山大学计算机软件与理论专业的博士研究生，2006年6月毕业并获工学博士学位。攻读硕士和博士期间分别获得2002年度中山大学优秀研究生和2006年度广东省南粤优秀研究生奖学金，2005年下半年在澳大利亚Griffith大学担任助理研究员；2008年8月至2010年10月在清华大学软件学院从事博士后研究；2010年10月调到华侨大学计算机科学与技术学院工作至今。研究方向主要包括形式化验证、模型检测、多智能体系统、知识推理、时态逻辑、认知逻辑和安全协议验证等。当前主要研究和开发模型检测多智能体系统的关键理论和技术并用之于形式化分析分布式软件系统的可靠性和安全性。研究兴趣还包括软件工程、数据挖掘和人工智能等。 国内外主要学术及社会兼职(1)国家自然科学基金委员会项目评审专家；(2)广西科技项目评估专家；(3)《中国科学F辑:信息科学》、《计算机学报》、《Knowledge-BasedSystems》、《FrontiersofComputerScienceinChina(FCS)》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》的审稿人；(4)第九届亚太人工智能国际会议PRICAI-06（SCI收录，两年一届）和第十九届澳大利亚人工智能国际会议AI-06（SCI收录）的审稿人 承担的部分科研项目(1)2012.1至2015.12，基于多主体认知逻辑模型检测的Web服务组合验证（No.61170028），国家自然科学基金（面上项目），主持，55万，在研(2)2008.1至2010.12，基于时态认知逻辑的特征交互无界模型检测（No.60763004），国家自然科学基金（地区科学基金），主持，22万，2010年底结题(3)2009.9至2011.9，基于多智能体逻辑的可信Web服务模型检测研究（No.20090450389），中国博士后科学基金，主持，3万，已结题(4)2007.5至2010.5，模型检测动态认知逻辑及其应用（No.桂科青0728090），广西青年科学基金，主持，4万，已结题，评为优秀(5)2010.02至2014.02，基于多主体认知逻辑的Web服务模型检测（No.JB-GJ1001），2010年度华侨大学“中央高校基本科研业务费”国家杰出青年基金培育计划专项项目，主持，在研(6)2011.02至2013.01，模型检测多智能体系统及其应用（No.11BS108），2011年度第一期华侨大学高层次人才科研启动费项目，主持，在研(7)2005.1至2007.12，系统规范表示与验证的认识逻辑途径（No.60473004），国家自然科学基金，参与，23万，已结题(8)2005.12至2007.12，海量信息的协同性和可生存性的理论与实践研究（No.2005CB321902），973项目子课题，参与，10万，已结题(9)2010.1至2012.12，基于描述逻辑和模型检测的行动理论研究（No.60903079），国家自然科学基金，排名第二，18万，在研发表或录用的部分学术论文截至2011年3月，在《计算机学报》、《软件学报》、《计算机科学》、《小型微型计算机系统》、《中国科学F辑》、《TheComputerJournal》、《JournalofSoftware》、《Knowledge-basedSystems》等国内外期刊，以及MoChArt2010、AAMAS2005、AI2006等国际会议发表学术论文40余篇，其中SCI收录4篇，EI收录18篇，ISTP收录3篇。下面列出部分论文。[1]骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法.计算机学报,2011,34(6):1041-1061(EI收录)[2]骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报,2010,33(3):406-414(EI收录)[3]XiangyuLuo,KaileSu,MingGu,LijunWu,JinjiYang.SymbolicModelCheckingtheKnowledgeinHerbivoreProtocol.SixthWorkshoponModelCheckingandArtificialIntelligence(MoChArt2010),July11,2010(EI收录)[4]XiangyuLuo,JingjingLu,KaileSu,RongshengDong.Translation-basedVerificationofWebServicesCompositionviaZING.2010IEEEInternationalConferenceonIntelligentComputingandIntegratedSystems,October22,2010(EI收录)[5]XiangyuLuo,KaileSu,AblSattar,YanChen.SolvingSumandProctRiddleviaBDD-BasedModelChecking.2008IEEE/WIC/ACMInternationalConferenceonWebIntelligenceandIntelligentAgentTechnology,2008,3(3):630-633(EI收录)[6]XiangyuLuo,YanChen,MingGu,andLijunWu.ModelCheckingNeedham-SchroederSecurityProtocolbasedonTemporalLogicofKnowledge.2009InternationalConferenceonNetworksSecurity,WirelessCommunicationsandTrustedComputing,2009,2:548-551(EI,ISTP收录)[7]XiangyuLuo,ZhengTan,RongshengDong.AutomaticVerificationofCompositeWebServicesBasedonTemporalandEpistemicLogic.ThirdInternationalConferenceonGeneticandEvolutionaryComputing,2009:693-696(EI收录)[8]XiangyuLuo,AichengXuan,RongshengDong.DetectingFeatureInteractionsinWebServiceswithTimedAutomata.ThirdInternationalConferenceonGeneticandEvolutionaryComputing,2009:276-279(EI收录)[9]骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统,32(3):412-415[10]骆翔宇,陈艳,古天龙,董荣胜.基于时态认知逻辑的Web服务模型检测.计算机科学,2009,36(8):153-157[11]骆翔宇,古天龙,董荣胜.和与积数迷的符号化模型检测.计算机科学,2008,35(5):184-186[12]骆翔宇,陈艳.Web服务的形式化验证.计算机工程,2010,36(5):257-259[13]骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统,2011年3期[14]骆翔宇,轩爱成,沙宗鲁.基于时间自动机的Web服务模型检测.计算机科学,2010年8期[15]骆翔宇,谭征,董荣胜.一种Web服务特征交互自动检测方法.计算机科学,2010年12期[16]骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智能体系统的知识与时间.软件学报,2006,17(12):2485-2498(EI收录)[17]XiangyuLuo,KaileSu,AblSattar,MarkReynolds.VerificationofMulti-agentSystemsviaBoundedModelChecking.The19thAustralianJointConferenceonArtificialIntelligence,Volume4304ofLNCS,Springer,2006:69–78(EI,ISTP收录)[18]XiangyuLuo,KaileSu,AblSattar,QingliangChen,GuanfengLv.BoundedModelCheckingKnowledgeandBranchingTimeinSynchronousMulti-agentSystems.ThefourthInternationalJointConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS2005),ACM,2005:1129–1130(EI收录)[19]骆翔宇,成良玉.用面向对象方法设计并实现数据库的动态查询.计算机工程与应用,2003,15:200-202[20]苏开乐,骆翔宇,吕关锋.符号化模型检测CTL*.计算机学报,2005,28(11):1798-1806(EI收录)[21]KaileSu,XiangyuLuo,AblSattar,MehmetAOrgun.TheInterpretedSystemModelofKnowledge,Belief,DesireandIntention.ThefifthInternationalJointConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS2006),ACM,2006:220–222(EI收录)[22]GuohunZhu,XiangyuLuo,YuqingMiao.ExactWeightPerfectMatchingofBipartiteGraphisNP-Complete.The2008InternationalConferenceofAppliedandEngineeringMathematics,WorldCongressonEngineering,2008:878-880(ISTP收录)[23]轩爱成,骆翔宇,沙宗鲁,董荣胜.一种执行代价较小的Web服务动态合成方法.微电子学与计算机,28(2):166-170[24]何青,骆翔宇,苏开乐.基于符号化模型检测的对弈必胜策略验证.计算机工程与应用,2008,44(17)[25]杨晋吉,苏开乐,骆翔宇,林翰,肖茵茵.有界模型检测的优化.软件学报,2009,20(8):2005?2014(EI收录)[26]KaileSu,AblSattarandXiangyuLuo（通讯作者）.ModelCheckingTemporalLogicsofKnowledgeViaOBDDs.TheComputerJournal,2007,50(4):403-420(SCI收录)[27]RongshengDong,ZhaoWei,XiangyuLuo,FangLiu.TestingConformanceofBPELBusinessProcessBasedonModelChecking.JOURNALOFSOFTWARE,5(9):1030-1037,SEPTEMBER2010（EI收录）[28]LijunWu,JinshuSu,XiangyuLuo.AConcurrentDynamicLogicofKnowledge,BeliefandCertaintyforMulti-AgentSystems.Thetwenty-secondCanadianConferenceonArtificialIntelligence,LNAI5549,2009:146–157(EI,ISTP收录)[29]RongshengDong,ZhaoWei,XiangyuLuo.ModelCheckingBehavioralSpecificationofBPELWebServices.The2008InternationalConferenceofComputerScienceandEngineering,WorldCongressonEngineering,2008:198-203(ISTP收录)[30]董荣胜,吴光伟,骆翔宇,古天龙.一类具有“开端”结构安全协议的分析方法研究.计算机科学,2008,35(7):45-49[31]DONGRong-sheng,WANGFei-ming,LUOXiang-yu.DynamicWebServicesCompositionBasedonQoSModel.2010IEEEInternationalConferenceonIntelligentComputingandIntegratedSystems,October22,2010（EI收录）[32]LijunWu,JinshuSu,KaileSu,XiangyuLuo,ZhihuaYang.Aconcurrentdynamiclogicofknowledge,beliefandcertaintyformulti-agentsystems.Knowledge-BasedSystems,23(2010):162–168(SCI收录)[33]KaileSu,AblSattar,KewenWang,XiangyuLuo,GuidoGovernatori,VineetNair.Observation-basedModelforBDI-Agents.AAAI2005,AAAIPress/TheMITPress,2005:190–195(EI收录)[34]LijunWu,ZiliChen,JinshuSu,XiangyuLuo.TheBased-rolePMIModelforAccessControlinlargeScaleNetwareSystem.2010InternationalConferenceonComputerDesignandApplications(ICCDA2010),Vol.2:81-84（EI收录）[35]LILi,SongXiaoYu,GuMing,LuoXiangYu.CompetentPredicateAbstractioninModelChecking.SCIENCECHINAINFORMATIONSCIENCES,54(2):258-267,Feb.2011（SCI收录）[36]KaileSu,WeiyaYue,AblSattar,MehmetA.Orgun,XiangyuLuo.Observation-BasedLogicofKnowledge,Belief,DesireandIntention.FirstInternationalConferenceonKnowledgeScience,EngineeringandManagement,Volume4092ofLNCS,Springer,2006:366–378(SCI收录) 发表的部分教学论文[1]骆翔宇,古天龙,董荣胜.模型检测课程建设初探.计算机科学,第35卷,第11期专辑:150-155[2]骆翔宇,董荣胜,古天龙.模型检测课程实践教学初探.计算机科学,第36卷,第7期专辑:255-259[3]骆翔宇,古天龙,董荣胜.“离散结构”课程中有关OBDD的教学实践.计算机科学,第34卷,第7期专辑[4]俸皓,朱细平,骆翔宇,董荣胜.以计算思维能力培养为核心的《程序设计基础》课程教学改革与实践.计算机科学,第35卷,第11期专辑:96-98[5]邓珍荣,黄文明,骆翔宇,周娅.以计算思维培养为核心的”数据结构与算法”课程教学改革与实践.计算机科学,第35卷,第11期专辑:99-101*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式