个人基本情况介绍：

龙慧云，女，博士，1997年7月毕业于贵州大学计算机科学与技术专业，获工学学士；2009年7月毕业于贵州大学计算机软件与理论专业，获工学博士学位。1997年7月留校任教以来一直从事教学科研工作，现为贵州大学计算机科学与信息学院副教授，主要研究方向为Web服务的形式化分析。

研究领域与方向：

Web服务形式化分析

科研课题（2010年以来主要承担的科研项目）：

省基金：Web服务组合的形式化模型研究，项目批准单位：贵州省科学技术基金委员会；项目批准日期：2010.6.8; 合同号：黔科合J字[2010]2099；

学术论著(2009年以来发表的论文、专著)：

1、Huiyun Long, Jianshi Li. A Typed Process Calculus for Dynamic Web Data, 2009 ICNDS, 2009:1, 162-165.

2、Huiyun Long, Jianshi Li. A Process Algebra Approach of BPEL4WS, Journal of Information and Computing Science, 2009: 4 (2), 93-98.

3、Huiyun Long and Dan ma, Checking compatibility of BPEL4WS based on CCS, ICSEM 2011, Volume 1, 255-258. 2011年10月22-23日

4、Huiyun Long and Yun Wu, Research on the model of mobility with data transmission, ICSEM 2012, Volume 2, 242-244. 2012年10月20-21日，

发明专利及获奖情况（2009年以来)：

无

学术兼职及荣誉称号：

无

教学格言：

无

电子邮件：

long_huiyun@163.com