删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

贵州大学计算机科学与技术学院导师教师师资介绍简介-龙慧云

本站小编 Free考研考试/2021-10-17

龙慧云
个人基本情况介绍
龙慧云,女,博士,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
相关话题/计算机科学与技术学院 贵州大学