欧美又粗又大AAAAA级毛片,久久天堂av综合合色蜜桃网,亚洲欧美日韩国产成人一区,大屁股XXXXX日本大屁股

個人簡介

　　湖北荊門人。長期從事計算機基礎(chǔ)、計算機網(wǎng)絡(luò)一線教學工作，多次組織和參與信息管理系統(tǒng)、監(jiān)控系統(tǒng)的研發(fā)，先后發(fā)表了計算機網(wǎng)絡(luò)、軟件正確性驗證等方向多篇論文。

教育背景

　　1992.9-1996.7  中國人民解放軍軍械工程學院（現(xiàn)陸軍工程大學）電子系，雷達工程專業(yè)，本科
　　2001.9-2004.7  廈門大學自動化系，數(shù)據(jù)挖掘方向，碩士
　　2005.9-2010.7  清華大學計算機系，軟件形式化驗證方向，博士

研究方向

　　主要研究方向為軟件形式化驗證、自動定理證明和人工智能，先后組織開發(fā)了C語言模型檢測器、Craig插值自動定理證明器等工具。