龙慧云
个人基本情况介绍龙慧云，女，博士，1997年7月毕业于贵州大学计算机科学与技术专业，获工学学士；7月毕业于贵州大学计算机软件与理论专业，获工学博士学位。1997年7月留校任教以来一直从事教学科研工作，现为贵州大学计算机科学与信息学院副教授，主要研究方向为Web服务的形式化分析。
研究领域与方向Web服务形式化分析
科研课题(以来主要承担的科研项目)省基金：Web服务组合的形式化模型研究，项目批准单位：贵州省科学技术基金委员会；项目批准日期：.6.8;合同号：黔科合J字[]2099；
学术论著(以来发表的论文、专著)
1、Huiyun Long, Jianshi Li. A Typed Process Calculus for Dynamic Web Data, ICNDS, :1, 162-165.
2、Huiyun Long, Jianshi Li. A Process Algebra Approach of BPEL4WS, Journal of Information and Computing Science, : 4 (2), 93-98.
3、Huiyun Long and Dan ma, Checking compatibility of BPEL4WS based on CCS, ICSEM , Volume 1, 255-258. 10月22-23日
4、Huiyun Long and Yun Wu, Research on the model of mobility with data transmission, ICSEM , Volume 2, 242-244. 10月20-21日，
发明专利及获奖情况(以来
无
学术兼职及荣誉称号
无
教学格言
无
电子邮件long_huiyun@
