5月10日下午在4113教室，应学院邀请上海大学博士生导师缪淮扣教授为计算机与信息学院教师举行了软件形式方法的学术讲座。缪淮扣教授的研究领域为人工智能、计算机软件方法、软件工程等。主要学术贡献是逻辑程序设计、自动推理和软件形式方法等。完成了近20多个国家级和上海市级科研项目，是ICFEM2002国际会议的程序主席，多次担任国际会议的程序委员。缪淮扣教授的讲座从软件开发出发，引入形式方法，进而介绍形式方法的重要性和研究的领域，又介绍了软件形式方法在几个领域中的应用情况如航天控制软件，铁路控制软件等。最后，对形式方法相关的一些国际通用标准和目前的研究热点也做了简要说明。缪淮扣教授的讲座深入浅出，使学院教师了解到了软件形式方法研究领域的前沿知识，受益匪浅，讲座结束后，缪淮扣教授还与学院教师进行了交流。 

计算机与信息学院