个人资料
教育经历（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 学术成果荣誉及奖励
招生信息 |
|
张敏 |
