杨国武，1968年生，教授，博士生导师。电子科技大学，电子科技大学中青年学术带头人，IEEE人工智能学会量子计算专委会副主席。1989年7月获得中国科技大学数学系学士学位，1999年4月获得武汉理工大学计算流体力学硕士学位，2005年6月获得美国波特兰州立大学电子与计算机工程系博士学位。1989年9月至2001年8月，武汉理工大学数学系，1999年评为副教授；2001年9月至2005年6月：美国波特兰州立大学电子与计算机工程系任教学和研究助理；2005年8月至2006年8月：美国波特兰州立大学计算机科学系, 副研究员；2006年8月至现在：电子科技大学计算机科学与工程学院，教授，中青年学术带头人，博士生导师。 研究专业是电子和计算机工程，主要研究方向包括：1，系统设计的形式化方法的研究和开发相关的程序包。他与美国英特尔公司CAD研究实验室合作研究了两年多，研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包，该项目是美国半导体研究合作组织资助的前沿高科技技术。基于广义符号轨迹赋值理论的模型检测，国家自然科学基金面上项目，2010年1月至2012年12月。2，量子计算机中的合成算法的理论研究,国家自然科学基金面上项目，2008年1月至2010年12月。3，非线性控制系统的理论研究。研究合作单位有：美国英特尔公司CAD研究实验室，美国波特兰州立大学电子与计算机工程系和计算机科学系，清华大学软件学院等。在国内外发表论文60多篇，其中SCI收录30篇，EI收录38篇, ISTP:收录16篇。