金英[吉林大學計算機科學技術學院博士生導師]

女，1971年1月生，博士，教授，博士生導師。計算機套用技術 現任吉林大學計算機科學與技術學院副院長兼公總計算機教學與研究中心主任。

個人簡介

金英[吉林大學計算機科學技術學院博士生導師]

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

所屬專業：計算機套用技術 現任吉林大學計算機科學與技術學院副院長兼公總計算機教學與研究中心主任。

個人履歷

2003-2004年到世界著名軟體工程大師David Parnas教授領導的愛爾蘭利默里克大學軟體質量研究實驗室（SQRL）任高級研究員。

2006-2008年被聘為該實驗室的諮詢顧問。

現為計算機學會軟體工程和系統軟體專委會委員。

1.

2003-2004年到世界著名軟體工程大師David Parnas教授領導的愛爾蘭利默里克大學軟體質量研究實驗室（SQRL）任高級研究員。

2.

2006-2008年被聘為該實驗室的諮詢顧問。

3.

現為計算機學會軟體工程和系統軟體專委會委員。

研究方向

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

成就和榮譽

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