（通讯员 刘宇婷 张灵春）应betway必威刘鼎副教授邀请，法国国立工艺学院Kamel Barkaoui教授于2017年3月13日至4月6日到访公司进行学术交流与联合科研。

4月1日下午，Barkaoui教授在北校区主楼III-143会议室分别作了主题为“Maximal Persistent Steps for Reduced State Space Generation & On Characterization of Structural Liveness of Petri Nets”和“About the Evaluation System of Higher education and Research in France” 的报告。

Barkaoui教授的学术讲座主要面向从事离散事件系统理论与应用研究的青年教师和研究生。状态爆炸问题是并发系统形式验证面临的主要问题，Barkaoui教授在报告中介绍了两种应对该问题的方法：避免所有并行操作序列的产生；基于Petri网结构理论，引入偏序变迁和根库所的概念，定义K-system使得该类网中冲突与同步之间的相互作用进一步弱化。Barkaoui教授的报告内容引起了在场师生的浓厚兴趣并踊跃提问，教授对提出的问题作了详细解答。在报告二中，Barkaoui教授介绍了法国高等教育与研究的评估体系。使得在座师生对法国高等教育有了多方面了解，对当前公司学科认证与评估具有很高的借鉴意义；对拟申报法国联合培养的博士研究生以及拟赴法国访问进修的青年教师有很大帮助。

Kamel Barkaoui自2002年起任法国国立工艺学院计算机科学系教授；Barkaoui教授主要研究领域包括关于并发和分布式系统的规范、验证、控制及性能评估的形式化方法。他发表了140篇国际期刊与会议论文，主持、参与了10多个国际研究项目。Barkaoui教授于1995年和1998年分别获得IEEE Int. Conf. on System Man and Cybernetics 杰出论文奖和科学工作者优秀卓越奖。他是计算机与通信系统的验证评估国际会议（VECoS）的发起人和会议指导委员会主席；担任Formal Aspects of Computing Journal（FACJ），Journal of Systems and Software（JSS）和ACM Transactions on Embedded Computing Systems（TECS）的客座编辑，同时也是多个国际知名期刊稿件评阅人。