访问期间，两位教授分别在图书馆学术报告厅做了题为“Verification and Synthesis of Petri Net with Localities（带有局部性质的Petri网的验证和综合）”和“High-level Petri Net Compositions（高级Petri网的组合）”的学术报告，深入浅出地介绍了这一领域的基本情况及最新进展。报告会气氛轻松、热烈、活跃，吸引了计算机学院、软件学院等众多西电师生。3月31日和4月1日，两位教授还参观了计算机学院计算理论与技术研究所，观看了一些工具的演示，并同研究所的师生进行了学术研讨和交流，大家对未来合作事宜进行具体磋商。

       Maciej Koutny教授生于波兰，英国籍。早年在著名的华沙技术大学获得学士、硕士和博士学位。现为英国著名的计算机科学家、欧洲理论计算机学会成员，在著名国际杂志和国际会议发表论文70多篇，出版2部研究专著，在理论计算机科学的许多领域均做出了重要贡献。

       Hanna Klaudel教授，法国籍。在法国巴黎第六大学获得博士学位。主要的研究领域有Petri网、进程代数等，在著名的国际杂志和国际会议发表论文40余篇。