应计算机学院段振华教授邀请，日本法政大学刘少英教授于2006年8月25日至2006年9月2日来我校进行了学术交流与访问。

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

    8月28至9月1日，刘教授在图书馆A108会议室做了题为“软件开发的形式工程方法”系列学术讲座。讲座内容新颖、气氛热烈，吸引了计算机学院、软件学院等众多西电师生。刘教授深入浅出地介绍了软件工程领域的基本情况，以及他们在这一领域的最新研究成果，并耐心回答了老师和学生的提问，让大家觉得获益匪浅。

    9月1日下午，刘教授参观了计算机学院计算理论与技术研究所，并同所里师生进行了亲切交谈，解答了同学们在科研中遇到的问题，对同学们的研究工作给予了很大的启发和帮助。

    （计算机学院 国际合作与交流处）