电子科技大学计算机科学与工程学院导师介绍：杨国武

　　

　　个人简介
　　杨国武，教授

　　联系方式
　　电话：15928606207
　　邮箱：guowuy@126.com

　　教育背景
　　1989年获得中国科技大学数学系学士学位，同年在武汉理工大学数学系任教。
　　1999年获得武汉理工大学计算流体力学硕士学位，
　　2005年获得美国波特兰州立大学电子与计算机工程系博士学位。
　　2001年至2005年：美国波特兰州立大学电子与计算机工程系任教学和研究助理；
　　2005年至2006年：美国波特兰州立大学计算机科学系, 副研究员；
　　2006年8月至今：电子科技大学计算机科学与工程学院，教授，中青年学术带头人，博士生导师。

　　科研方向
　　研究专业是电子和计算机工程，主要研究方向包括：1，系统设计的形式化方法的研究和开发相关的程序包。

　　研究项目
　　与美国英特尔公司CAD研究实验室合作研究了两年多，研究了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包，该项目是美国半导体研究合作组织资助的前沿高科技技术。基于广义符号轨迹赋值理论的模型检测，国家自然科学基金面上项目。2，量子计算与量子信息的研究：量子计算中可逆逻辑电路的合成,国家自然科学基金面上项目。3、可逆逻辑电路的分类和多值量子逻辑电路的综合，国家自然科学基金面上项目。4、非线性控制系统的理论研究。研究合作单位有：美国英特尔公司CAD研究实验室，美国波特兰州立大学电子与计算机工程系和计算机科学系，清华大学软件学院，中科院系统所等。在国内外发表论文80多篇，其中SCI收录近40篇，EI收录40多篇。