头像

张敏

教授高校教师

软件工程学院      

个人资料

  • 部门: 软件工程学院
  • 毕业院校: 上海交通大学、巴黎第七大学
  • 学位: 博士(双)
  • 学历: 博士
  • 邮编:
  • 联系电话: 62233591
  • 传真: +86 (0)21 - 6223 3591
  • 电子邮箱: mzhang@sei.ecnu.edu.cn
  • 办公地址: 华东师范大学普陀校区理科大楼B505室
  • 通讯地址: 上海市普陀区中山北路3663号华东师范大学软件学院

教育经历

(1)2003年9月-2007年6月 巴黎第七大学 信息技术 博士 

(2)2002年9月-2007年6月 上海交通大学 计算机软件与理论 博士

(3)1999年9月-2002年6月 江苏师范大学 基础数学 硕士

(4)1995年9月-1999年6月 江苏师范大学 数学教育 学士


工作经历

(1) 2018年-至今 华东师范大学 软件工程学院 副院长

(2) 2022年1月-至今 华东师范大学 软件工程学院 教授

(3) 2012年1月-2021年12月 华东师范大学 软件工程学院 副教授

(4) 2007年9月-2011年12月 华东师范大学 软件工程学院 讲师

个人简介

社会兼职

(1)全国计算机学会形式化方法专委会委员;

(2)全国信息技术标准化技术委员会软件与系统工程分委会委员。

研究方向

(1)计算机理论之形式化方法

(2)复杂系统的量化分析与验证

(3)智能系统的可信保障技术

招生与培养

科研项目

“状态转换系统的格值量化验证方法研究”(61202105)国家自然科学基金委青年科学基金项目 2013.1-2015.12

“面向卫星电子系统抗辐照能力 的量化验证与评估技术”(61672012)国家自然科学基金委面上项目 2017.1-2020.12

学术成果

荣誉及奖励


10 访问

相关教师