出版著作及代表性論文 | 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. 一種高效的分布式數(shù)據(jù)庫完整性技術, 第一作者,，華南理工大學報 華南理工大學報 (自然科學版)，2012,40（1） |
近5年主持承擔科研項目及經(jīng)費 | 1. Fibrations理論及其在形式語言中的應用研究,，2018年廣東省自然科學基金面上項目,，10萬元，2022年結題 2. 嵌入式終端系統(tǒng)設計項目,，2023年橫向課題,，35萬元，深圳市鹽田區(qū)中興新思職業(yè)技能培訓中心,，在研 |
科研成果（獲獎,、專利、版權,、著作權,、外觀設計等） | 1. 具有高校人事信息數(shù)據(jù)庫應用系統(tǒng)界面的電腦,，獨立授權，ZL 201630621138.3,，外觀設計 2. 帶有圖形用戶界面的電腦（高校人事信息系統(tǒng)）,，獨立授權，ZL 201630657328.0,，外觀設計 3. 高校人事信息數(shù)據(jù)庫應用系統(tǒng)V1.0,，獨立授權，軟著登字第1496270號 |
