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