报告会上，刘教授首先结合自己多年来在英国、日本求学和任教的经历，系统化地讲解了自己总结出的一套科研方法学，其中重点讨论了如何加强英文论文写作，针对国内学生发表论文过程中普遍存在的薄弱环节一一做了分析、给出了建议。在第二场报告中，刘教授深入浅出地介绍了形式化方法在软件工程各环节的应用，探讨了其优缺点，并对该领域未来的研究方向作了展望。最后，刘教授回答了同学们提出的问题，并就几个问题进行了进一步的讨论。

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