计软学院导师介绍：秦胜潮

秦胜潮，深圳大学特聘教授。毕业于北京大学，并分别获得学士和博士学位。在国外学习和工作多年，曾在位于新加坡国立大学的新加坡－麻省理工联盟担任博士后研究员，并担任过英国大学的讲师、副教授和正教授等职位。主要研究领域为软件理论与形式化方法，特别是程序理论、程序分析与软件验证。目前已在国际高水平期刊和重要会议上发表论文70多篇，编著3部。