金英

金英，女，1971年1月生，博士，教授，博士生導師。

所屬專業：計算機應用技術 現任吉林大學計算機科學與技術學院副院長兼公共計算機教學與研究中心主任。 ^[1] 

主要研究方向為軟件工程、計算機軟件與理論，包括需求工程、軟件安全性保障、軟件形式化、嵌入式軟件開發、軟件分析與驗證、程序設計語言及其實現等相關方法、技術、工具及其應用。

主持或主要參加包括國家“863”高技術研究發展計劃專題課題、國家自然科學基金、省部級和橫向項目等科研項目10多項，在國內外刊物和重要國際學術會議上共發表論文40多篇，參與著書4部。作為骨幹完成的科研成果和教學成果，獲中國商業聯合會2010年度全國商業科技進步獎一等獎1項，教育部-微軟精品課程1項，省優秀教學成果二等獎1項，全國普通高等學校精品教材1部。所在教學團隊於2009年榮獲了吉林省優秀教學團隊的光榮稱號。2010年入選教育部新世紀優秀人才。