加拿大多伦多大学Marsha Chechik教授来访
经上海市高可信计算重点实验室邀请,加拿大多伦多大学Marsha Chechik教授于2015年9月9-18日至华东师范大学访问交流。期间,Marsha Chechik教授于9月17日上午在理科楼B1002教室进行《Explicating and Reasoning about Model Uncertainty》学术讲座。
该讲座主要讲授不确定模型的解释和推理,提出了MBSE工具支持模型的开发、分析、精化与转化。着重讲解对不确定性和变化性的建模与分析。针对建模过程中出现的各种不确定现象,Marsha教授使用推迟解决不确定性,同时把不确定性归入开发过程进一步进行开发;列出标准的MDE工具来处理有不确定性的模型;增加新的工具来帮助建模者表达他的不确定性,确定未知部分,处理和减少不确定性。
Marsha Chechik教授任职于位加拿大多伦多大学计算机科学学院。她的主要研究方向是软件工程中的自动验证和模型设计,使用形式化方法来提高软件质量,具体包括:可扩展的自动验证技术、模型检测、定理证明、协议验证、非经典逻辑等。