姓名
祝铭
性别
男
民族
汉


出生年月
1983
政治面貌
党员

职称（硕导、博导）
讲师（硕导）
职务


电子邮箱
zhu_ming@sdut.edu.cn

主要学习工作简历
（2011-2016）在Peter Grogono教授和Olga Ormandjieva教授的指导下，毕业于加拿大康考迪亚大学(Concordia University)，获计算机科学博士学位。博士在读期间，总共获得7项奖学金，发表5篇论文，并担任11门本科、研究生课程助教，受康考迪亚大学全额奖学金资助。
（2009-2011）在中国交通信息中心有限公司先后担任软件工程师和项目经理，参与开发中国交通建设集团办公OA、中国交通建设集团门户网站、中交水运规划设计院数据中心、中交水运规划设计院移动OA等项目。2010年，获得计算机技术与软件专业技术资格（水平）考试的信息系统项目管理师证书，并获得中国交通信息中心有限公司优秀项目经理荣誉。
（2007-2009）在美国DataSynapse公司北京分公司担任产品系统工程师，负责开发基于网格计算产品GridServer上的应用程序。2008年，被公司派往纽约进行三周的培训学习。
（2005-2007）在美国University Wisconsin-La Crosse学习软件工程，师从Kasi Periyasamy教授，并获得软件工程硕士学位。

主要研究方向
微服务、云服务组合、并行系统、人工智能

社会兼职及荣誉称号


主讲课程及主要教学奖励
软件工程、UML、事件驱动程序（Event Driven Programming）、计算机科学（Computer Science）、软件测试（Software Test）

主要科研成果及奖励

[1]范国栋，祝铭，李静，崔晓柳，基于FAHP与规划图融合的Web服务组合方法， 计算机科学， 2020 （通信作者）
[2]范国栋，阎松，祝铭，吴志勇，李静，基于有向二分图与图数据库的QoS感知服务组合方法，中国计算机学会服务计算年会，2019（通信作者）
[3]M. Zhu, G. Fan, J. Liand F. Wang, A Service Composition Approach Based on Overall QoSand Modified Graphplan, International Journal of Web and Grid Services, 2019 (SCI, 影响因子:1.52).
[4]J. Li, G. Fan, M. Zhuand Y. Yan,Pre-joined Semantic Indexing Graph for QoS-aware Service Composition, In IEEE International Conference on Web Services (ICWS)2019 (EI, CCF：B类)（通信作者）
[5]J. Li, Y. Yan, and M. Zhu, A Compressed Graph Representation for Services Composition, International Journal of Web and Grid Services,14(3):305-331, 2018(SCI, 影响因子:1.52). （通信作者）
[6]M. Zhu, J. Li, G. Fan and K. Zhao, Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP, Procedia Computer Science, 2018, 141: 48-55(EI索引).
[7]M. Zhu , G. Fan, J. Liand H, Kuang, An Approach for QoS- aware Service Composition with GraphPlan and Fuzzy Logic, Procedia Computer Science, 2018, 141: 56-63(EI索引).
[8]M. Zhu, P. Grogono, O. Ormandjieva, and H. Kuang. A categorical approach to verifying concurrency between design and implementation. In The 7th International Conference, Journal of Ubiquitous Systems and Pervasive Networks. on Ambient Systems, Networks and Technologies, 8(2):7–13, 2017 (EI索引).
[9]M. Zhu, P. Grogono, O. Ormandjieva, and H. Kuang. Using failures and category theory to verify process communications between design and implementation of concurrent systems. In The 7th International Conference on Ambient Systems, Networks and Technologies, 2016 (EI索引).
[10]M. Zhu, P. Grogono, and O. Ormandjieva. Using category theory to verify implementation against design in concurrent systems. In The 6th International Conference on Ambient Systems, Networks and Technologies, pages 530–537, 2015 (EI索引).
[11]M. Zhu, P. Grogono, O. Ormandjieva, and P. Kamthan. Using category theory and data flow analysis for modeling and verifying properties of communications in the process-oriented language erasmus. In Proceedings of the Seventh C* Conference on Computer Science and Software Engineering, pages 24:1–24:4, 2014 (EI索引).