Guowei Yang高级讲师2004年本科毕业于我校软件学院，2013年博士毕业于美国德州大学奥斯汀分校。他的研究方向包括软件工程、编程语言和形式化方法等，特别关注如何提升软件可靠性和安全性。他在ICSE、FSE、 ASE、ISSTA等高水平会议上发表多篇论文并多次担任程序委员会或组织委员会委员。符号执行是软件分析领域的重要技术，广泛应用于测试用例自动生成、错误检测、回归分析、安全分析、持续测试与程序自动修复等场景。

在此次报告中，Guowei Yang介绍了符号执行领域的研究现状与面临的挑战，并围绕当前尤为突出的可扩展性挑战介绍了两个典型的最新研究成果：SynergiSE和ICON。介绍过程中，着重剖析每个方法的原创思想和执行过程，借助深入的实验环节细致入微的评估其有效性和适用范围，引起学生热烈互动。在最后的问答环节，Guowei Yang解答了师生们的技术疑问，并讨论了符号执行的技术细节和未来发展趋势。

计算学部历来重视国际合作，近年来坚持开展国际高端学者讲学计划，国际知名计算机学院院长访问计划，顶尖大学合作伙伴计划、国际名校名企名师授课、国际名校名企联合培养等，为学部的长远发展和培养具有国际视野的高端人才提供了有力的支撑，未来计算学部将以更加积极的态度、奋进的精神，克服困难、迎接挑战，开展国际交流合作，不断提升学部的国际声誉和影响力。