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