所在地:江苏-南京市 入职年份: 2005年 学历: 资料待完善 毕业院校: 资料待完善
从事领域软件形式化分析与程序切片
擅长能力软件形式化分析与程序切片
张迎周,男,1978年生,安徽庐江人。2002年应用数学硕士毕业,2005年计算机软件与理论博士毕业,同年加盟南邮计算机学院,2008年升为副教授,2011年香港理工大学计算机系合作交流,2012年破格晋升教授,2012-2013年英国剑桥大学计算机系访问学者。多年来一直从事软件形式化分析与程序切片等方面的系统理论研究,并积极将之应用到网络安全和服务计算等领域。