移动电话：182 5928 7709

办公电话：
电子邮箱：luoxy (at) 163.com
个人主页：https://sites.google.com/site/cnxyluo/




一、基本情况
骆翔宇，男，工学博士，副教授，硕士生导师，福建省人工智能学会理事，CCF、IEEE会员。主要从事高可信软件与分布式人工智能系统的理论研究、技术开发与行业应用。先后承担纵向科研项目13项，累计纵向课题经费194万元，其中：主持国家级2项、主持省部级3项、主持校级3项、主持地厅级1项、参与国家级4项，参与省级教学质量工程项目1项。获得广西自然科学奖三等奖（排名第四）和福建省自然科学优秀学术论文三等奖（排名第一）。入选2013年度福建省高等学校新世纪优秀人才支持计划，入选2013年度华侨大学中青年教师资助计划（优秀科技创新人才）。近年来发表学术论文40余篇，其中包括《中国科学F辑》、《计算机学报》、《软件学报》、《The Computer Journal》、《Knowledge-based Systems》、《Frontiers of Computer Science》、《Journal of Software》等国内外重要期刊和AAMAS、AAAI、MoChArt等重要国际会议论文，大部分被SCI和EI收录。
二、教育经历
2003/09 - 2006/06，中山大学，计算机软件与理论，获工学博士学位
2001/09 - 2003/07，中山大学，计算机应用技术，硕士研究生
1992/09 - 1996/07，电子科技大学，应用数学，获理学学士学位
三、科研与学术工作经历
2010/10 -至今，华侨大学，计算机科学与技术学院，副教授
2014/09 - 2015/02，香港科技大学，计算机系，访问****
2008/08 – 2010/10，清华大学，软件学院，博士后研究员
2005/01 – 2005/12， Griffith大学，澳大利亚，助理研究员
1996/07 – 2010/09，桂林电子科技大学，计算机科学与工程学院，讲师/副教授
四、获奖情况
(1)科研课题“软件系统的模型抽象与安全性验证”获广西自然科学奖三等奖，排名第四，颁奖机构是广西壮族自治区人民政府
(2)学术论文“一种基于认知模型检测的Web服务组合验证方法”获得第十一届福建省自然科学优秀学术论文三等奖，排名第一，颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅
(3)获2010-2011学年华侨大学科研优秀奖
五、国内外主要学术及社会职务
(1)华侨大学计算机科学与技术学院：
a)软件工程系主任
b)研究生培养指导委员会委员
(2)国家自然科学基金委员会项目评审专家；
(3)教育部科技发展中心科研基金和科技奖励评审专家；
(4)广西科技项目评估专家；
(5)厦门市计算机学会理事
(6)IEEE、ACM会员
(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收录）等多个国际会议的审稿人
六、主持或参加科研项目（课题）及人才计划项目情况（按时间倒序排序）
1、国家自然科学基金重点项目，**，滞环非线性系统的建模与控制技术研究，2018.1.1-2022.12，270万，在研，参与
2、国家自然科学基金面上项目，**，基于多主体认知逻辑模型检测的Web服务组合验证，2012.1-2015.12，55万，结题，主持
3、福建省自然科学基金面上项目，2015J01255，多智能体动态认知逻辑的符号化模型检测与应用，2015.4 -2018.4，4万，结题，主持
4、福建省高等学校新世纪优秀人才支持计划项目，2013FJ-NCET-ZR03，基于多主体认知模型检测的可信Web服务形式化验证，2013-2016，30万，在研，主持
5、广西可信软件重点实验室研究课题，kx201323，多主体系统模型检验及其在Web服务验证中的应用，2013.7-2015.6，3万，结题，主持
6、华侨大学中青年教师科研提升资助计划（优秀科技创新人才）项目，ZQN-YX109，多主体系统形式化验证研究与应用，2013.10-2017.10，80万，在研，主持
7、华侨大学高层次人才科研启动费项目，11BS108，模型检测多智能体系统及其应用，2011.2-2013.1，12万，结题，主持
8、华侨大学“中央高校基本科研业务费”国家****基金培育计划专项项目，JB-GJ1001，基于多主体认知逻辑的Web服务模型检测，2010.02至2014.02，15万，已结题，主持
9、国家自然科学青年基金，**，基于描述逻辑和模型检测的行动理论研究，2010.1至2012.12，排名第二，18万，已结题，参与
10、中国博士后科学基金，，基于多智能体逻辑的可信Web服务模型检测研究，2009.9至2011.9，3万，已结题，主持
11、国家自然科学基金面上项目，**，基于时态认知逻辑的特征交互无界模型检测，2008.1至2010.12，22万，已结题，主持
12.广西青年科学基金，桂科青**，模型检测动态认知逻辑及其应用，2007.5至2010.5，4万，已结题，主持
13.973项目子课题，2005CB321902，海量信息的协同性和可生存性的理论与实践研究，2005.12至2007.12，排名第5，10万，已结题，参与
14.国家自然科学基金面上项目，**，系统规范表示与验证的认识逻辑途径，2005.1至2007.12，排名第7，23万，已结题，参与
15.国家自然科学基金面上项目，**，模型检查知识逻辑及其应用，2004.11-2008.11，5万，已结题，参与
七、主要学术论文
【第一作者、通讯作者的论文（按时间倒序排序）】
骆翔宇, 许杭娜, 曾昊晟, 陈祖希, 杨帆. 离散实时线性动态逻辑的符号化模型检测. 计算机科学, 2020, 47(9):204-212
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng and Zuxi Chen. Symbolic Model Checking for Discrete Real-Time Systems. SCIENCE CHINA Information Sciences 61, 052106 (2018)doi: 10.1007/s11432-017-9152-x（SCI收录）
Zuxi Chen, Huixing Fang, Xiangyu Luo. Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), CCF C类会议
Liang Sen（硕士生）, Luo Xiangyu and Chen Zuxi.Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV. 2017 International Conference on Electronic Information Technology and Computer Engineering (EITCE 2017)（EI收录）
Dehe Lai（硕士生）, Yewang Chen,Xiangyu Luo（通信作者）, Jixiang Du, Tian Wang. Age estimation with dynamic age range.Multimedia Tools Application, 76(5): 6551-6573 (2017)（SCI收录）
Qingliang Chen, Kaile Su, Abdul Sattar,Xiangyu Luo（通信作者）, Aixiang Chen. A first-order coalition logic for BDI-agents.Frontiers of Computer Science,10(2): 233-245 (2016)（SCI收录）
骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法.计算机学报, 2011, 34(6):1041-1061（EI收录）
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收录）
骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统, 2011, 32(3):412-415
骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报, 2010, 33(3): 406-414（EI收录）
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收录)
骆翔宇,谭征,董荣胜.一种Web服务特征交互自动检测方法.计算机科学,2010年12期
骆翔宇,陈艳. Web服务的形式化验证.计算机工程,2010,36(5): 257-259
骆翔宇,轩爱成,沙宗鲁.基于时间自动机的Web服务模型检测.计算机科学,2010年8期
骆翔宇,陈艳,古天龙,董荣胜.基于时态认知逻辑的Web服务模型检测.计算机科学,2009, 36(8): 153-157
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收录)
]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收录)
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收录)
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收录)
骆翔宇,古天龙,董荣胜.和与积数迷的符号化模型检测.计算机科学,2008, 35(5): 184-186
Kaile Su, Abdul Sattar andXiangyu Luo（通讯作者）. Model Checking Temporal Logics of Knowledge Via OBDDs.The Computer Journal,2007, 50(4): 403-420 (SCI收录)
骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智能体系统的知识与时间.软件学报, 2006,17(12): 2485-2498（EI收录）
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收录)
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收录)
[23]骆翔宇,成良玉.用面向对象方法设计并实现数据库的动态查询.计算机工程与应用,2003,15:200-202
【其他排名的论文（按时间倒序排序）】
Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen,Xiangyu Lu. Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.FRONTIERS OF COMPUTER SCIENCE,11(3): 499-510 (2017), DOI: 10.1007/s11704-016-5100-y（SCI收录）

Lixiao ZHENG, Shuai MA,Xiangyu LUO, Tiejun MA. Single-view determinacy and rewriting completeness for a fragment of XPath queries.SCIENCE CHINA Information Sciences, 2016, 59(9): 99-102, doi: 10.1007/s11432-016-5603-z（SCI收录）
Haibo Li, Keith C. C. Chan, Mengxia Liang,Xiangyu Luo: Composition of Resource-Service Chain for Cloud Manufacturing.IEEE Trans. Industrial Informatics, 12(1): 211-219 (2016)（SCI收录）
Yan-Min Luo, Jun Yang, Pei-Zhong Liu, De-Tian Huang, Hong-wei Chen,Xiang-yu Luo, and Ren-cheng Zhang. An Improved Adaptive Aorta Segmentation Algorithm Base on Level Set Method.Journal of Computers, 27(4): 187-196 (2016), doi:10.3966/**（EI收录）
Wei Guan, Cheng Wang, D.S. Chen,Xiangyu Luoand F.F. Su. Recursive principal component analysis with forgetting factor for operational modal analysis of linear time-varying system.International Journal of Applied Electromagnetics and Mechanics, 52: 999–1006 (2016), DOI 10.3233/JAE-162187（SCI收录）
Cheng Wang, Jianying Wang, Xiongming Lai, Bineng Zhong,Xiangyu Luo, Hui Ying, Guirong Yan, Weibin Chen and Jing Li. Operation modal analysis following fast independent component analysis.International Journal of Applied Electromagnetics and Mechanics, 52: 103–111 (2016), DOI 10.3233/JAE-162201（SCI收录）
Wei Guan, Cheng Wang, Tian Wang, Huizhen Zhang,Xiangyu Luo, Liang Xiang, Yan Liu and Xiaodong Xie. Operational modal analysis for linear time-varying continuous cantilever beam dynamic structure based on LMPCA.International Journal of Applied Electromagnetics and Mechanics, 52: 701–709 (2016), DOI 10.3233/JAE-162085（SCI收录）
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收录）
轩爱成,骆翔宇,沙宗鲁,董荣胜.一种执行代价较小的Web服务动态合成方法.微电子学与计算机, 2011, 28(2):166-170
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收录）
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收录）
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收录）
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收录）
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收录)
杨晋吉,苏开乐,骆翔宇,林翰,肖茵茵.有界模型检测的优化.软件学报,2009, 20(8): 2005?2014（EI收录）
何青,骆翔宇,苏开乐.基于符号化模型检测的对弈必胜策略验证.计算机工程与应用,2008,44(17)
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收录)
董荣胜,吴光伟,骆翔宇,古天龙.一类具有“开端”结构安全协议的分析方法研究.计算机科学,2008, 35(7): 45-49
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收录)
Kaile Su, Abdul Sattar andXiangyu Luo（通讯作者）. Model Checking Temporal Logics of Knowledge Via OBDDs.The Computer Journal,2007, 50(4): 403-420（SCI收录）
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收录）
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收录)
苏开乐,骆翔宇,吕关锋.符号化模型检测CTL*.计算机学报, 2005, 28(11): 1798-1806 (EI收录)
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收录）
八、申请和授权专利情况
专利“一种基于动态区间的人脸年龄估计方法”（申请号：CN7.6）于2016年6月15日起公示，申请人：华侨大学，发明人：陈叶旺、赖德河、骆翔宇、杜吉祥。