为进一步加强betway必威学术交流，8月26日下午，betway必威特邀德国莱比锡大学博士、南通大学副教授冯世光在理工楼A3003开展了题为“二阶HORN逻辑的复杂性与表达能力”的学术座谈会。泰山学者青年专家赵之光教授、学院相关科研人员等10余名教师参加了此次报告会。
冯博士围绕描述复杂性理论是有穷模型论的一个分支，从逻辑的角度对计算复杂性进行研究，使用逻辑公式对问题进行刻画，报告结束后冯博士针对老师们提出的问题进行了座谈交流。大家普遍反映受益匪浅，尤其是对逻辑学与计算机技术的交叉前言问题有了更清晰的认识和理解。
冯世光，2012年博士毕业于中山大学逻辑学专业，2016年博士毕业于在德国莱比锡大学计算机科学与技术专业。现为南通大学信息科学技术学院校聘副教授。研究领域包括数理逻辑、计算理论、量子计算复杂性和量子算法等。迄今为止已在会议与期刊发表多篇论文。
