马宁，女，吉林大学博士毕业，副教授，阿里云大数据应用学院院长助理、数据科学与大数据技术专业负责人。长期从事计算机核心课程的教学工作，具有丰富的教学经验。

    主要研究方向包括：形式化方法、智能规划、大数据等。