武汉大学计算机学院导师介绍：李旭晖

李旭晖，男，1975年生，博士，副教授。2003年于武汉大学计算机学院计算机软件与理论专业获工学博士学位。毕业后留校在武汉大学软件工程国家重点实验室从事科研工作，主要研究方向为数据库理论与实现技术、程序语言理论、网络计算。同时承担本单位博士研究生必修课程程序设计语言形式语义学和硕士班课程数据库技术的教学工作。2002年至2003年在香港理工大学电子计算学系担任研究助理，从事移动Agent算法描述、验证与仿真方面的研究。2009年至2010年在美国普度大学进行学术交流，从事跨媒体数据语义描述方法、统一知识表现模型以及医疗领域非结构数据管理等方面的研究。曾担任CIT 2004国际会议注册主席，WISE2006国际会议出版事务主席，GCC 2008/2009/2010、CloudComp 2009等国际会议程序委员会委员，IEEE TKDE、《计算机学报》等多个国内外学术期刊的审稿人，是IEEE、ACM学会会员。

教学情况
2005-2009年 软件工程国家重点实验室 博士生专业课 形式语义学 2011- 计算机学院 博士生 专业英语

科研工作
主持武汉大学自主科研项目可扩展类型的XML数据处理语言、武汉市青年科技晨光计划项目智能化Native XML数据库关键技术研究、教育部重点项目跨媒体数据库模型、方法与系统研究、湖北省自然科学基金项目网格计算算法的直接执行仿真理论模型与环境、软件工程国家重点实验室开放基金项目对象代理模型动态类型机制研究、教育部科技基础条件平台项目高校微生物资源标准化整理、整合与信息共享平台的子课题微生物资源信息集成系统。

获奖及专利
对象代理数据库管理系统TOTEM，2007年获教育部高校科学技术进步二等奖，第五完成人
主要论文
[1] Xuhui Li,Mengchi Liu. Towards a More Declarative XML Query Language. Proc. of DEXA,LNCS 6262,pp. 375-390,Springer,2010.
[2] Xuhui Li,Arif Ghafoor,Mengchi Liu. A Pattern-based Temporal XML Query Language. Proc. of WISE 2010,LNCS 6488,pp.428-441,Springer,2010.
[3] Xuhui Li,Hao Zhang,Yongfa Zhang. Deploying Mobile Computation in Cloud Service. Proc. of CloudComp 2009,LNCS 5391,pp. 301-311,Springer,2009.
[4] Xuhui Li,Mengchi Liu. Design Issues of XTQ Language. Proc. of CIT 2008,IEEE CS Press,2008.
[5] Xuhui Li,Mengchi Liu. Query XML documents Using XTQ. Proc. of WSCS 2008,2008.
[6]Jiannong Cao,Jingyang Zhou,Weiwei Zhu,Xuhui Li. A Mobile Agent-enabled framework for Structuring and Building Distributed Systems on the Internet,Science in China,Series F,Vol.49,No.6 pp.885-905,2006.
[7] Xuhui Li,Jiannong Cao,Yanxiang He,Yifeng Chen. MADESE: A Simulation Environment for Mobile Agent. Proc. of IEEE CIT 2006,IEEE CS Press,2006.
[8] Zhiyong Peng,Qing Li,Lin Feng,Xuhui Li. Using Object Deputy Model to Prepare Data for Data Warehousing. IEEE Transactions on Data and Knowledge Engineering,Vol.17,No.9,pp.1274-1288,2005. [9] Xuhui Li,Jiannong Cao,Yanxiang He,Jingyang Zhou. A Discrete Event System Model for Simulating Mobile Agent. Proc. of ISPA 2005,LNCS 3758,pp.701-712,Springer,2005.
[10] Xuhui Li,Zhiyong Peng,Jiannong Cao. A Practical Approach to Specifying and Verifying Mobile Agent Algorithms. Journal of Pervasive Computing and Communications,Vol.1,No.2,pp.113-121,2005.
[11] Xuhui Li,Jiannong Cao,Yanxiang He. A Language for Description and Verification of Mobile Agent Algorithms. Proc. of CIT 2004,IEEE CS Press,2004.
[12] Xuhui Li,Jiannong Cao,Yanxiang He. A Direct Execution Approach to Simulating Mobile Agent Algorithms. The Journal of Supercomputing,Vol.29,No.2,pp. 171-184,Springer,2004.
[13] Jiannong Cao,Xuhui Li,Yanxiang He,So King. Direct Execution Simulation of Mobile Agent Algorithms. Proc. ISPA 2003,LNCS 2745，pp.127-138,Spinger,2003.

研究生报考咨询1V1指导（点击咨询）

免责声明

本文章来源为院校研究生官网，如对稿件内容有疑问，请与院校招生办联系。牛求艺转载出于非商业性的教育和科研之目的，不代表赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请来函136311265@qq.com联系修改或删除。