加拿大多伦多大学Marsha Chechik教授来访

        经上海市高可信计算重点实验室邀请，加拿大多伦多大学Marsha Chechik教授于2015年9月9-18日至华东师范大学访问交流。期间，Marsha Chechik教授于9月17日上午在理科楼B1002教室进行《Explicating and Reasoning about Model Uncertainty》学术讲座。

        该讲座主要讲授不确定模型的解释和推理，提出了MBSE工具支持模型的开发、分析、精化与转化。着重讲解对不确定性和变化性的建模与分析。针对建模过程中出现的各种不确定现象，Marsha教授使用推迟解决不确定性，同时把不确定性归入开发过程进一步进行开发；列出标准的MDE工具来处理有不确定性的模型；增加新的工具来帮助建模者表达他的不确定性，确定未知部分，处理和减少不确定性。

        Marsha Chechik教授任职于位加拿大多伦多大学计算机科学学院。她的主要研究方向是软件工程中的自动验证和模型设计，使用形式化方法来提高软件质量，具体包括：可扩展的自动验证技术、模型检测、定理证明、协议验证、非经典逻辑等。