所在地：湖南长沙市 入职年份： 资料待完善 学历： 硕士 毕业院校： 国防科技大学
从事领域 通信，网络，其他机械
擅长能力 电子与通信技术-通信技术;电子与通信技术-电子与通信技术其他学科;电子与通信技术-通信技术-通信网络技术;机械工程-机械学-机械学其他学科;
教授。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