• 简体中文  | 
  • English
研究生教学
 
04/导师简介
     
<table border: 0px;">
电子邮箱: luoxy@163.com                              
办公电话: 0592-6162491
个人主页: https://sites.google.com/site/cnxyluo/                                

个人简介

 

2016年秋季研究生招生还有1个名额,请感兴趣的新生第一时间联系我,欢迎你的加入!(手机:182 5928 7709,邮箱:luoxy@163.com

1、基本情况

骆翔宇,男,工学博士,副教授,硕士生导师,软件工程系副主任,厦门市计算机学会理事,IEEE会员。1992年9月至1996年6月在电子科技大学应用数学系学习,获理学学士学位;1996年7月至2010年9月在桂林电子科技大学计算机科学与工程学院任教,担任副教授和硕士生导师;2001年9月起攻读中山大学计算机应用技术专业的硕士研究生,两年后提前攻读中山大学计算机软件与理论专业的博士研究生,2006年6月毕业并获工学博士学位。攻读硕士和博士期间分别获得2002年度中山大学优秀研究生和2006年度广东省南粤优秀研究生奖学金,2005年下半年在澳大利亚Griffith大学担任助理研究员;2008年8月至2010年10月在清华大学软件学院从事博士后研究;2010年10月调到华侨大学计算机科学与技术学院工作至今。

近年来,先后承担纵向科研项目13项,累计纵向课题经费194万元,其中:主持国家级2项、主持省部级3项、主持校级3项、主持地厅级1项、参与国家级4项,参与省级教学质量工程项目1项。获得广西自然科学奖三等奖(排名第四)和福建省自然科学优秀学术论文三等奖(排名第一)。入选2013年度福建省高等学校新世纪优秀人才支持计划,入选2013年度华侨大学中青年教师资助计划(优秀科技创新人才)。

近年来发表学术论文40余篇,其中包括《中国科学F辑》、《计算机学报》、《软件学报》、《The Computer Journal》、《Knowledge-based Systems》、《Journal of Software》等国内外重要期刊和AAMAS、AAAI、MoChArt等重要国际会议论文,大部分被SCI和EI收录。

目前主要从事形式化验证、模型检测、多智能体系统、知识推理、时态逻辑、认知逻辑和安全协议验证等方向的研究。当前主要研究和开发模型检测多智能体系统的关键理论和技术并用之于形式化分析分布式软件系统的可靠性和安全性。研究兴趣还包括软件工程、数据挖掘和人工智能等。

E-mail: luoxy(at)163.com  (请将(at)替换为@)

主页: https://sites.google.com/site/cnxyluo/

2、获奖情况

(1)   科研课题“软件系统的模型抽象与安全性验证”获广西自然科学奖三等奖,排名第四,颁奖机构是广西壮族自治区人民政府

(2)   学术论文“一种基于认知模型检测的Web服务组合验证方法”获得第十一届福建省自然科学优秀学术论文三等奖,排名第一,颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅

3、国内外主要学术及社会职务

(1)    华侨大学计算机科学与技术学院:

a)       软件工程系副主任

b)      学术委员会委员

c)       研究生培养指导委员会委员

d)      软件工程一级硕士点的“软件形式化方法”学科方向学术带头人

e)       校学科重点建设项目“计算机科学与技术”特色学科的“软件工程与形式化方法”学科方向带头人

(2)    国家自然科学基金委员会项目评审专家;

(3)    教育部科技发展中心科研基金和科技奖励评审专家;

(4)    广西科技项目评估专家;

(5)    厦门市计算机学会理事

(6)    IEEE会员

(7)    《SCIENCE CHINA Information Sciences》、《Knowledge-based Systems》、《Frontiers of Computer Science in China(FCS)》、《International Journal of Advancements in Computing Technology》、《计算机学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》的审稿人;

(8)    第九届亚太人工智能国际会议PRICAI-06(SCI收录,两年一届)和第十九届澳大利亚人工智能国际会议AI-06(SCI收录)等多个国际会议的审稿人

4、近年主持的部分科研项目

(1)  国家自然科学基金面上项目(No.61170028),基于多主体认知逻辑模型检测的 Web 服务组合验证,2012.1至2015.12,55万,在研

(2)  国家自然科学基金面上项目(No.60763004),基于时态认知逻辑的特征交互无界模型检测,2008.1至2010.12, 22万,已结题

(3)  2013年度“福建省高等学校新世纪优秀人才支持计划”项目(No.2013FJ-NCET-ZR03),基于多主体认知模型检测的可信Web服务形式化验证,2013-2016,30万,在研

(4)  2013年度华侨大学中青年教师科研提升资助计划(优秀科技创新人才)项目(No. ZQN-YX109),多主体系统形式化验证研究与应用,2013.10-2017.10,80万,在研

(5)  中国博士后科学基金(No.20090450389),基于多智能体逻辑的可信Web服务模型检测研究,2009.9至2011.9,3万,已结题

(6)  广西青年科学基金(No.桂科青0728090),模型检测动态认知逻辑及其应用,2007.5至2010.5,4万,已结题,评为优秀

(7)  2010年度华侨大学中央高校基本科研业务费国家杰出青年基金培育计划专项项目(No.JB-GJ1001),基于多主体认知逻辑的Web服务模型检测,2010.02至2014.02,15万,已结题

(8)  2011年度第一期华侨大学高层次人才科研启动费项目(No. 11BS108),模型检测多智能体系统及其应用,2011.02至2013.01,12万,在研

(9)  2013年度广西可信软件重点实验室研究课题(No. kx201323),多主体系统模型检验及其在Web服务验证中的应用,2013.07-2015.06,3万,在研

5、近年参与的部分科研项目

(1)    国家自然科学青年基金(No.60903079),基于描述逻辑和模型检测的行动理论研究,2010.1 至2012.12,排名第二,18万,已结题

(2)    973项目子课题(No.2005CB321902),海量信息的协同性和可生存性的理论与实践研究,2005.12至2007.12,排名第5,10万,已结题

(3)    国家自然科学基金面上项目(No.60473004)系统规范表示与验证的认识逻辑途径,2005.1至2007.12,排名第7,23万,已结题

(4)    国家自然科学基金面上项目(No. 60496327),模型检查知识逻辑及其应用,2004.11-2008.11,5万,已结题

6、近年发表的部分学术论文

[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. Lecture Notes in Computer Science, Volume 6572, 2011, pp 112-129 (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收录)


教学信息

论文列表

暂时无

教学改革项目列表

暂时无

科研信息

论文列表

暂时无

科研项目列表

暂时无