个人简介

文成于2022年在深圳大学获得博士学位，现为华山学者准聘副教授，主要从事软件分析与测试、软件工程、程序设计语言、形式化方法等方面的研究，相关研究成果发现开源软件中上百个真实缺陷，发表论文十余篇。

此前，曾于2018-2019年在新加坡南洋理工大学进行访学，并于2020-2022年在华为2012实验室可信测试工程实验室实习，开发的软件分析工具在华为公司中得到实际部署和使用。

报告时间

2023年2月7日15:00

会议平台及会议号

会议平台：腾讯会议

会议号：974 914 560