郭德贵，男，1972年生，博士、副教授、硕士生导师。主要研究领域为程序分析与验证，在《电子学报》等国内外期刊和学术会议上累计发表论文20余篇，作为骨干参加国家、省部级项目10余项，获省部级一等奖1项、三等奖1项。现为《编译原理》教育部-微软精品课程、吉林省精品课程教学梯队主要成员。现任吉林大学计算机科学与技术学院软件形式化教研室主任。
        邮箱:guodg@jlu.edu.cn