個人簡介
聶長海，博士，副教授。1971年10月生，1994年7月哈爾濱工業大學數學系計算數學及其套用軟體專業本科畢業，1996年7月哈爾濱工業大學數學系基礎數學專業碩士研究生畢業（泛函分析），1996年9月分配到東南大學數學系擔任高等數學以及數學系本科生的計算機基礎課程教學工作，並於2004年5月在東南大學計算機科學與工程系獲得計算機套用技術工學博士學位，同年由東南大學數學系調入該校計算機系工作。主要研究方向為軟體測試技術、軟體形式化驗證和軟體質量。他發表及合作發表學術論文50多篇，其中2011年有一篇論文在影響因子很高(達8以上)的國際期刊ACMComputing Surveys正式發表. 並有一篇論文被軟體工程領域國際最高級雜誌ACM TOSEM(Transaction on Software Engineering and Methodology)錄用, 根據google scholar, 到目前為止，所發表的論文被國內期刊和會議引用(他引)110多次，被國外期刊和會議引用(他引)30多次。主講過數學類（高等數學、模糊數學、組合數學、離散數學）、計算機類（計算機作業系統、編譯原理、算法設計與分析、網路編程、軟體測試、計算機網路、資料庫原理、軟體工程等）課程10多門，基本上覆蓋了數學與計算機科學的所有主幹課程。教學上認真備課，積極研究和探索教學規律，曾兩次獲得教學優秀獎。主持過多項國家自然科學基金項目和江蘇省自然科學基金項目。主持科研項目
1.國家自然科學基金項目，測試用例集最佳化約簡的若干問題研究（在研）2.江蘇省自然科學基金項目：最小測試用例集生成技術研究（在研）
3.東南大學優秀青年教師教學科研資助項目：軟體測試方法與技術（在研）
參與科研項目（作為項目骨幹）
4.華為科技有限公司合作項目，組合測試數據自動生成工具，2002年結題。
科研獲獎情況
1.作為第四完成人參與的項目《程式分析與測試技術研究》（項目組共15人）於2005年1月獲得教育部提名國家科學技術進步二等獎；2.作為第五完成人參與的項目《軟體分析度量與測試的基礎理論與方法》（項目組共14人）於2006年1月獲得教育部提名國家科學獎自然科學獎二等獎；
3.作為第四完成人參與的項目《軟體質量保證支撐系統SQAS》（項目組共12人），於2005年獲得湖北省科學技術進步一等獎。
