陈光喜，工学博士，桂林电子科技大学学科教学示范教授，硕士生导师，中国计算机学会会员,1971年生于四川成都。分别于1994年、1997年、2002年在西南师范大学、复旦大学、中国科学院研究生院获得理学学士、理学硕士和工学博士学位。1997年至2003年在中国科学院成都计算所自动推理实验室工作，2003年进入桂林电子科技大学工作。2010年8月至12月在日本大学理工学部从事访问研究。
      主要研究领域包括符号与数值混合计算、面向人工智能的软件方法、定理机器证明。近年来承担过国家自然科学基金、广西自然科学基金等各类科研项目12项，发表科研论文60余篇，出版译著1部，获计算机软件著作权7项。获桂林市科技进步三等奖1项。
      近年来主讲本科生、研究生课程6门，指导硕士研究生31人。承担承担教育科学研究和教学改革项目11项，出版本科生教材《离散数学》。是国家级精品课程、国家级教学团队核心成员，广西精品课程负责人。荣获广西高等教育教学成果奖一等奖1项、三等奖1项。