为进一步加强学院全英文课程体系建设，助力学院人才培养工作，4月19日，由日本计算机专家、广岛大学刘少英教授主讲的“软件质量保证的形式化工程方法”（Formal Engineering Methods for Software Quality Assurance）正式开讲。应我院邀请，刘教授自2017年起每年春季学期为我院研究生和高年级本科生开设该门专业课程，截至今年已连续开设5期。受疫情影响，刘教授无法入境与学生面对面，本次课程沿用线上授课的形式。为了保障课程能够在保证质量的前提下顺利开讲，学院安排外事秘书和研究生助教对接课程、测试授课系统等，确保课程能够如期上线开讲。经过前期的努力，课程终于如期顺利上线，得到了学生的广泛认可。

本期课程选课学生多达71人，其中包括留学生3人，选课人数创开课以来新高。首节课程学生到课率百分之百，经过前期充分的准备，整个授课过程流畅，音频、视频画面清晰，刘教授所授内容均通过相应的实例说明，深入浅出，通俗易懂，赢得了同学们的声声感谢和好评。

在讲解过程中，刘教授不时询问同学们是否理解课程内容，细心深入的讲解每一个知识点，同学们纷纷表示大有所获。刘教授不时使用生动形象的例子讲述晦涩的概念，经过刘教授的讲解，同学们感到豁然开朗。

作为一门方法论课程，刘教授采用寓教于乐，寓教于练的授课方式，期间穿插使用编程实例以解释理论方法，让同学们对理论和方法有更深入和直观的理解，也对该课程有了更浓厚的兴趣。

本期课程是betway必威西汉姆联官网邀请海外知名院校专家开设的全英文课程计划中的一门课程，本学期还将有9门全英文课程陆续开讲，欢迎同学们积极听课。

主讲人简介：刘少英是日本著名计算机专家，现任广岛大学计算机科学教授，IEEE Fellow。1992年获英国曼彻斯特大学计算机科学博士学位。自1994年以来，已主持20余个研究项目，创立和发展了“软件开发的形式化工程方法”，研制开发了SOFL形式化工程开发语言和方法，由Springer出版专著一本，编著由IEEE CS Press和Springer LNCS系列出版的论文集8本，在IEEE Transactions on Software Engineering等国际学术期刊和国际会议发表160多篇论文。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的世界top 15名学者之一。

文：李璟琦 肖春霞

图：李璟琦

审核：张龙