个人资料:
l 开云官方网站信息公司教授，博士生导师，1964年2月生
l 美国南佛罗里达大学(University of South Florida) 数学博士（1998）
l 开云官方网站《计算机软件与理论》研究所负责人
l 开云官方网站信息公司经理
l 开云官方网站数学一级硕士点计算数学学科负责人
l 开云官方网站软件工程一级硕士点方向负责人
l 中国计算机学会软件工程专业委员会委员
l 中国计算机学会Petri网专业委员会委员
科研项目
l （主持）国家自然科学基金国际重大合作项目（重点）：在线软件可靠性工程的理论和方法研究（No.61210004），260万，2013年1月-2016年12月。
l （主持）国家自然科学基金面上项目：基于常微分方程的自适应软件模型研究（No. 61170015），55万，2012年1月-2015年12月。
l （主持）国家自然科学基金重大研究计划（面上项目）：基于常微分方程的程序死锁检测研究（No. 90818013），50万，2009年1月-2011年12月。
l （主持）浙江省自然科学基金重点项目：服务组合的可靠性计算研究（No.Z1090357），25万，2010年1月-2012年12月。
l （主持）教育部留学回国人员基金：基于结构的程序自动产生及逆软件工程问题，3万，2008年1月至2010年12月。
2005年回国后发表的代表性文章
[1] Zuohua Ding, Yuan Zhou, Mengchu Zhou, Modeling Self-Adaptive Software Systems With Learning Petri Nets, ICSE’14, Hyderabad, India, May 31-June 7, 2014.（顶级会议）
[2] Zuohua Ding, MengChu Zhou, ShouGuang Wang, Ordinary Differential Equation-Based Deadlock Detection, IEEE Transactions on Systems, Man, and Cybernetics: Systems, accepted.（SCI）
[3] Zuohua Ding, Yuan Zhou, Mengchu Zhou, A Polynomial Algorithm to Performance Analysis of Concurrent Systems via Petri Nets and Ordinary Differential Equations, IEEE Transactions on Automation Science and Engineering, accepted.（SCI）
[4] Zuohua Ding, Yuan Zhou, and Mengchu Zhou, Stability Analysis of Switched Fuzzy Systems via Model Checking, IEEE Transactions on Fuzzy Systems,, accepted.（SCI）
[5] Zuohua Ding, Mei-Hwa Chenb, Xiaoxue Li, Online Reliability Computing of Composite Services Based on Program Invariants, Information Sciences, vol. 264, pp.340-348 , 2014.（SCI）
[6] Zuohua Ding, Jiaying Ma, Abraham Kandel, Petri Net Representation of Switched Fuzzy Systems,IEEE Transactions on Fuzzy Systems, vol.21, no.1, pp.16-29, 2013.(SCI)
[7] Zuohua Ding, Hui Shen, Abraham Kandel, Hypergraph Partitioning For The Parallel Computing of Fuzzy Differential Equations, Fuzzy Sets and Systems, vol. 230, pp. 142-161, 2013. (SCI)
[8] 丁佐华, Jeff Sanders, 江明月, 张娜, 蒲戈光, 基于GCL语言的测试用例生成方法, 计算机学报，印刷中。(EI)
[9] Zuohua Ding, Mingyue Jiang, Abraham Kandel. Port Based Reliability Computing For Service Composition. In: IEEE Transactions on Service Computing, vol. 5 no.3, pp. 422-436, 2012.(SCI)
[10] Zuohua Ding, Hui Shen, and Qiwei Ge, Checking System Boundedness Using Ordinary Differential Equations, In: Information Sciences, 187: 245-265 (2012) (SCI, IF 2.984)
[11] Zuohua Ding, Hui Shen, and Jianwen Cao, Parallel computation of continuous Petri nets based on hypergraph partitioning，Journal of Supercomputing，vol.62, no.1, pp. 345-377, 2012.(SCI)
[12] Zuohua Ding, Mingyue Jiang, Jens Palsberg, From Textual Use Cases to Service Component Models. In: ICSE/PESOS 2011.(顶级会议EI)
[13] Zuohua Ding, Hui Shen, and Abraham Kandel, Performance Analysis of Service Composition Based on Fuzzy Differential Equations. In: IEEE Transactions on Fuzzy Systems, vol.19, no.1 pp.164-178, 2011. (SCI)
[14] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu, Requirement checking: Generating uses cases out of navigational logs in Web applications, QSIC2010(EI)
[15] Zuohua Ding, Hui Shen, Jing Liu, Applying Ordinary Differential Equations To The Performance Analysis of Service Composition, ICFEM2010, Lecture Notes in Computer Sciences. vol.6447,155-170.（EI）
[16] Zuohua Ding, Static Analysis of Concurrent Programs Using Ordinary Differential Equations（Invited Talk）. ICTAC 2009, Lecture Notes in Computer Sciences, vol.5684, pp. 1-35, 2009. （EI）
[17] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders, Modelling and Verification of Web Navigation. Proceedings of International Conference on Web Engineering (ICWE’09) （顶级会议), Lecture Notes in Computer Sciences, vol.5648, pp.181-188, 2009. （EI）
[18] Zuohua Ding, Mingyue Jiang, Port Based Reliability Computing For Service Composition, Proceedings of International Conference on Service Computing (SCC’09), Bangalore,
India
, Sept 21-25, 2009. (EI)
[19] Zuohua Ding, Mingyue Jiang, Modelling and Verification of Port Based Component Composition, Proceedings of 9th International Conference on Quality Conference (QSIC’09), Jeju,
Korea
, 24-25 August 2009. (EI)
[20] 丁佐华， 江明月，刘静， 基于常微分方程的死锁检测实验分析，计算机学报，vol.32, Sept. 2009. (EI)
[21] Zuohua Ding, Kao Zhang and Jueliang Hu, A rigorous approach towards test case generation, Information Sciences, vol.178, pp. 4057-4079, 2008. (SCI)
[22] Zuohua Ding, Zhenbang Chen and Jing Liu, A rigorous model of service component architecture, Electronic Notes in Theoretical Computer Science, vol.207, pp. 33-48 , 2008. (EI)
[23] Zuohua Ding, Kao Zhang, Performance analysis of concurrent programs using ordinary differential equations, IEEE COMPSAC, pp. 841-846, Aug. 2008. (EI)
