作者:李 钰 核稿:高 丽 编发:曹兴美
本网讯 2014年度国家自然科学基金申请项目评审结果已经揭晓,我校计算机学院惠小静副教授申请的题为“基于对合否定的SBL公理化扩张系统的程度化推理及逻辑控制研究”的面上项目喜获资助,资助经费为62万元,该项目由高丽、李江荣、姜金平、李竹林、贺艳峰、李钰等共同参与。
此项项目的申报成功对于学院的科研建设具有重要意义,实现了数学与计算机科学学院多年来在国家项目申报上“零”的突破,是学院从事基础研究的教师长期辛勤工作积累的结果,也是学院重视科学研究、人才引进,重视内涵发展所取得的积极成果。