荷兰莱顿大学Marcello Bonsangue教授应邀进行短期授课

        为推进人才培养的国际化进程，拓宽高可信计算的专业知识，上海市高可信计算重点实验室特邀请荷兰莱顿大学Marcello Bonsangue教授于2015年5月3日-19日为华东师范大学软件学院师生讲授专题研究课程，并进行学术交流。

        2015年5月5日-12日，荷兰莱顿大学Marcello Bonsangue教授在中北校区理科楼B1002教室为软件学院师生讲授“A coalgebraic view on automata theory”专题研究课程，英文授课为期5次。上海市高可信计算重点实验室常务副主任朱惠彪教授主持了课程的讲授，部分教师及研究生全程参加了课程学习。Marcello Bonsangue教授结合多年来的科研经历，以高质量SCI论文为例，深入讲解了自动机理论余代数方法。整个课程围绕语言的余归纳定义与证明，自动机、最终余代数和确定性，最小化、等式和余等式，正则表达式和自动机，上下文无关语言，加权自动机，流形微积分和环路等进行了不同角度的深入讲解与剖析，内容详实，深入浅出。

        通过本次课程的学习及互动交流，开阔了师生的研究视野，加深了对自动机理论专业知识的理解，收获颇丰。

        Marcello Bonsangue教授任职于荷兰莱顿大学高级计算机科学学院。曾任荷兰皇家科学院研究员。主要研究并行和面向对象系统的形式化方法，包括余代数，代数，模态逻辑，度量空间，协作语言，模型检验和测试等。

        附图： 授课现场