劉磊[教授]

劉磊，男，1960年出生。畢業於吉林大學計算機科學與技術學院，從事程式理論、程式設計語言等領域。

基本信息

• 中文名：劉磊
• 國籍：中國
• 職業： 教授
  
• 畢業院校：吉林大學

簡介

劉磊

姓名：劉磊
任教專業：工學-計算機科學與技術
在職情況：在
性別：男
所在院系：吉林大學計算機科學與技術學院

本人簡介

劉磊

劉磊：男，1960年生，教授、博士生導師。
從事程式理論、程式設計語言及實現技術、軟體自動化等方向的研究。特別是在形式化方法、過程式語言的部分求值技術、程式抽象化等方面取得了一批國內領先的研究成果。
承擔和參加了國家自然科學基金項目4項、省部級項目2項、協作項目3項、發表學術論文50餘篇，其中被三大檢索收錄14篇、學術著作三部。曾榮獲寶鋼優秀教師獎，承擔過多項教改項目、精品課程建設項目，獲得三項省級獎勵

代表性著作

代表性論文：基於信息流分析的部分求值技術

研究方向

程式理論、程式設計語言及實現技術、軟體自動化