金英，女，1971年1月生，博士，教授，博士生導(dǎo)師。

所屬專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)現(xiàn)任吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院副院長(zhǎng)兼公共計(jì)算機(jī)教學(xué)與研究中心主任。

2003-2004年到世界著名軟件工程大師David Parnas教授領(lǐng)導(dǎo)的愛爾蘭利默里克大學(xué)軟件質(zhì)量研究實(shí)驗(yàn)室（SQRL）任高級(jí)研究員。2006-2008年被聘為該實(shí)驗(yàn)室的咨詢顧問�，F(xiàn)為計(jì)算機(jī)學(xué)會(huì)軟件工程和系統(tǒng)軟件專委會(huì)委員。

主要研究方向?yàn)檐浖�工程、�?jì)算機(jī)軟件與理論，包括需求工程、軟件安全性保障、軟件形式化、嵌入式軟件開發(fā)、軟件分析與驗(yàn)證、程序設(shè)計(jì)語言及其實(shí)現(xiàn)等相關(guān)方法、技術(shù)、工具及其應(yīng)用。

主持或主要參加包括國(guó)家“863”高技術(shù)研究發(fā)展計(jì)劃專題課題、國(guó)家自然科學(xué)基金、省部級(jí)和橫向項(xiàng)目等科研項(xiàng)目10多項(xiàng)，在國(guó)內(nèi)外刊物和重要國(guó)際學(xué)術(shù)會(huì)議上共發(fā)表論文40多篇，參與著書4部。作為骨干完成的科研成果和教學(xué)成果，獲中國(guó)商業(yè)聯(lián)合會(huì)2010年度全國(guó)商業(yè)科技進(jìn)步獎(jiǎng)一等獎(jiǎng)1項(xiàng)，教育部-微軟精品課程1項(xiàng)，省優(yōu)秀教學(xué)成果二等獎(jiǎng)1項(xiàng)，全國(guó)普通高等學(xué)校精品教材1部。所在教學(xué)團(tuán)隊(duì)于2009年榮獲了吉林省優(yōu)秀教學(xué)團(tuán)隊(duì)的光榮稱號(hào)。2010年入選教育部新世紀(jì)優(yōu)秀人才。