2019年9月5日下午，陈意云教授受邀在计算机学院做题为“安全C语言串行程序的验证系统介绍”的学术报告。
报告录像视频链接：http://wlkt.ustc.edu.cn/video/detail_5069_0.htm
