您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

杨国武

     

  

逻辑综合,形式化验证,算法优化

个性化签名

TA的关注(0) 关注TA的(0)
留言板

该学者已关闭了留言功能

暂无留言

  • 张卫

    复旦大学

    从事集成电路工艺、半导体材料和器件的研究。

  • 马义德

    兰州大学

    信息传输与处理、计算机应用、数字图像处理技术、生物医学工程等

  • 张庆灵

    东北大学

    主要从事于微分代数系统的结构性质及其相关控制问题的研究。

  • 吴振强

    陕西师范大学

    网络安全与信息隐藏。

  • 刘兴钊

    电子科技大学

    BST铁电薄膜、半导体SiC外延薄膜、半导体低维结构等

  • 孙正兴

    南京大学

    多媒体计算、计算机视觉和智能人机交互等,重点研究面向普适计算的智能视觉环境及其交互技术

  • 张波

    电子科技大学

    长期从事功率半导体技术、电源管理IC及专用IC的教学、科研和人才培养。

  • 朱义胜

    大连海事大学

    通信与电路方面的教学和研究

  • 姓名:杨国武
  • 目前身份:
  • 担任导师情况:
  • 学位:
  • 学术头衔:

    博士生导师

  • 职称:-
  • 学科领域:

    计算机科学技术

  • 研究兴趣:逻辑综合,形式化验证,算法优化
个人简介

杨国武  教授/博导

教育背景:1989年7月获得中国科技大学数学系学士学位,1999年4月获得武汉理工大学计算流体力学硕士学位,2005年6月获得美国波特兰州立大学电子与计算机工程系博士学位。1989年9月至2001年8月,武汉理工大学数学系,1999年评为副教授;2001年9月至2005年6月:美国波特兰州立大学电子与计算机工程系任教学和研究助理;2005年8月至2006年8月:美国波特兰州立大学计算机科学系, 副研究员。

研究方向:逻辑综合,形式化验证,算法优化

科研情况:研究专业是电子和计算机工程,主要研究方向包括:1,系统设计的形式化方法的研究和开发相关的程序包。他与美国英特尔公司CAD研究实验室合作研究了两年多,研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包,该项目是美国半导体研究合作组织资助的前沿高科技技术。2,量子计算机中的合成算法的理论研究。3,非线性控制系统的理论研究。研究合作单位有:美国英特尔公司CAD研究实验室,美国波特兰州立大学电子与计算机工程系和计算机科学系,清华大学软件学院等。在国内外发表和被接受40多篇论文(其中SCI:15篇,EI:19篇)。

获奖情况:2004年获得美国波特兰州立大学Maseeh工程与计算机科学学院 Maseeh 奖学金;2002,2003连续两年获得美国波特兰州立大学Maseeh工程与计算机科学学院杰出博士研究生。

  • 主页访问

    919

  • 关注数

    0

  • 成果阅读

    126

  • 成果数

    7

TA的成果
个人主页 返回顶部