张迎周,男,南京邮电大学副教授、博士。
2002年应用数学硕士毕业,
2005年计算机软件与理论博士毕业,
同年加盟南邮计算机学院信息安全系。
1. 基于信息流分析的Web应用诊断和检测技术研究。
包括:网络信息流安全、网络密码协议分析验证、XML文档抽取分析等。
2. 基于数据流分析的软件安全技术研究。
包括:安全漏洞分析检测、迷惑代码检测和反迷惑技术、远程缓冲区溢出攻击检测等。
3. 函数式编程技术及其在安全可靠网络软件开发中的应用。
包括:Haskell编程技术、服务计算、基于构件软件开发、Web服务发现与组合等。
在《中国科学》、《计算机学报》等国内外刊物上发表论文30余篇,其中SCI收录6篇,EI收录12篇。
作为主要项目成员参加了多项国家自然科学基金、国家杰出青年科学基金、国家重点基础研究发展规划973等项目研究。目前作为项目负责人承担国家自然基金、网络与交换国家重点实验室基金各一项。现主要从事形式化方法、服务计算、网络信息流安全、软件可靠与安全、密码协议分析、函数式编程技术、程序切片等相关理论和应用研究。