祝铭

祝铭，博士。

研究兴趣：面向进程的编程、范畴论、并行系统、模型检测、形式化方法、软件工程。
Research Interests：Process-Oriented Programming,Category Theory, Concurrent Systems, Formal Methods,
and Software Engineering.

个人简介：
（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教授，并获得软件工程硕士学位。

发表论文：
[1] 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.
[2] 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.
[3] M. Zhu, P. Grogono, O. Ormandjieva, and K. Zhao. Verifying consistency of process communications between
design and implementation of concurrent systems. In The 2nd International Conference on Computer and
Information Science and Technology (CIST’16), 2016.
[4] 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.
[5] 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.
[6] X. Liu, M. Zhu, and K. Li. On san-based and soa-based model of data center in survey and design enterprises.
Port & Waterway Engineering, 9(458):169–172, 2011.
[7] X. Liu, K. Li, and M. Zhu. Research and implementation of soa-based survey and design enterprise information
system integration. Port & Waterway Engineering, 9(457):220–223, 2011.

联系方式：zhu_ming@sdut.edu.cn
办公地点：9号楼303