n  个人简介：骆翔宇，男，计算机科学与技术学院教授，工学博士，硕士生导师，清华大学博士后，香港科技大学访问学者，厦门市高层次人才，厦门市重点人才，泉州市高层次人才，福建省高等学校新世纪优秀人才，CCF形式化方法专委会委员，福建省人工智能学会理事。主要从事分布式人工智能与高可信软件的理论研究、技术开发与行业应用。先后主持国家自然科学基金面上项目2项、福建省自然科学基金面上项目2项、广西青年科学基金项目1项、厦门市自然科学基金面上项目1项、中国博士后科学基金1项、广西可信软件重点实验室研究课题1项和横向课题2项；发表学术论文50余篇，其中包括《SCIENCE CHINA Information Sciences》、《计算机学报》、《软件学报》、《IEEE Transactions on Reliability》、《Pattern Recognition》、《The Computer Journal》、《Knowledge-based Systems》、《Frontiers of Computer Science》、《Journal of Software》等国内外重要期刊和AAMAS、AAAI、MoChArt等重要国际会议论文；获得2011年度广西自然科学奖三等奖（序4）、2023年度厦门市科技进步奖二等奖（序8）、福建省自然科学优秀学术论文二等奖和三等奖（序1）；授权发明专利5项；累计培养25名硕士生获得学位。

n  教育经历：

2003.09 - 2006.06，中山大学，计算机软件与理论，获工学博士学位

2001.09 - 2003.06，中山大学，计算机应用技术，硕士研究生（于2003年9月提前攻读博士学位）

1992.09 - 1996.06，电子科技大学，应用数学，获理学学士学位

n  获奖情况：

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

(2)科研课题“轨道交通信息物理融合系统的可信保障技术及应用”获2023年度厦门市科技进步奖二等奖，排名第八，颁奖机构是厦门市人民政府

(3)学术论文“符号化模型检测离散实时系统”获得第十四届福建省自然科学优秀学术论文二等奖，排名第一，颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅

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

(5)获2010-2011学年华侨大学科研优秀奖

n  社会职务：

(1)CCF形式化方法专委会委员、IEEE、ACM会员

(2)福建省人工智能协会理事

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

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

(5)《SCIENCE CHINA Information Sciences》、《IEEE Transactions on Cybernetics》、《Knowledge-based Systems》、《Journal of Systems Architecture》、《Frontiers of Computer Science in China(FCS)》、《International Journal of Advancements in Computing Technology》、《计算机学报》、《软件学报》、《电子学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》等期刊的审稿人；

个人主页：https://faculty.hqu.edu.cn/lxy