个人简介
讲授课程： 编译原理（课程链接）
程序安全检测技术（课程链接）
形式语义学
教育经历： 1992.9-1996.7 山东大学数学系 本科
2000.9-2003.7 吉林大学计算机科学与技术学院 硕士研究生
2003.9-2007.7 吉林大学计算机科学与技术学院 博士研究生
工作经历： 1996.7-2004.7 延边大学数学系 教师
2004.7-至今 吉林大学计算机科学与技术学院 教师
科研项目： 1 切片技术及应用研究 吉林大学基本科研业务费项目 负责人
2 本体演化中若干问题的研究 国家自然科学基金 第3参加人
3 计算机专业本科生实践教学体系和创新能力培养研究 吉林省教学改革重点课题 第2参加人
4 本体定义元模型及其在语义网中的应用研究 吉林省科技厅 第3参加人
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
1 ATLAS语言实现中的设备分配算法研究 电子学报，2007.11
2 C/ATLAS单动作测试语句实现的操作语义描述 吉林大学学报（理学版），2008.01
3 ACCENT生成的语法分析器中多个语法错误检查的实现 计算机应用与软件，2007.08
4 Operational Semantics of the Seal Calculus The 4th International Conference on Intelligence Information Processing. 20-23，September, 2006. Adelaide Australia. ISTP:BFG59
5 The Denotational Semantics of the Signal Statement in ATLAS 4th ACIS International Conference on Software Engineering Research, Management & Applications (SERA2006) EI:073110723770;
ISTP:BFB84
6 Precedence Grammar and Its Transformation 4th ACIS International Conference on Software Engineering Research, Management & Applications (SERA2006) EI:073110723769;
ISTP:BFB84
着作教材： 《编译原理及实现技术》 机械工业出版社 2010年 第2作者
京公网安备 11010802027423号