张迎周教授
个人简介
张迎周，男，工学博士，博士研究生，教授，硕士生导师，1978年安徽庐江出生，2002年应用数学硕士毕业，2005年计算机软件与理论博士毕业，同年加盟南邮计算机学院，2008年升为副教授，2011年香港理工大学计算机系合作交流，2012年破格晋升教授，2012-2013年英国剑桥大学计算机系访问学者，现为南京邮电大学计算机科学与技术系主任。 多年来一直从事软件形式化分析与程序切片等方面的系统理论研究，并积极将之应用到网络安全和服务计算等领域。曾获东南大学优秀博士论文、南京市自然科学优秀学术论文奖、南京市科技进步奖、广西壮族自治区科技进步奖、江苏省“青蓝工程”优秀青年骨干教师、南京邮电大学首批“135人才计划”的“鼎新学者”，中国计算机学会高级会员、ACM/IEEE会员、江苏省云计算专委会委员。曾指导本科生获得2011年江苏省优秀本科毕业设计（论文）一等奖。在《Knowledge-Based Systems》、《中国科学》、《计算机学报》等国内外刊物上发表论文50余篇，其中SCI收录7篇，EI收录20篇。获授权国家发明专利3项。负责承担多项国家自然基金、国家重点实验室基金、省高校自然基金等科研项目。 现主要从事形式化方法、软件分析与程序切片、软件可靠与安全、服务计算、函数编程（如Haskell）技术等相关理论和应用研究。
研究方向及主要成果
1. 基于数据流和控制流分析的软件安全技术研究。
包括：C程序及嵌入式软件的安全分析与漏洞检测、迷惑代码检测和反迷惑技术、缓冲区溢出攻击检测等。
2. 网络和移动应用软件的安全分析与研究。
包括：Java程序及Android应用软件的安全分析、Web服务和云服务安全与测试研究、基于QoS的服务组合与测评等。
