武漢大學教授
基本信息性別: 男
出生日期:1976年3月
職稱: 副教授
學歷:博士
是否在職: 是
所在類別: 計算機軟體研究所
開設課程: 編譯原理,軟體工程
1997-2001：原武漢水利電力大學；
2001至今：武漢大學。
面向嵌入式領域的程式設計理論，包括面向嵌入式領域的編譯技術與最佳化方法，面向嵌入式領域的DSL(Domain Specific Languages)理論與實現，面向嵌入式程式設計語言編制、檢驗的輔助方法與技術。
主持國家自然科學基金一項，參與多項國家自然科學基金與863項目。
主持多項橫向項目。
研 究 方 向
程式設計語言理論，形式化方法，嵌入式系統軟體工具鏈
1. 基於計算博弈論的空間最佳化研究；
2. 上海海爾HR6P-C交叉編譯器；
3. 青島東軟集成開發環境ES-IDE；
4. HI-1640編譯器；
5. 基於可信交換的數據集中平台；
6. 秦山第二核電廠生產經驗管理系統；
7. 秦山第一核電站核安全資料庫管理系統；
8. 秦山第二核電廠生產管理系統；
9. 秦山第三核電廠狀態報告管理系統；
10. 秦山第三核電有限公司全範圍模擬機管理系統。
