2016-4-5 英国提赛德大学Frank Zeyda副教授应邀到上海市高可信计算重点实验室进行短期授课

   为培养可信软件领域具有国际视野的高端软件人才，拓宽可信计算的专业知识，上海市高可信计算重点实验室特邀请英国提赛德大学Frank Zeyda副教授于2016年3月18日-4月17日为上海市高可信计算重点实验室师生讲授专题研究课程，并进行学术交流与访问。

        2016年4月5日-13日，英国提赛德大学Frank Zeyda副教授在中北校区理科楼B1002教室为上海市高可信计算重点实验室师生讲授Isabelle专题研究课程。上海市高可信计算重点实验室常务副主任朱惠彪教授主持了课程的讲授，部分教师及研究生全程参加了课程学习。Frank Zeyda副教授结合多年来的教学和科研经历，深入浅出讲解Isabelle理论，整个课程围绕类型、函数以及定理的定义、UTP语义在Isabelle中的实现等，从不同角度进行深入讲解与剖析，内容详实。

授课现场

        通过本次课程的学习及互动交流，加深了对Isabelle专业知识的理解，加强了实验室的教师、研究生与英国提赛德大学的深度交流与合作。

        4月15日上午10点，FrankZeyda副教授在理科楼B1002会议室为实验室师生讲授了题为“Rigorous Development of High-integrity Java Applications”的学术报告。

学术报告

        Frank Zeyda副教授现任职于英国提赛德大学。研究方向包括机器化定理证明和程序逻辑（擅长Isabelle），形式化建模与描述，程序语言的语义，程序统一理论（UTP）。