报告题目：形式验证技术概述及软件工程专业工程教育认证体会

报告人：孔维强

报告时间：2019年7月16号上午9：00 - 10:30

报告地点：软件学院会议室

报告摘要：

（1）形式验证作为安全攸关系统的可靠性保证技术，受到广泛关注并于近年逐步应用到企业实践中。本报告概要性介绍形式验证技术的背景及基本方法，重点介绍报告人提出的基于混成计算的多核限界模型检测技术，以及融合定理证明及模型检测的大规模系统的形式验证方法论。（2）工程教育专业认证逐渐受到各高校的普遍重视。本报告从软件工程专业认证参与者的角度，介绍工程教育专业认证的经验和体会，涵盖认证前的准备、自评报告的撰写、专家到校考察等方面的注意事项。

报告人简介：

孔维强，大连理工大学软件学院教授、博士生导师、软件工程专业负责人、副院长。发表科研论文60余篇、形式验证方向国外授权专利1项并商用化，近五年主持或参与国家自然科学基金重点项目、面上项目、国际企业横向等科研项目7项；近五年参与国家教学成果奖二等奖1项、辽宁省教学成果奖一等奖1项，主持国家级专业建设项目1项、省级专业建设项目2项，发表教育教学论文10余篇，参与软件工程专业工程教育专业认证及复评工作。

报告题目：基于深度学习的场景文字检测与识别

报告人：李豪杰

报告时间：2019年7月16号上午10:30 - 12:00

报告地点：软件学院会议室

报告摘要：

图像中的文字提供了丰富而精确的高级语义信息，对于场景理解、图像和视频检索等众多潜在应用具有重要意义，近年来受到了计算机视觉领域的广泛关注。本报告将介绍基于深度学习的自然场景文字检测和识别的面临的挑战、主要方法和研究进展，并针对文字尺度的多样性以及图像质量的不确定性等挑战，介绍所提出的尺度自适应的文字检测方法、多级特征融合和任务自适配的文字检测方法。最后报告我们在文字识别方面的应用。

报告人简介：

李豪杰，大连理工大学国际信息与软件学院，教授，博士生导师，副院长。分别于1996年、2007年获南开大学学士学位和中国科学院计算技术研究所博士学位。2007年至2009年在新加坡国立大学从事博士后研究。研究方向为多媒体信息检索、计算机视觉、数据挖掘，在包括IEEE TCSVT、IEEE TIP、IEEE TMM等顶级国际期刊和ACM MM、ICMR、ICME等重要国际会议发表论文80余篇。 近年来主持国家自然科学基金面上项目3项，主持国际合作、教育部留学回国人员基金等省部级项目及企业合作项目10余项。所研发软件系统在国家体育总局、邮政、影视、智能制造等行业获得推广使用。