X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
平台简介 | 帮助中心
欢迎来到科易厦门城市创新综合服务平台,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
张迎周
返回首页

张迎周

南京邮电大学/教授

所在地:江苏-南京市 入职年份: 2005年 学历: 资料待完善 毕业院校: 资料待完善

从事领域软件形式化分析与程序切片

擅长能力软件形式化分析与程序切片

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

智能制造服务热线:0592-5380947

运营商:厦门科易帮信息技术有限公司     

增值电信业务许可证:闽B2-20100023      闽ICP备07063032号-5