华侨大学数学科学学院导师简介：林荣德

姓名

林荣德

出生年月

性别

男

出生地/籍贯

职称

博士、副教授

院系

华侨大学数学科学学院

研究方向

移动界程演算模型检测方法及相关应用的研究。

个人邮箱

教育背景

2003/9 - 2010/6华南理工大学计算机应用技术在职博士
1993/9 - 1996/6华侨大学机械制造工程硕士
1983/9 - 1987/6中南工业大学探矿机械工程本科

任职经历

1996/7 - 至今华侨大学数学科学学院职称副教授
1987/7 – 1993/8第二冶金地勘局职称助理工程师

主讲课程

本科生主讲课程有《面向对象程序设计》、《数字信号处理》、《数据库系统》和《操作系统》等。

科研成果

（一）主持课题

a.2016.4-2019.3福建省自然科学基金面上项目 界程演算模型检测算法及检测工具研究(2016J01304)主持
b. 2011.4-2013.3华侨大学博士科研启动基金项目 面向应用的移动界程演算及其模型检测的研究主持

（二）近期部分代表性研究论文

[1] 陈江,林荣德. 具有行为观察的移动界程演算空间逻辑[J]. 南京师范大学学报(工程技术版) , 2011,11(4):70-76
[2] 林荣德. 移动界程演算及模型检测应用的关键问题研究[D]广州: 华南理工大学计算机科学与工程学院,2010
[3] 林荣德,奚建清,郭玉彬. 移动进程的蛰伏性与空间逻辑[J]. 计算机科学, 2009 Vol.36(3): 173 - 178
[4] Lin Rongde, Xi Jianqing ,Guo Yubin. Dormancy and Spatial Logic of Mobile Ambients. FSKD '08. Fifth International Conference 2008(1):248 – 253.
[5] Lin Rongde, Xi Jianqing, Chen Baogang. An  Operational  Model  for  Mobile  Ambients. Proceedings of the 3rd International Conference on Computer Science & Education-advanced, Computer technology, New education 2008:988-995.