麻豆 在线传媒|91制片厂电影|麻豆影业传媒app下载安装|午夜福利看|欧美h视频|麻豆传媒百度网盘链接|麻豆传媒映画原版MD0101|亚洲性v|麻豆传媒映画 MD0091|午夜成人影视,爱豆传媒 迅雷下载,爱豆传媒欧美日韩片,明星换脸在线网站

個(gè)人簡介

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

教育背景

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

研究方向

　　主要研究方向?yàn)檐浖问交?yàn)證、自動(dòng)定理證明和人工智能，先后組織開發(fā)了C語言模型檢測器、Craig插值自動(dòng)定理證明器等工具。