我院邀请上海大学缪淮扣教授做讲座

2013年7月15日，我院邀请到上海大学缪淮扣教授为我们做题为“软件形式化方法导论”和“软件测试方法研究”两场讲座。第一场讲座缪教授主要介绍软件形式化方法发展、软件形式化方法目前应用及软件形式化方法所采用Z语言的基本应用；第二场重点介绍目前软件测试方法前沿研究内容及上海大学软件工程科研团队在软件测试方面的一些研究工作，并展示了上海大学开发的FSM建模工具的应用。在场的师生就各自感兴趣的问题与缪教授进行了热烈的交流和探讨。

缪淮扣教授，博士生导师，享受国务院政府特殊津贴专家。主要从事软件形式方法、软件验证与确认、基于规格说明的测试用例生成的研究。是可信软件形式验证与测试组合方法的倡导者。出版了国内第一本介绍形式规格说明语言Z的著作，并领衔开发了多个支持形式方法的工具。主持并完成多个国家863高科技计划项目和国家自然科学基金项目。

1992年至1995年由国家公派在英国York大学做访问学者。曾担任上海市南市区、黄浦区科协常委，上海市南市区、黄浦区计算机学会理事长。国家教育部计算机科学与技术学科软件工程专业教学指导委员会委员和中国软件行业协会理事。

现为IEEE 会员、中国计算机学会高级会员、系统软件专业委员会会员、上海大学校学术委员会委员、上海市计算机软件评测重点实验室学术委员会副主任。