2016年7月15日下午16:00,由尊龙凯吋官方网站计算机科学与尊龙凯吋官方网站主办的“Coalgebraic Methods for Automata”(自动机理论中的余代数方法)暑期学校闭幕式暨结业典礼在理科楼B222室举行。莱顿大学Marcello Bonsangue副教授、里昂高师Filippo Bonchi研究员、Jurriaan Rot研究员、本次暑期学校的负责人张敏老师以及来自全国各地的暑期学校学员共九十多人出席了此次活动。
为期五天的时间里,在莱顿大学Marcello Bonsangue副教授、里昂高师Filippo Bonchi研究员和Jurriaan Rot研究员的指导下,学员们学习了自动机理论的余代数方法中的一些概念、性质、算法,包括自动机的余代数方法中的互模拟、NFA、streams、coinduction等概念和Naive、HKC等算法。同时,专家们还为学员们特别设计了相关练习,以此查缺补漏,巩固所学,学员们也随时和专家们交流沟通。从同学们的反馈来看,这样的学习方法,其学习效果相较往年大大提升。
暑期学校负责人张敏老师对本次暑期学校进行回顾和总结
优秀学员领取结业证书
闭幕式上,本次暑期学校的负责人张敏老师对此次暑期学校作了回顾和总结,向与会的教授、坚持参加课程的师生们和本次暑期学校的志愿者和工作人员表示由衷的感谢,寄语学员们要进一步深入学习各种新知识。随后,张敏老师、Marcello Bonsangue副教授、Filippo Bonchi和Jurriaan Rot研究员为表现优异的学员们颁发了结业证书,并与学员进行合影。最后,在热烈的掌声中,尊龙凯吋官方网站计算机科学与尊龙凯吋官方网站自动机理论中的余代数方法暑期学校顺利落下了帷幕。本次的暑期学校具有很强的创新性,理论与实践结合,以服务广大学员为根本,受到了较高的评价。在此次暑期学校的学习中,通过和外国教授的互动、同其它学员的讨论,学员们的眼界得到了开阔,理论水平得到了提高,学习兴趣也大大增加。
优秀学员与教授合影留念