所在地:江苏-南京市 入职年份: 2005年 学历: 资料待完善 毕业院校: 资料待完善
从事领域软件形式化分析与程序切片
擅长能力软件形式化分析与程序切片
张迎周,男,1978年生,安徽庐江人。2002年应用数学硕士毕业,2005年计算机软件与理论博士毕业,同年加盟南邮计算机学院,2008年升为副教授,2011年香港理工大学计算机系合作交流,2012年破格晋升教授,2012-2013年英国剑桥大学计算机系访问学者。多年来一直从事软件形式化分析与程序切片等方面的系统理论研究,并积极将之应用到网络安全和服务计算等领域。
Copyright © 2016 国家技术转移西南中心-区域技术转移公共服务平台 All Rights Reserved 蜀ICP备12030382号-1
主办单位:四川省科技厅、四川省科学技术信息研究所、四川省技术转移中心科易网