• 第一考试网微信公众号第一考试网微信公众号
电子科技大学校徽

电子科技大学 杨国武

985211 双一流

  • 成都市高新区（西区）西源大道2006号
  • https://www.uestc.edu.cn/ http://www.zs.uestc.edu.cn
  • 028-61831137,028-61831139
  • zhaoban@uestc.edu.cn

  1. 院校大全
  2. 电子科技大学
  3. 计算机科学与工程学院
  4. 杨国武

杨国武

姓名： 杨国武
学校： 电子科技大学
学院： 计算机科学与工程学院
职称：  

杨国武老师的简介

<div class> <p><br/> 　　导师姓名：杨国武 <br/> 　　性别：男 <br/> 　　出生年月：1966年11月 <br/> 　　职称：教授 <br/> 　　学位：博士 <br/> 　　属性：专职 <br/> 　　电子邮件：guowu@uestc.edu.cn <br/> <br/> 　　学术经历：<br/> 　　</strong>主要从事硬件和软件协同设计的自动化的形式化证明，获得美国半导体研究合作组织、英特尔公司资助；量子计算中可逆逻辑电路的合成，获得国家自然科学基金面上项目资助；非线性控制系统的理论研究，参与中科院系统所的国家自然科学基金项目。发表论文57篇，其中SCI检索22篇，EI检索31篇，ISTP检索16篇。<br/> <br/> 　　个人简介：</strong>1989年中国科技大学数学系毕业，2001－2005获美国波特兰州立大学电子与计算机工程博士，2006年8月至现在，电子科技大学计算机科学与工程学院，教授，博士生导师，中青年学术带头人；2005年8月-2006年8月，美国波特兰州立大学计算机科学系，副研究员；1989年7月-2001年8月，武汉理工大学数学系副教授。<br/> <br/> 　　硕士招生专业<br/> </strong>　　081202计算机软件与理论  <br/> 　　03方向：形式化方法与编译系统 <br/> 　　05方向：计算理论与技术 <br/> 　　08方向：自动化推理与可信计算</p> </div>

杨国武老师的课程

  • 暂时还没有收录杨国武老师的课程列表，我们将尽快添加。

    • 杨国武老师的论文

    • 暂时还没有收录杨国武老师的论文，我们将尽快添加。

    杨国武老师参与的论文

    • 暂时还没有收录杨国武老师参与的论文，我们将尽快添加。

    计算机科学与工程学院 其他教师

    关于杨国武老师的相关提示：以上内容并非是杨国武老师的最新情况，请以杨国武老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com