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

李旭晖，男，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.