武汉大学教授

基本信息

性别: 男

出生日期: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. 秦山第三核电有限公司全范围模拟机管理系统。