报告题目：专业复杂工程问题与计算认知的思考
主 讲 人： 马殿富（教育部计算机类教学指导委员会秘书长、CCF教育工委主任）
报告时间：2018年12月17日周一下午14：30
报告地点：将军路校区计算机学院楼113会议室
承办单位：计算机科学与技术学院/人工智能学院
个人简介：
马殿富，教授，博士生导师，曾任北京航空航天大学计算机学院院长、教育部计算机类教学指导委员会秘书长，CCF教育工委主任。现任软件开发环境国家重点实验室副主任、中国信标委SOA标准分委员会副主任及工程教育认证专家。多年一直从事离散数学及安全关键系统软件建模与形式验证等方面的教学工作。近年来，主要研究面向服务的软件体系结构与协同环境研究、非结构化数据组织与管理，安全关键软件建模与形式验证方法研究。曾获省部级科学技术进步一等奖3项，2005年获国家教学一等奖，2014年获得国家教学二等奖。