個(gè)人簡(jiǎn)介
聶長(zhǎng)海，博士，副教授。1971年10月生，1994年7月哈爾濱工業(yè)大學(xué)數(shù)學(xué)系計(jì)算數(shù)學(xué)及其應(yīng)用軟件專業(yè)本科畢業(yè)，1996年7月哈爾濱工業(yè)大學(xué)數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)碩士研究生畢業(yè)（泛函分析），1996年9月分配到東南大學(xué)數(shù)學(xué)系擔(dān)任高等數(shù)學(xué)以及數(shù)學(xué)系本科生的計(jì)算機(jī)基礎(chǔ)課程教學(xué)工作，并于2004年5月在東南大學(xué)計(jì)算機(jī)科學(xué)與工程系獲得計(jì)算機(jī)應(yīng)用技術(shù)工學(xué)博士學(xué)位，同年由東南大學(xué)數(shù)學(xué)系調(diào)入該校計(jì)算機(jī)系工作。主要研究方向?yàn)檐浖䴗y(cè)試技術(shù)、軟件形式化驗(yàn)證和軟件質(zhì)量。
主持科研項(xiàng)目
1.國(guó)家自然科學(xué)基金項(xiàng)目，測(cè)試用例集優(yōu)化約簡(jiǎn)的若干問題研究（在研）
2.江蘇省自然科學(xué)基金項(xiàng)目：最小測(cè)試用例集生成技術(shù)研究（在研）
3.東南大學(xué)優(yōu)秀青年教師教學(xué)科研資助項(xiàng)目：軟件測(cè)試方法與技術(shù)（在研）
參與科研項(xiàng)目（作為項(xiàng)目骨干）
4.華為科技有限公司合作項(xiàng)目，組合測(cè)試數(shù)據(jù)自動(dòng)生成工具，2002年結(jié)題。
科研獲獎(jiǎng)情況
1.作為第四完成人參與的項(xiàng)目《程序分析與測(cè)試技術(shù)研究》（項(xiàng)目組共15人）于2005年1月獲得教育部提名國(guó)家科學(xué)技術(shù)進(jìn)步二等獎(jiǎng)；
2.作為第五完成人參與的項(xiàng)目《軟件分析度量與測(cè)試的基礎(chǔ)理論與方法》（項(xiàng)目組共14人）于2006年1月獲得教育部提名國(guó)家科學(xué)獎(jiǎng)自然科學(xué)獎(jiǎng)二等獎(jiǎng)；
3.作為第四完成人參與的項(xiàng)目《軟件質(zhì)量保證支撐系統(tǒng)SQAS》（項(xiàng)目組共12人），于2005年獲得湖北省科學(xué)技術(shù)進(jìn)步一等獎(jiǎng)。
