基本情况
姓名：郭德贵               
性别：男
职称：副教授
最高学历：研究生
最高学位：博士
电话：
Email：
详细情况
所在学科专业：计算机软件与理论
所研究方向：软件理论与技术
讲授课程：编译原理（课程链接）
程序安全检测技术（课程链接）
形式语义学

教育经历：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:;
ISTP:BFB84
6 Precedence Grammar and Its Transformation 4th ACIS International Conference on Software Engineering Research, Management & Applications (SERA2006) EI:;
ISTP:BFB84

着作教材：《编译原理及实现技术》 机械工业出版社 2010年 第2作者