职称

教授

出生年月

1979年8月

最高学位/学位

博士研究生/博士

电子邮箱

miaodecheng@sgu.edu.cn

专业领域

085509 智能制造技术

研究方向

智能制造与大数据技术应用

主讲课程

数据库系统

主要荣誉

广东省高等学校“千百十工程”培养对象，广东省高等学校优秀青年教师培养计划对象

出版著作及代表性论文

1. 范畴论方法在计算机科学中的应用，学术专著，第一主编，中山大学出版社，2020年11月出版

2. A   Fibrational Method of Indexed Coinductive Data Types, 第一作者，Technical Gazette,2020，27（2）

3. Indexed   coinduction in a fibrational setting, 第一作者，Lecture Notes in Computer Science，2018,11338

4. Inductive   Data Types Based on Fibrations Theory in Programming, 第一作者，Journal of Computing and Information   Technology，2016,24（2）

5. 一种高效的分布式数据库完整性技术, 第一作者，华南理工大学报 华南理工大学报 (自然科学版)，2012,40（1）

近5年主持承担科研项目及经费

1. Fibrations理论及其在形式语言中的应用研究，2018年广东省自然科学基金面上项目，10万元，2022年结题

2. 嵌入式终端系统设计项目，2023年横向课题，35万元，深圳市盐田区中兴新思职业技能培训中心，在研

科研成果（获奖、专利、版权、著作权、外观设计等）

1. 具有高校人事信息数据库应用系统界面的电脑，独立授权，ZL   201630621138.3，外观设计

2. 带有图形用户界面的电脑（高校人事信息系统），独立授权，ZL   201630657328.0，外观设计

3. 高校人事信息数据库应用系统V1.0，独立授权，软著登字第1496270号