张敏 副教授高校教师
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校： 上海交通大学、巴黎第七大学
学位： 博士（双）
学历： 博士
邮编：
联系电话： +86 （0）21 - 6222 3591
传真： +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） 2012年1月-至今 华东师范大学 软件工程学院 副教授
（3） 2007年9月-2011年12月 华东师范大学 软件工程学院 讲师

个人简介

社会兼职
（1）全国计算机学会形式化方法专委会委员；
（2）全国信息技术标准化技术委员会软件与系统工程分委会委员。


研究方向
（1）计算机理论之形式化方法
（2） 复杂系统的量化分析与验证


开授课程
（1）编译原理与技术 （本科课程）
课程链接（202009-202102）：https://elearning.ecnu.edu.cn/webapps/blackboard/execute/modulepage/view?course_id=_9837_1&cmp_tab_id=_37113_1&editMode=true&mode=cpview
（2）编译原理与技术实践 （本科课程）
课程链接（202009-202102）：https://elearning.ecnu.edu.cn/webapps/blackboard/execute/modulepage/view?course_id=_9290_1&cmp_tab_id=_35290_1&editMode=true&mode=cpview
（3）概率论与数理统计 （本科课程）
课程链接（202009-202102）：https://elearning.ecnu.edu.cn/webapps/blackboard/execute/modulepage/view?course_id=_9292_1&cmp_tab_id=_35292_1&editMode=true&mode=cpview
（4）专业英语 （专硕）
课程链接（202009-202102）：https://elearning.ecnu.edu.cn/webapps/blackboard/execute/modulepage/view?course_id=_9837_1&cmp_tab_id=_37113_1&editMode=true&mode=cpview


科研项目


学术成果
2014年
【1】 Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative Analysis of Lattice-valued Kripke Structures. Fundamenta Informaticae. ( 2014. accepted) .
【2】 Haiyu Pan, Yongzhi Cao, Yongming Li, Min Zhang. Multi-valued model checking with nondeterminism.Scince China, (2014, Submitted)
【3】 Haiyu Pan, YongzhiCao, Min Zhang(通讯)， Yixiang Chen.Simulation for Lattice-valued Doubly Labeled Transition Systems. International Journal of Approximation Reasoning, 55(2014) 791-811. (SCI)
2013年
【4】 Yanfang Ma, Min Zhang（通讯）. The Infinite Evolution Mechanism of ε-bisimilarity(Extention Version). Journal of Computer Science and Technology(JCST). 2013, 28(6): 1097-1105, DOI: 10.1007/s11390-013-1400-y.
【5】 潘海玉、张敏（通讯）、 陈仪香. 基于模糊逻辑的几类Kripke结构之间的关系《计算机科学》 2013 40（5） 42－44.
2012年
【6】 Haiyu Pan, Min Zhang , Yixiang Chen.Bisimilarity forFuzzy Doubly Labeled Transition System. 2012 International Conference on Quantitative Logic and SoftComputing,pp. 207-214. doi: 10.1142/31_0030
【7】 Haiyu Pan, Min Zhang, Yixiang Chen. Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion(SERE2012). Pp 137-143. 2012. DOI 10.1109/SERE-C.2012.29
【8】 Haiyu Pan, Min Zhang , Yixiang Chen. Bisimulation for Lattice-valued Transition Systems. In：Proceeding The 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012)pp.279-282, 2012

2011年
【9】 Haiyu Pan, Min Zhang ,Yixiang Chen. Approximate Bisimulation for Metric Doubly Labeled Transition System. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p108-114. （国际会议）EI (EI:201**)10.1109/TASE.2011.22
【10】 Longfei Zhu, Min Zhang, Huibiao Zhu, Yanhong Zhu, and Jianqi Shi. Formalizing Application Programming Interfaces of the OSEK/VDX Operating SystemSpecification. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p 27-34. （国际会议）EI doi/10.1109/TASE.2011.12
【11】 Haiyu Pan, Min Zhang ,Yixiang Chen.Approximate Simulation for Metric Hybrid Input/Output Automata. International Conference on Secure Software Integration and Reliability Improvement, 2011，53-59．(EI 201**) （国际会议）doi: 10.1109/SSIRI-C.2011.19
【12】 Yanfang Ma, Min Zhang， Yixiang Chen,Liang Chen. Two-thirds Bsimulation Index and Modal Characterization. Frontiers of Computer Science in China. vol5(4)454-471. （英文期刊 ）SCIE/EI doi>10.1007/s11704-011-0140-9
【13】 Yanfang Ma, Min Zhang, Liang Chen.The Convergence MechanismofImplementationunderTwo-thirds Bisimulation.Jounal of Information and Computation Science. 2011 Vol.8(13): 2875-2884.（英文期刊）EI
2010年
【14】Yixiang Chen , Tian-Ming Bu, Min Zhang , Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks. Journal of Emerging Technologies in Web Intelligence, Vol 3, (2010), 62-64.
Doi: 10.1109/WI-IAT.2009.231

2009年
【15】 Yixiang Chen, Min Zhang, Hong Zhu, and Tianming Bu.Average TransitiveTrustworthy Degrees forTrustworthyNetworks. In proceeding of4thInternational Conference on Rough Setand Knowledge Technology(RSKT’2009) LNCS 5589：682-689, 2009. (EI 493)（国际会议）
Doi: 10.1007/978-3-642-02962-2_86
【16】 Yanfang Ma, Min Zhang. Parameterized Bisimulation Infinite Evolution Mechanism. In: Proceeding of ThirdIEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2009, p299-300 (EI 563).（国际会议）
http://doi.ieeecomputersociety.org/10.1109/TASE.2009.24
【17】Yanfang Ma, Min Zhang. Topological Construction of Parameterized Bisimulation limit. In: Electronic Notes in Theoretical Computer Science, Vol. 257 (2009) , p55-70 .(EI 594) (英文期刊) doi: http://dx.doi.org/10.1016/j.entcs.2009.11.026
2008年
【18】 Yanfang Ma, Min Zhang, Yixiang Chen. A Computation Model of Trustworthy Degree.In: Proceeding of International Symposium on Intelligent Information Technology Application Workshop, IEEE Computer Society, 2008, p523-526.(EI: 458) （国际会议）doi: 10.1109/IITA.Workshops.2008.164
【19】 Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu.A Bigraphical Model of WSBPEL. In Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE’08), 117-120, 2008. （EI: 114）（国际会议）http://doi.ieeecomputersociety.org/10.1109/TASE.2008.47
【20】 Pierre-Louis Curien, Vincent Danos, Krivine Jean, Min Zhang.Computational self-assembly.Theoretical Computer Science (TCS) 404(1-2), 61-75, 2008. (EI: 828) doi : http://dx.doi.org/10.1016/j.tcs.2008.04.014,


荣誉及奖励


招生信息














10 访问


相关教师