【个人简介】
陈智斌，男，讲师
【教育背景】
2017-2020：华南师范大学，逻辑学专业，哲学博士学位
2016-2017：中山大学，访问学者.
2002-2005：广东工业大学，计算机应用技术专业，工学硕士学位.
1998-2002：广东工业大学，金属材料工程专业，工学学士学位.
【工作经历】
2005-至今：广东技术师范大学计算机科学学院，担任专职教师，从事教学科研工作。
【学科领域】
主要研究方向为逻辑与信息、人工智能逻辑、逻辑哲学、人工智能哲学等。
【主讲课程】
《Linux操作系统》、《操作系统》
【项目课题】
1. 语义悖论的可容许模型研究，国家社会科学基金项目，2019年，参与.
2. 逻辑真理论的历史源流、理论前沿与应用研究，国家社会科学基金重大项目，2017年，参与.
3. 可拓变换的逻辑表示问题研究，广东技术师范学院自然科学研究项目，2014.1-2015.1，主持.
4. 基于MQ问题密码算法的抗侧信道攻击防护方案研究，广东普通高校青年创新人才项目，2014.6-2016.6，参与.
【主要成果】
论文：
1. 陈智斌, 熊明. 布尔悖论的雅布鲁展开式[J]. 华南师范大学学报（社会科学版）, 2019, (4): 183-188.
2. 陈智斌, 贾西平, 肖政宏. 可拓逻辑的可满足性问题研究[J]. 数学的实践与认识, 2015 (12): 266-272.
3. Zhi-bin Chen, Xi-ping Jia and Zheng-hong Xiao. A Logical Representation of Extension Transformation[C]. // Cao, B.-Y.et al. (Eds.) International Conference on Oriental Thinking and Fuzzy Logic, August 17-20, 2015, Dalian. Springer.
4. Chen Z, Jia X, Xiao Z. A Computational Cognitive Model of User Applying Creativity Technique in Creativity Support Systems[J]. Procedia Computer Science, 2015, 55: 818-824.
5. ZB.Chen. Study on semantics of extension logic[C]. //Cai W. et al. Extenics and Innovation Methods. The International Symposium on Extenics and Innovation Methods(ISEIM), August 16-18, 2013, Beijing. Leiden: CRC Press. c2013:43-48.
6. 陈智斌，彭平，贾西平.基于认知科学的可拓变换构造问题研究[J].广东工业大学学报. 2011,28(4)
7. 陈智斌, 彭平, 陈宇亮. 基于可拓策略生成技术的商品搜索服务改进研究[J]. 数学的实践与认识, 2009, 39(4): 160-166
8. 陈智斌, 余永权, 杨少敏. 基于可拓学的球墨铸铁石墨形态识别[J]. 中国工程科学, 2005, 7(3):84-89
9. 陈智斌, 余永权. 基于可拓学的多相合金相体积分数自动测定[J]. 计算机工程与应用, 2005, 41(11):174-176.
教材：
1. 陈智斌, 梁鹏, 肖政宏. Linux综合实训案例教程[M]. 清华大学出版社, 2016.
【联系方式】
邮箱： cyblink@163.com
