访问期间，刘少英教授主讲了软件学院本科二年级必修课《软件工程概论》的部分课程，将形式化方法理论与实践知识融入到《软件工程》课程教学中，扩充了以往《软件工程》课程教学思路和内容，并以具有特色的授课方法进行讲授，同时穿插一些学习、科研方法及思路的内容，取得了良好收效，学生反映非常积极，有的学生还表达了将来想从事此方向科研的愿望。

      9月18日，由 “陕西省计算机教育学会软件工程专业分委员会”主办、西电软件学院承办的“软件开发方法的形式化方法和软件工程学科发展前沿”研讨班在我校举行。陕西省各高校软件工程、计算机等相关专业共30余名教师应邀参加了此次研讨会。刘少英教授是本次研讨班的主讲人，他分别做了《形式化方法在软件工程中的应用》、《如何教好软件工程课程》、《如何撰写和发表英文论文》等三场专题报告，会场讨论气氛热烈，参会教师均表示受益匪浅。

      来访期间，刘教授还多次与我校教师在科研、教学方面进行交流，并与计算机学院段振华教授、田聪老师等在形式化方法领域展开深入科研合作。

      附：刘少英教授简历

      刘少英教授是日本法政大学教授、国际著名计算机专家、形式化方法研究领域的国际专家。早年他在西安交通大学获得学士和硕士学位，后在英国曼彻斯特大学获得博士学位。现为IEEE计算机学会复杂性技术委员会副主席，IEEE计算机学会、英国计算机学会、日本软件科学与技术学会会员。多年来，他在计算机科学的许多领域，包括形式化方法及理论、软件开发方法学、软件检查、软件测试、可靠复杂计算机系统以及智能软件工程环境等方面做出了重要贡献。他在著名国际杂志及会议发表学术论文80多篇，出版研究专著4部。刘少英教授是我校的客座教授，在计算机科学多个研究领域均有一定建树，尤其在形式化方法方面有多年研究成果。

（国际合作与交流处、软件学院）