X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
帮助中心 | 关于我们
欢迎来到国家技术转移西南中心---区域技术转移公共服务平台,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
张迎周
返回首页

张迎周

南京邮电大学/教授

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

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

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

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

Copyright © 2016    国家技术转移西南中心-区域技术转移公共服务平台     All Rights Reserved     蜀ICP备12030382号-1

主办单位:四川省科技厅、四川省科学技术信息研究所、四川省技术转移中心科易网