时间：2026年3月27日上午10：00
地点：学院1楼报告厅
主持：学院副院长廖剑伟 教授
主题一：巴西的高等教育体系
主讲人：Juliano Iyoda 博士
巴西伯南布哥联邦大学（UFPE）信息中心副教授
【专家简介】
Juliano Iyoda 博士现任巴西伯南布哥联邦大学（UFPE）信息中心副教授。他于2006年获剑桥大学计算机实验室博士学位，曾任联合国大学国际软件技术研究所（中国）研究员。主要研究方向为形式化方法在软硬件设计中的应用、自动推理（尤其是HOL定理证明系统），以及软件测试。他在形式化验证领域有长期研究积累，并参与了多项国际合作。
Dr. Juliano Iyoda is an Associate Professor at the Centro de Informática, Universidade Federal de Pernambuco (UFPE), Brazil. He received his Ph.D. from the Computer Laboratory at the University of Cambridge in 2006, and previously served as a Fellow at the International Institute for Software Technology of the United Nations University in China. His research interests include formal methods applied to hardware and software design, automated reasoning, particularly the HOL theorem proving system, and testing. He has extensive experience in formal verification and has been involved in various international collaborations.
【内容提要】
作为在巴西本土成长并拥有丰富国际经历的学者，他对巴西高等教育体系有着切身理解与长期观察。在本场报告中，他将结合自身在巴西的教学与科研经历，介绍巴西高等教育的结构、特点、挑战与发展趋势，帮助大家了解南美国家的学术生态与人才培养模式。
主题二：软件系统的形式化验证
主讲人：Gustavo Carvalho 博士
巴西伯南布哥联邦大学（CIn-UFPE）讲师
【专家简介】
Gustavo Carvalho 博士现任巴西伯南布哥联邦大学信息中心（CIn-UFPE）讲师。他于2006年、2010年和2016年在该校分别获得计算机科学学士、硕士及博士学位。主要研究兴趣为软件工程，重点关注测试与形式化方法。他长期担任多个国际会议（如FM、SEFM、ICTAC、TASE）和期刊（如SCP、SoSyM、IST、ACM FACJ、IEEE TSE）的审稿人，并于2021年担任巴西计算机学会形式化方法特别小组主席。
Dr. Gustavo Carvalho is a Lecturer at the Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE), Brazil. He received his B.Sc. (2006), M.Sc. (2010), and Ph.D. (2016) in Computer Science, all from CIn-UFPE. His research interests lie in Software Engineering, with emphasis on testing and formal methods. He has served as a reviewer for international conferences (FM, SEFM, ICTAC, TASE) and journals (SCP, SoSyM, IST, ACM FACJ, IEEE TSE), and in 2021 he chaired the Formal Methods Special Group of the Brazilian Computer Society.
内容提要：在自动驾驶、航空航天、金融交易等关键系统中，软件缺陷可能带来灾难性后果。传统的软件测试虽然必要，却无法穷尽所有可能。软件验证，尤其是基于数学的形式化方法，正是为这类系统提供可靠保证的关键路径。在本场报告中，他将从基本概念出发，系统讲解软件验证的重要性、其与传统测试的本质区别，以及形式化方法如何在实际中为高可靠性系统提供核心支撑
