所在地：湖南长沙市 入职年份： 资料待完善 学历： 资料待完善 毕业院校： 资料待完善

从事领域通信,网络,其他机械

擅长能力影视特效,数字媒体,分布式计算

个人简介

高春鸣，教授。1957年4月生，1991年毕业于浙江大学，获图像处理方向硕士学位，2007年毕业于国防科技大学计算机学院获博士学位。主研影视特效、数字媒体、分布式计算领域。近五年主持五项省部级数字媒体方向重大重点科研项目。现任湖南大学数字媒体研究所所长，湖南省数字卡通工程技术研究中心专家委员会委员。

Gao Chun-Ming，Liu Rong-Sheng，Yan Song，Chen Huo-Wang. WebJetChecker: A Formal Verification Tool Embedded into Services Composition Development Environment. In: Proc of the 5th International Conference on Grid and Cooperative Computing(GCC2006), Changsha, P.R. China: IEEE Computer Society, 2006, 355-362.
Chunming Gao，Jin Li， Huowang Chen. Model Checking for BPEL4WS with Time. In: Proc of The First International Workshop on Process Aware Information Systems (PAIS 2007)， June 16-18， 2007. Huang Shan， China. APWeb/WAIM 2007 Ws，LNCS 4537，pp. 528-533.
Chunming Gao，Meiling Cai，Huowang Chen. QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. In: Proc of The First International Workshop on Process Aware Information Systems (PAIS