姓名：杨国武 性别：男 E-mail：guowuy@126.com
系别： 职称：教授/博导 职务：博导
学历：博士 电话：15928606207
研究方向：逻辑综合，形式化验证，算法优化
教育背景
1989年7月获得中国科技大学数学系学士学位，1999年4月获得武汉理工大学计算流体力学硕士学位，2005年6月获得美国波特兰州立大学电子与计算机工程系博士学位。1989年9月至2001年8月，武汉理工大学数学系，1999年评为副教授；2001年9月至2005年6月：美国波特兰州立大学电子与计算机工程系任教学和研究助理；2005年8月至2006年8月：美国波特兰州立大学计算机科学系, 副研究员；2006年8月至现在：电子科技大学计算机科学与工程学院，教授，中青年学术带头人，博士生导师。
教学情况
数字逻辑，人工智能，组合数学
科研情况
研究专业是电子和计算机工程，主要研究方向包括：1，系统设计的形式化方法的研究和开发相关的程序包。他与美国英特尔公司CAD研究实验室合作研究了两年多，研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包，该项目是美国半导体研究合作组织资助的前沿高科技技术。2，量子计算机中的合成算法的理论研究（国家自然科学基金面上项目，2008年1月至2010年12月）。3，非线性控制系统的理论研究。研究合作单位有：美国英特尔公司CAD研究实验室，美国波特兰州立大学电子与计算机工程系和计算机科学系，清华大学软件学院等。在国内外发表论文50多篇，其中SCI收录23篇，EI收录31篇, ISTP:收录16篇。
部分发表的论文：
22.郑德生 杨国武 雷航 。一种推广化符号轨迹赋值中伪报错的改进算法，微电子学与计算机， 2008，第25卷第5期
21.Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N.N. Hung and Seo, Chang-Jun, “Minimal universal library for n x n reversible circuits”, COMPUTERS & MATHEMATICS WITH APPLICATIONS, 56 (1): 160-165 JUL 2008. (SCI, IDS Number: 311NJ)
20.Guowu Yang, Xiaoyu Song, William N.N. Hung, and Marek A. Perkowski, “Bi-directional Synthesis of 4-bit reversible Circuits”, The Computer Journal, Vol. 51, No. 2, March 2008, pp. 207-215. (SCI, IDS Number: 270UV)
19.Daizhan Cheng, Guowu Yang, Zairong Xi, “Nonlinear systems possessing linear symmetry”，International Journal of Robust and Nonlinear Control, 17 (1): 51-81 JAN 10 2007. (SCI, IDS Number: 119UQ)
18.Fei Xie, Guowu Yang, and Xiaoyu Song, “Component-Based Hardware/Software Co-Verification for Building Trustworthy Embedded Systems”. Journal of Systems and Software, v 80, n 5, May, 2007, p 643-654. (SCI, IDS Number: 173LB)
17.GuowuYang, Fei Xie, Jin Yang, and Xiaoyu Song, “Automata-Theoretic Approach to Implication of GSTE Assertion Graphs”, International Symposium on Integrated Circuits(ISIC-2007), Singapore, 2007, 17-20
16.Guowu Yang, Fei Xie, Xiaoyu Song, and Marek Perkowski, “Universality of 2-Qudit Ternary Reversible Gates”, Journal of Physics A: Mathematical and General. 39(24), 2006, 7763-7773. (SCI, IDS Number: 056VU).
15.Guowu Yang, Xiaoyu Song, Marek Perkowski and Jinzhao Wu, “Realization ternary quantum switching networks without ancilla bits”, Journal of Physics A: Mathematical and General. 38(44), 2005, 9689-9698. (SCI, IDS Number: 986QW).
14.Guowu Yang, William N.N. Hung, Xiaoyu Song and Marek Perkowski, “Majority-Based Reversible Logic Gate”, Theoretical Computer Science, 334(1-3), 2005, 259-274. (SCI, IDS Number: 922XT. EI: 05169048821).
13.Xiaoyu Song, Guowu Yang, Marek Perkowski, Yuke Wang, “Algebraic Characteristics of Reversible Gates”, Theory of Computing Systems, 39 (2): 311-319, MAR-APR 2006. (SCI, IDS Number: 016GC).
12.Guowu Yang, Jin Yang, Xiaoyu Song and Fei Xie, “Maximal Models of Assertion Graph in GSTE”, TAMC 2006 (Theory and Applications of Models of Computation), Beijing, China, LECTURE NOTES IN COMPUTER SCIENCE 3959: 684-693, 2006. (SCI, IDS Number: BEM07， EI：062910005621)
11.Guowu Yang, Jin Yang, Xiaoyu Song and Fei Xie, “Group Theory Based Synthesis of Binary Reversible Circuits”, TAMC 2006 (Theory and Applications of Models of Computation), Beijing, China, LECTURE NOTES IN COMPUTER SCIENCE 3959: 365-374, 2006. (SCI, IDS Number: BEM07,EI：062910005593)
10.Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification. In Proc. of Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 27-36, 2006.
9.Yiguang Hong, Guowu Yang, Daizhan Cheng, and S. Spurgeon, “A New Approach to Terminal Sliding Mode Control Design”, Asian Journal of Control, 7 (2), 2005, 177-181。 (SCI, IDS Number: 942RB. EI: 05299225958)
8.Ming Gu, Guowu Yang, Xiaoyu Song and Jiaguang Sun, “On Synthesis of 3x3 Reversible Logic Functions”, International Journal of Computer Mathematics, 82(4), 2005, 385-390. (SCI, IDS Number: 893WN,EI: 05489509797).
7.Guowu Yang, Xiaoyu Song, Hannah H. Yang and Fei Xie, “A Theoretical Upper Bound for IP-Based Floorplanning”, COCOON 2005 (The Eleventh International Computing and Combinatorics Conference), Kunming, China, 2005, 411-419. (LNCS 3595). (SCI, IDS Number: BCY51, EI：05439427655)
6.Guowu Yang, William N.N. Hung, Xiaoyu Song and Marek A. Perkowski, “Exact Synthesis of 3-qubit Quantum Circuits from Non-binary Quantum Gates Using Multiple-Valued Logic and Group Theory,” Design Automation & Test in Europe (DATE), Munich, Germany, March 2005, 434-435. (EI: 063410076007)
5.Guowu Yang, Jin Yang, William N.N. Hung, Xiaoyu Song, “Implication of Assertion Graphs in GSTE”, IEEE/ACM Asia-Pacific Design Automation Conference (ASPDAC), Shanghai, China, January 2005, 1060-1063.
4.杨国武，程代展，“n阶旋转对称非线性系统的结构和性质”，系统科学与数学，Vol.24, No.1, 2004, 138-144。
3.Daizhan Cheng and Guowu Yang, “Nonlinear Systems Possessing Linear Symmetry”, 40th IEEE Conference on Decision and Control, Orlando, Florida USA, December 2001, pp. 1789-1794. (EI: 02086868686).
2.Yiguang Hong, Guowu Yang, Linda Bushnell, and Hua O. Wang, “Global Finite-Time Stabilization: From State Feedback to Output Feedback”, 39th IEEE Conference on Decision and Control, Sydney Australia, December 2000, pp. 2908-2913.
1.Guowu Yang, Yiguang Hong, Daizhan Cheng, “Continuous Finite-Time Observers of Second Order Nonlinear Systems”, 3rd IEEE World Congress on Intelligent Control and Automation, China, 2000, pp. 3208-3212. (EI: 03047339421).
获奖情况
2007年获得电子科大计算机学院优秀科研奖；
2004年获得美国波特兰州立大学Maseeh工程与计算机科学学院 Maseeh 奖学金；
2008年指导研究生参加微软实践项目，并获得第12界微软实践项目三等奖（该届电子科大唯一获奖项目）。
备注