报告题目：DC的模型检验
报告人：   张苗苗  研究员 同济大学
主持人：   刘静 教授
报告时间：11月13日  周二10:45-12:15
报告地点：理科大楼B1102

报告摘要：
时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑。扩展线性时段不变式(ELDI) 是时段演算的重要子集，报告主要讨论我们目前在ELDI验证方面的一些工作结果，以及将来的工作。

报告人简介：
张苗苗研究员于2001年从上海交通大学自动化系取得博士学位，先后在荷兰内梅亨大学计算机科学系、联合国大学国际软件技术研究所进行软件理论研究工作，作为主要研究者参加了HAAST和AMETIST等欧盟科研项目。归国后，2008年任同济大学软件学院研究员，博导。先后主持3项国家自然基金，1项教育部回国留学基金以及航天领域等项目。从事嵌入式系统的建模和验证以及故障容错方面等的系统研究。