2016-9-6 加拿大麦克马斯特大学Ridha Khedri教授应邀至实验室作学术报告

        2016年9月6日加拿大麦克马斯特（McMaster）大学Ridha Khedri教授应邀至华东师范大学上海市高可信计算重点实验室，在理科楼B1002为实验室师生作了题为《Communicating Concurrent Kleene Algebra and its Use in Designing Secure Distributed Systems》的学术报告，并与实验室师生进行了学术交流。

        Ridha Khedri教授结合多年来的科研经历，深入讲解了Communicating Concurrent Kleene Algebra（C2KA）以及它在设计安全分布式系统中的应用。报告对Kleene Algebra，Concurrent Kleene Algebra等相关的数学背景知识以及用于获取并行和通信行为的C2KA框架等进行了不同角度的深入讲解与剖析，内容详实，深入浅出。

报告现场

        Ridha Khedri教授任职于麦克马斯特大学计算与软件学院。主要研究代数方法、信息安全策略分析、加密密钥分发模式分析、数据净化以及形式化软件需求分析等。