马宁，博士，长期从事计算机核心课程的教学工作，具有丰富的教学经验。主要研究方向包括：形式化方法、智能规划、大数据等。
<small id='WTt2DIG'></small><noframes id='biyArgp'>
<tbody id='3DIV'></tbody>
<bdo id='FWUp49'></bdo><ul id='CVMuRll'></ul>
