日本法政大学刘少英教授受聘担任我校客座教授

时间：2009-09-05  来源：计算机学院、国际合作与交流处  作者：

西电新闻网讯（通讯员 左愿远）应我校计算机学院段振华教授邀请，日本法政大学刘少英教授于2009年8月26日至8月30日来我校进行了学术交流和访问。

　　8月28日下午，在图书馆108教室举行了刘少英客座教授聘任仪式。聘任仪式由国际合作与交流处处长高新波教授主持；计算机学院院长马建峰教授介绍了刘少英教授的简历和学术业绩；杨银堂副校长宣布学校聘任决定并为刘少英教授颁发聘书、佩带校徽；之后，杨银堂副校长和刘少英教授分别发表了热情洋溢讲话，并合影留念。

　　聘任仪式后，刘少英教授做了题为“基于SOFL的形式化工程方法”系列学术讲座。刘教授深入浅出地介绍了基于SOFL的软件工程领域的基本情况，以及他的研究小组在这一领域取得的的最新研究成果，并耐心回答了老师和学生们的提问。讲座内容新颖，吸引了计算机学院、软件学院等众多西电师生，使大家受益匪浅。此外，刘教授还参观了计算机学院计算理论与技术研究所，并做了“如何开展学术研究和撰写英文学术论文”的专题报告，解答了同学们在科研中遇到的问题，对同学们的研究工作给予了很大的启发和帮助。

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