一、个人简介

    张迎周，男，1978年生，安徽庐江人。2002年应用数学硕士毕业，2005年计算机软件与理论博士毕业，同年加盟南邮计算机学院，2008年升为副教授，2011年香港理工大学计算机系合作交流，2012年破格晋升教授，2012-2013年英国剑桥大学计算机系访问学者。多年来一直从事软件形式化分析与程序切片等方面的系统理论研究，并积极将之应用到网络安全和服务计算等领域。曾获东南大学优秀博士论文、南京市自然科学优秀学术论文奖、南京市科技进步奖、广西壮族自治区科技进步奖、江苏省“青蓝工程”中青年学术带头人、伟德bv1946官方网站首批“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] 张迎周, 刘玲玲. 信息流安全技术回顾与展望, 伟德bv1946官方网站学报（自然科学版）, 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：一种现代纯函数式语言, 伟德bv1946官方网站学报, 2007, 27(4): 13-18.

    [14]张迎周, 徐宝文,一种基于模块单子语义的动态程序切片方法, 计算机学报, 2006, 29(4): 526-534.

四、联系方式

    办公地点：伟德bv1946官方网站三牌楼校区图科楼444

    单位电话：13851422191

    Email：zhangyz @njupt.edu.cn