报告人：陈仪香 教授
华东师范大学 博士生导师
报告题目：软件可信性度量模型
报告时间：4月22日（周五）上午10：00
报告地点：静远楼1506学术报告厅
主办单位：数学科学学院、科技处
陈仪香教授简历：
陈仪香教授，华东师范大学计算机学科教授、华东师范大学软件学院副院长、上海市高可信计算重点实验室副主任、教育部软硬件协同设计与应用工程中心主任、上海浦东物联网协会副会长、中国电子学会云计算专家委员会委员、中国计算机学会软件工程专业委员会委员、中国人工智能学会离散数学专业委员会常务委员、中国系统工程学会模糊系统与模糊数学专业委员会常务委员、《Frontiers of Computer Science in China》杂志的理论计算科学领域编委、3个国际系列学术会议（ISDT‚FICS‚QL&QS）合作创始者。1995年获首届江苏省普通高校中青年学术骨干称号‚ 1999年获上海市曙光学者称号。
陈教授主要研究兴趣：物联网、云计算、实时软件系统、程序语义模型与可信软件、知识科学与知识工程。在程序设计语言的语义模型、软件可信度量模型等方面取得了系统的研究成果‚在《Theoretical Computer Science》、《Information Science》以及《Lecture Notes in Computer Science》等国内外重要学术期刊上发表学术论文40余篇‚出版国家自然科学基金研究专著《形式语义的稳定论域理论》（数理科学系列‚2003年6月‚科学出版社）‚合作编辑出版国际学术会议论文集3部。
陈仪香教授先后主持国家级与省部级科研项目15项‚包括国家高技术研究发展计划（863计划）项目、国家可信软件基础研究重大计划项目、国家自然科学基金面上项目、教育部高校博士学科点专项科研基金项目、上海市科委项目登山行动计划项目等项目。作为主要组织者和学术骨干参加了核高基项目《汽车电子系统可靠性分析和验证方法研究》。目前主持国家基础研究计划（973）物联网方面的课题《软件物化理论研究》。