李梦君，男，1975年生，副教授。2005年毕业于国防科技大学，获计算机软件与理论博士学位。2005年至今在国防科技大学从事计算机软件与理论的教学和科研工作。主讲编译原理、计算机程序设计、软件测试与验证、形式语言与自动机、形式语义学等多门本科和研究生课程，是国家精品课程“编译原理”的主讲教师之一，获得学校研究生教学个人三等奖2次。科研方面，主要从事软件形式化验证、信息安全等方向的研究。主持了2项国家自然科学基金项目。在国内外期刊和会议上发表论文 30余篇，其中20余篇EI收录。