马宁
2021-09-06



    马宁,博士,长期从事计算机核心课程的教学工作,具有丰富的教学经验。主要研究方向包括:形式化方法、智能规划、大数据等。