姓名: 袁梦霆
学校: 武汉大学
学院: 计算机学院
职称:  

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


  • 暂时还没有收录袁梦霆老师的课程列表,我们将尽快添加。
    • 暂时还没有收录袁梦霆老师的论文,我们将尽快添加。
    • 暂时还没有收录袁梦霆老师参与的论文,我们将尽快添加。

    关于袁梦霆老师的相关提示:以上内容并非是袁梦霆老师的最新情况,请以袁梦霆老师的官方公布信息为准。

    反馈/投稿/合作/咨询:13562564(QQ)    邮箱:13562564@qq.com