一、个人简介
张迎周，男，1978年生，安徽庐江人。2002年应用数学硕士毕业，2005年计算机软件与理论博士毕业，同年加盟南邮计算机学院，2008年升为副教授，2011年香港理工大学计算机系合作交流，2012年破格晋升教授，2012-2013年英国剑桥大学计算机系访问学者。多年来一直从事软件形式化分析与程序切片等方面的系统理论研究，并积极将之应用到网络安全和服务计算等领域。曾获东南大学优秀博士论文、南京市自然科学优秀学术论文奖、南京市科技进步奖、广西壮族自治区科技进步奖、江苏省“青蓝工程”中青年学术带头人、8188cc威尼斯首批“135人才计划”的“鼎新学者”，全国计算机学会高级会员、ACM/IEEE会员、江苏省云计算专委会委员。曾指导本科生获得2011年江苏省优秀本科毕业设计（论文）一等奖等。
二、研究方向及主要成果
目前研究方向包括：软件形式化分析与程序切片、软件可靠与安全、服务计算、网络信息安全、函数式编程技术等。
主要成果简介：在《Knowledge-Based Systems》、《中国科学》、《计算机学报》等国内外刊物上发表论文50余篇，其中SCI收录7篇，EI收录20篇。获授权国家发明专利3项。负责承担国家自然基金、国家重点实验室基金、省高校自然基金等多项科研项目。
三、代表性著作
[1] Yingzhou Zhang, Wei Fu, H.K.N. Leung. Web Service Publishing and Composition Based on Monadic Methods and Program Slicing. Knowledge-Based Systems, 2013, 37: 296–304.
[2] 张迎周, 符炜.一种过程间单子切片方法, 电子学报, 2013, 41(8): 1457-1461.
[3] 张迎周, 符炜, 张卫丰. 基于形式化方法的服务自动测试方法. 系统工程与电子技术, 2013, 35(12): 2619-2630.
[4] Yingzhou Zhang (2012). Program Slicing Based on Monadic Semantics. Book Chapter: Semantics in Action - Applications and Scenarios, Dr. Muhammad Tanvir Afzal (Ed.), ISBN: 978-953-51-0536-7, InTech, Available from: http://www.intechopen.com/books/semantics-in-action-applications-and-scenarios/Program Slicing Based on Monadic Semantics. 2012: 41-62.
[5] 张迎周, 刘玲玲. 信息流安全技术回顾与展望, 8188cc威尼斯学报（自然科学版）, 2011, 31(5): 87-95.
[6] Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang. Web Service Generation through Program Slicing, Journal of Communications, Network and System Sciences, 2010, 3(11): 877-887.
[7] Yingzhou Zhang, Wei Fu, Junyan Qian. Automatic Testing of Web Services in Haskell Platform, Journal of Computational Information Systems, 2010, 6 (9): 2859- 2867. EI收录20104313324036
[8] Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen. Program Slicing Based Buffer Overflow Detection, Journal of Software Engineering and Applications, 2010, 3(10): 965-971.
[9] 张迎周, 吴重强, 钱巨, 张卫丰, 徐宝文. 含指针程序的单子切片方法, 计算机学报, 2010, 33(3): 473-482.
[10] Yingzhou Zhang, A Novel Formal Approach to Program Slicing, Science in China F: Information Sciences, 2007, 50(5): 657-670.
[11] Yingzhou Zhang, Weifeng Zhang, Monadically Slicing Programs with Procedures, 东南大学学报（英文版）, 2008, 24(2): 178-182.
[12] 张迎周, 徐宝文, 一种新型形式化程序切片方法, 中国科学, E辑: 信息科学,2008, 38(2): 161-176.
[13] 张迎周, 张卫丰, Haskell：一种现代纯函数式语言, 8188cc威尼斯学报, 2007, 27(4): 13-18.
[14]张迎周, 徐宝文,一种基于模块单子语义的动态程序切片方法, 计算机学报, 2006, 29(4): 526-534.
四、联系方式
办公地点：8188cc威尼斯三牌楼校区图科楼444
单位电话：13851422191
Email：zhangyz @njupt.edu.cn