人物介绍(简况 学习经历)

研究领域与成果(研究成果 研究项目 研究方向)

人物介绍

简况

张迎周，男，南京邮电大学副教授、博士。

学习经历

2002年应用数学硕士毕业，2005年计算机软件与理论博士毕业，同年加盟南邮计算机学院信息安全系。曾获东南大学优秀博士论文。

研究领域与成果

研究成果

在《中国科学》、《计算机学报》等国内外刊物上发表论文30余篇，其中SCI收录6篇，EI收录12篇。

研究项目

作为主要项目成员参加了多项国家自然科学基金、国家杰出青年科学基金、国家重点基础研究发展规划973等项目研究。目前作为项目负责人承担国家自然基金、网络与交换国家重点实验室基金各一项。现主要从事形式化方法、服务计算、网络信息流安全、软件可靠与安全、密码协议分析、函数式编程技术、程序切片等相关理论和应用研究。

研究方向

1. 基于信息流分析的Web应用诊断和检测技术研究。

包括：网络信息流安全、网络密码协议分析验证、XML文档抽取分析等。

2. 基于数据流分析的软件安全技术研究。

包括：安全漏洞分析检测、迷惑代码检测和反迷惑技术、远程缓冲区溢出攻击检测等。

3. 函数式编程技术及其在安全可靠网络软件开发中的应用。

包括：Haskell编程技术、服务计算、基于构件软件开发、Web服务发现与组合等。