個人簡介
湖北荊門人。長期從事計算機基礎(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插值自動定理證明器等工具。