姓名：骆翔宇
　　性别：男　
　　职称：副教授
　　学院：计算机科学与技术学院
　　研究方向：形式化验证、模型检测、多智能体系统、知识推理、时态逻辑、认知逻辑和安全协议验证等；
　 电子邮箱：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-Based Systems》、《Frontiers of Computer Science in China(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.**），中国博士后科学基金，主持，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辑》、《The Computer Journal》、《Journal of Software》、《Knowledge-based Systems》等国内外期刊，以及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] Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang. Symbolic Model Checking the Knowledge in Herbivore Protocol. Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt 2010), July 11, 2010 (EI收录)
　　[4] Xiangyu Luo, Jingjing Lu, Kaile Su, Rongsheng Dong. Translation-based Verification of Web Services Composition via ZING. 2010 IEEE International Conference on Intelligent Computing and Integrated Systems, October 22, 2010 (EI收录)
　　[5] Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen. Solving Sum and Product Riddle via BDD-Based Model Checking. 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2008,3(3): 630-633 (EI收录)
　　[6] Xiangyu Luo, Yan Chen, Ming Gu, and Lijun Wu. Model Checking Needham-Schroeder Security Protocol based on Temporal Logic of Knowledge. 2009 International Conference on Networks Security, Wireless Communications and Trusted Computing, 2009,2: 548-551 (EI,ISTP收录)
　　[7] Xiangyu Luo, Zheng Tan, Rongsheng Dong. Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic. Third International Conference on Genetic and Evolutionary Computing, 2009 : 693-696 (EI收录)
　　[8] Xiangyu Luo, Aicheng Xuan, Rongsheng Dong. Detecting Feature Interactions in Web Services with Timed Automata. Third International Conference on Genetic and Evolutionary Computing, 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] Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds. Verification of Multi-agent Systems via Bounded Model Checking. The 19th Australian Joint Conference on Artificial Intelligence,Volume 4304 of LNCS, Springer, 2006: 69–78 (EI,ISTP收录)
　　[18] Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems. The fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005),ACM, 2005: 1129–1130 (EI收录)
　　[19] 骆翔宇, 成良玉. 用面向对象方法设计并实现数据库的动态查询. 计算机工程与应用,2003,15:200-202
　　[20] 苏开乐, 骆翔宇, 吕关锋. 符号化模型检测CTL*. 计算机学报,2005, 28(11): 1798-1806 (EI收录)
　　[21] Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A Orgun. The Interpreted System Model of Knowledge, Belief, Desire and Intention. The fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006),ACM, 2006: 220–222 (EI收录)
　　[22] Guohun Zhu, Xiangyu Luo, Yuqing Miao. Exact Weight Perfect Matching of Bipartite Graph is NP-Complete. The 2008 International Conference of Applied and Engineering Mathematics,World Congress on Engineering, 2008: 878-880 (ISTP收录)
　　[23] 轩爱成, 骆翔宇, 沙宗鲁, 董荣胜. 一种执行代价较小的Web服务动态合成方法. 微电子学与计算机,28(2):166-170
　　[24] 何青, 骆翔宇, 苏开乐. 基于符号化模型检测的对弈必胜策略验证. 计算机工程与应用,2008,44(17)
　　[25] 杨晋吉, 苏开乐, 骆翔宇, 林翰, 肖茵茵. 有界模型检测的优化. 软件学报,2009, 20(8): 2005?2014 (EI收录)
　　[26] Kaile Su, Abdul Sattar and Xiangyu Luo（通讯作者）. Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal,2007, 50(4): 403-420 (SCI收录)
　　[27] Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu. Testing Conformance of BPEL Business Process Based on Model Checking. JOURNAL OF SOFTWARE, 5(9): 1030-1037, SEPTEMBER 2010 （EI收录）
　　[28] Lijun Wu, Jinshu Su, Xiangyu Luo. A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems. The twenty-second Canadian Conference on Artificial Intelligence, LNAI 5549, 2009: 146–157 (EI, ISTP收录)
　　[29] Rongsheng Dong, Zhao Wei, Xiangyu Luo. Model Checking Behavioral Specification of BPEL Web Services. The 2008 International Conference of Computer Science and Engineering, World Congress on Engineering, 2008: 198-203 (ISTP收录)
　　[30] 董荣胜, 吴光伟, 骆翔宇, 古天龙. 一类具有“开端”结构安全协议的分析方法研究. 计算机科学,2008, 35(7): 45-49
　　[31] DONG Rong-sheng, WANG Fei-ming, LUO Xiang-yu. Dynamic Web Services Composition Based on QoS Model. 2010 IEEE International Conference on Intelligent Computing and Integrated Systems, October 22, 2010（EI收录）
　　[32] Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang. A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. Knowledge-Based Systems,23 (2010): 162–168 (SCI收录)
　　[33] Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Nair. Observation-based Model for BDI-Agents. AAAI 2005,AAAI Press / The MIT Press, 2005: 190–195 (EI收录)
　　[34] Lijun Wu, Zili Chen, Jinshu Su, Xiangyu Luo. The Based-role PMI Model for Access Control in large Scale Netware System. 2010 International Conference on Computer Design and Applications (ICCDA 2010), Vol.2: 81-84 （EI收录）
　　[35] LI Li, Song XiaoYu, Gu Ming, Luo XiangYu. Competent Predicate Abstraction in Model Checking. SCIENCE CHINA INFORMATION SCIENCES, 54(2): 258-267, Feb. 2011 （SCI收录）
　　[36] Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo. Observation-Based Logic of Knowledge, Belief, Desire and Intention. First International Conference on Knowledge Science, Engineering and Management,Volume 4092 of LNCS, 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
　　
　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式