863课题网络环境的系统软件核心技术及运行平台成果汇报-ShuaiMa.pdfVIP

数理逻辑-课程简介 马 帅 北航计算机学院 马 帅 计算机学院 dfma@ mashuai@ 个人简介  北京航空航天大学(目前) • 计算机学院，教授 •计算机学院新技术研究所(ACT)开展工作  爱丁堡大学(2005年-2010年) •信息学院，博士/博士后 •从事数据质量和图数据管理的理论与应用研究  北京大学(2001年-2004年)计算机学院 •信息科学技术学院，博士 •从事数据挖掘在移动环境中的理论与应用研究 计算机学院 2 2 ACT