On September 6, 2016, Professor Ridha Khedri of McMaster University in Canada was invited to the School of Computer Science and Software Engineering of East China Normal University. In the Science Building B1002, He delivered a report named “Communicating Concurrent Kleene Algebra and Its Use in Designing Secure Distributed Systems”.

Prof. Ridha Khedri combined his rich research experience to explain Communicating Concurrent Kleene Algebra (C2KA) and its application in the design of secure distributed systems. The report provided an in-depth explanation and analysis of Kleene Algebra, Concurrent Kleene Algebra and other related mathematical background knowledge and the C2KA framework for obtaining parallel and communication behaviors.

Prof. Ridha Khedri was a member of the School of Computing and Software at McMaster University. His research focused on algebra methods, information security policy analysis, encryption key distribution pattern analysis, data cleansing, and formal software requirements analysis.