杨国武
杨国武
研究方向：电子和计算机工程
教育背景
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工程与计算机科学学院杰出博士研究生。