郭德贵
基本情况
姓名: 郭德贵                
性别:
职称: 副教授
最高学历: 研究生
最高学位: 博士
电话:
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: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作者

吉林大学计算机科学与技术学院 版权所有 © 2017

地址:吉林省长春市朝阳区前进大街2699号吉林大学前卫南区计算机楼 邮编:130012