1分快三彩票

学校风采

当前位置: 首页 > 学校风采

上海大学缪淮扣、曾红卫教授来我校讲学

2019-11-11 22:54:40

 

    4月15日,上海大学缪淮扣、曾红卫教授应邀来我校国际交流中心作了精彩的学术报告。信息科学技术学院院长杨德运教授主持报告会。该院部分教师及软件工程专业全体学生参加并聆听了本次报告会。

    报告会上,缪淮扣、曾红卫教授分别做了《软件形式方法概念》、《模型检验在软件测试中的应用》的报告。缪教授首先介绍了引入软件形式方法的原因,随后深入讲解了软件形式化方法的的主要内容及研究价值,并对软件开发人员素养进行了正确的定位。曾教授则具体介绍了模型检测的一些理论,讲解了将它应用于具体的软件测试程序的优缺点,从而证明了模型检验是提高测试效率的有效方法。 会上,两位教授还就报告相关学术问题与现场师生进行了交流,整个报告深入浅出,气氛活跃,受到广大师生的热烈欢迎。

    报告会后,党委副书记、院长秦梦华会见了缪淮扣、曾红卫教授,宾主双方就专业学科建设、师资培养、学术交流等方面进行了广泛探讨。秦院长为缪淮扣教授、曾红卫教授颁发了兼职教授聘书。

    缪淮扣,博士生导师,享受国务院特殊津贴专家,可信软件形式验证与测试组合方法的开拓者;国家教育部计算机科学与技术学科软件工程专业教学指导委员会委员、中国计算机学会系统软件专业委员会委员、上海市学位委员会学科评议组委员、上海大学校学术委员会委员、上海市计算机软件评测重点实验室学术委员会副主任。

    曾红卫,博士生导师。主要研究领域:软件形式化方法、软件测试和验证。现为中国计算机学会高级会员,中国计算机学会系统软件专业委员会委员。完成国家863计划、973、国家自然科学基金、上海市科委等多项课题;曾担任IEEE/ACIS ICIS和CNSI的程序委员会主席。