讲授课程： 高级语言程序设计（课程链接） 高级语言程序实验 高级语言课程设计（课程链接） 编译原理（课程链接） 编译原理课程设计（课程链接） 教育经历： 1996.09-2000.08 吉林大学计算机学院 本科 2000.09-2003.08吉林大学计算机科学与技术学院 硕士 2003.09-2007.12 吉林大学计算机科学与技术学院 博士 2011.01-2012.01 英国leeds大学 博士后 工作经历： 2003-2006.8：吉林大学计算机科学与技术学院 助教 2006.09-2015.08：吉林大学计算机科学与技术学院 讲师 2015.09-至今：吉林大学计算机科学与技术学院 副教授

时空推理、不确定推理