校友讲坛第二十四讲:从布尔可满足性到线性代
5月6日下午,我校计算机学院校友、香港科技大学计算机系教授林方真博士应邀做客校友讲坛第二十四讲,作题为《从布尔可满足性到线性代数》的学术报告。校友工作办公室主任项士敏向林方真颁授“校友讲坛”主讲嘉宾纪念牌。
本次学术报告在厦门校区行政研发大楼401会议室举行,由计算机学院、校友总会和校友工作办公室主办。校友工作办公室、计算机学院负责人及计算机学院师生代表近200人到场听取报告,报告会由计算机学院院长陈维斌主持。
林方真教授在报告中围绕布尔可满足性这一人工智能和计算机科学领域的基本理论问题,介绍了其在许多领域的相关应用,阐述了布尔可满足性与线性代数学间的关系,以及在一些成熟技术中的基础数学问题。他还结合自己求学经历和科研经验,对在场师生所关心的问题作了解答。
林方真现任香港科技大学计算机系教授,上世纪80年代曾在我校电脑系任教,后出国留学,毕业于美国斯坦福大学计算机科学系,获博士学位。他是国际著名人工智能刊物JAIR副主编,国际顶级会议KR2010、LPNMR2009程序委员会主席及国际顶级会议IJCAI、AAAI、KR、ECAI等程序委员会委员。他先后在国际著名人工智能刊物《Artificial Intelligence》、《Journal of Artificial Intelligence Research》以及著名人工智能国际会议IJCAI、AAAI、KR等发表70余篇论文,在非单调推理、自主机器人理论、逻辑程序设计和行动推理等领域均做出杰出贡献,先后获得世界人工智能大会最佳论文奖、美国人工智能年会最佳论文奖、“知识表示与推理”国际学术大会最佳论文奖和香港“裘槎优秀科研者奖”等国际学术大奖。