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

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