姓名：李明 性别：男 职称：副教授 电话：18986213170 E

姓名：彭国军 性别：男 职称：副教授 电话： E-mail：guoj

姓名：严飞 性别：男 职称：副教授 电话：18986172798 E

 姓名：罗敏 性别：男 职称：副教授 电话：13907125177&

姓名：武小平 性别：男 职称：副教授 电话：13986011151 

姓名：袁梦霆 性别：男 职称：副教授 电话：+862768775592 E-mail：ymt@whu.e.cn 学历学位：本科 硕/博士生导师：硕士生导师 研究方向：程序设计语言理论，形式化方法，嵌入式系统软件工具链1997-2001：原武汉水利电力大学；2001至今：武汉大学。目前主要研究方向：面向嵌入式领域的程序设计理论，包括面向嵌入式领域的编译技术与优化方法，面向嵌入式领域的DSL(DomainSpecificLanguages)理论与实现，面向嵌入式程序设计语言编制、检验的辅助方法与技术。主持国家自然科学基金一项，参与多项国家自然科学基金与863项目。主持多项横向项目。教学情况编译原理算法分析与设计软件工程科研工作1.基于计算博弈论的空间优化研究；2.上海海尔HR6P-C交叉编译器；3.青岛东软集成开发环境ES-IDE；4.HI-1640编译器；5.基于可信交换的数据集中平台；6.秦山第二核电厂生产经验管理系统；7.秦山第一核电站核安全数据库管理系统；8.秦山第二核电厂生产管理系统；9.秦山第三核电厂状态报告管理系统；10.秦山第三核电有限公司全范围模拟机管理系统。著作教材《软件需求工程》 

姓名：周国富 性别：男 职称：副教授 电话：13006193065 

文卫东，男，博士，副教授。2007年3月在武汉大学获得计算机软件与理论博士学位；2007年3月进入武汉大学计算机学院任教，任讲师；2010年12月被武汉大学聘为副教授。2011年5月被聘为硕士生导

 姓名：喻丹丹 性别：女 职称：副教授 电话：027-62954692