教育背景

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

科技成果

主要从事量子计算中可逆逻辑电路的综合、数字系统设计的形式化验证和数字系统仿真的研究，在可逆逻辑电路综合的理论分析、算法优化上都处于世界领先水平。杨教授发现并纠正了英特尔创立的GSTE理论中的一个错误。主持开发出了基于GSTE理论的模型检测软件和一款可扩展的嵌入式硬件仿真平台。其中硬件和软件协同设计的自动化的形式化证明，获得美国半导体研究合作组织、英特尔公司资助；量子计算中可逆逻辑电路的合成，获得国家自然科学基金面上项目资助；非线性控制系统的理论研究，参与中科院系统所的国家自然科学基金项目。

科研情况

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

获奖情况

2004年获得美国波特兰州立大学Maseeh工程与计算机科学学院 Maseeh 奖学金；2002，2003连续两年获得美国波特兰州立大学Maseeh工程与计算机科学学院杰出博士研究生。杨教授在相关方面的研究中主持了2个国家自然科学基金项目，1个核高基重大项目的仿真模块等项目，发表60多篇学术论文，其中SCI检索30多篇。

• 论文列表37. Yan Zhang, Guowu Yang, William N. N. Hung, Juling Zhang, “Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism”, IEEE Transactions on Computers (accepted).36. Rui Wang, William N. N. Hung, Guowu Yang, and Xiaoyu Song, “Uncertainty Model for Configurable Hardware/Software and Resource Partitioning”, IEEE Transactions on Computers (accepted).35. Qianqi Le,Guowu Yang, William N.N. Hung, Xiaoyu Song and Xinpeng Zhang, “Pareto optimal mapping for tile-based network-on-chip under reliability constraints”, International Journal of Computer Mathematics, 92(1), 41-58, Jan. 2015.(SCI: AW9PF)34.Qianqi Le,Guowu Yang, William N.N. Hung, Xiaoyu Song and Fuyou Fan, “Performance-driven assignment and mapping for reliable networks-on-chips”, Journal of Zhejiang University C,15(11),1009-1020, Nov. 2014.(SCI:AT3WR)33.Fan Yang,Guowu Yang, Yujie Hao, Qingbin Luo and Yuqi Wang, “Security analysis of multi-party quantum private comparison protocol by model checking”, International Journal of Modern Physics B, Vol. 29, No. 18, JUL. 2015, 1550089 (11 pages) (SCI: CM8FB)32. Chao Zhao,Guo-wu Yang, William N. N. Hung and Xiao-yu Li, “A multipartite entanglement measure based on coefficient matrices”, Quantum Information Processing, 14: 2861-2881, AUG. 2015. (SCI: CM9ZB)31. Fuyou Fan,Guowu Yang, Gang Yang and William N. N. Hung, “A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates”, Journal of Circuits Systems and Computers, 24(8), SEP. 2015. (SCI: CP3MW)30. Jun-e Feng, James Lam,Guowu Yangand Zhao Li, “On a Conjecture About the Norm of Lyapunov Mappings”, Linear Algebra and the Applications, 465(15) Jan. 2015, 88-103. (SCI:AU2SP)

• 29. Qingbin Luo,Guowu Yang, Kun She, Weina Niu and Yuqi Wang, “Multi-party quantum private comparison protocol based on d-dimensional entangled states”, Quantum Information Processing, Oct. 2014, 13(10): 2343-2352. (SCI:AP1PC)28.Qianqi Le,Guowu Yang, William N.N. Hung, Xinpeng Zhang, and Fuyou Fan, “A multiobjective scatter search algorithm for fault-tolerant NoC mapping optimization”, International Journal of Electronics, 101(8), 1056-1073, AUG. 2014.(SCI: AJ4XB)27. Yongsheng Xu,Guowu Yang, Zhengwei Chang, Desheng Zheng, and Wensheng Guo, “Terminal Satisfiability in GSTE” , JOURNAL OF APPLIED MATHEMATICS, 725275, 2014. (SCI: AH7GL)26. Wensheng Guo,Guowu Yang, Wei Wu, Lei He, Mingyu Sun, “A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks”, PLOS ONE 9(4): e94258, APR. 2014. (SCI: AE9PC)25.Xiaoyu Li,Guowu Yang, Carlos Manuel Torres JR., Desheng Zheng and Kang L. Wang “A class of efficient quantum incrementer gates for quantum circuit synthesis”, INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 28(1), JAN. 2014 1350191(1~15).(SCI：270ZK)24. Fengmao Lv,Guowu Yangand Shuangbao Wang, “The Research on Controlling the Iteration of Quantum-Inspired Evolutionary Algorithms for Artificial Neural Networks”, 253-262, AAIM 2014, July 8-11, 2014, Vancouver, Canada. (EI: 20142917940722)23. Desheng Zheng,Guowu Yang, Xiaoyu Li, Zhicai Wang, Feng Liu, Lei He, “An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks”, PLOS ONE, 8(4): e60593, APR. 2013. (SCI: 130JB)22. Wensheng Guo,Guowu Yang, William N.N. Hung and Xiaoyu Song, “Complete Boolean Satisfiability Solving Algorithms Based on Local Search”, Journal of Computer Science and Technology, 28(2), 247-254, MAR. 2013.( SCI: 138KY)21.Guowu Yang, William N.N. Hung, Xiaoyu Song and Wensheng Guo, “A Transformation-Based Approach to Implication of GSTE Assertion Graphs”, Journal of Applied Mathematics, 709071, 2013. (SCI: 189BA)20.Desheng Zheng,Guowu Yang, Xiaoyu Li, Zhicai Wang, William N.N. Hung, “An Efficient Algorithm for Finding Attractors in Synchronous Boolean Networks with Biochemical Application”, Genetics and Molecular Research, 12(4):4656-4666,2013. (SCI: AB2FG).19.Guowu Yang, Fei Xie, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Realization and synthesis of reversible functions”,Theoretical Computer Science, 412(17), 2011-8, 1606-1613. (SCI: 741AN)18.Guowu Yang, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Exact synthesis of three-qubit quantum circuits from non-binary quantum gates”, International Journal of Electronics, Volume 97 Issue 4, 475-489, 2010. (SCI: 588VQ)17.Guowu Yang, Xiaoyu Song, William N.N. Hung, Marek A. Perkowski, “Synthesis of Reversible Circuits with Minimal Costs”, Calcolo, 45, 193-206, 2008. (SCI: 349ST)16.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: 311NJ)15.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: 270UV)14. Daizhan Cheng,Guowu Yang, Zairong Xi, “Nonlinear systems possessing linear symmetry”，International Journal of Robust and Nonlinear Control, 17 (1): 51-81 JAN 10 200713. 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:173LB)12.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:056VU).11.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:016GC).9.Fei Xie,Guowu Yang, and Xiaoyu Song. Compositional Reasoning for Hardware/Software Co-Verification. In Proc. ofFourth International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS 4218, 2006, 154-169. (SCI:BFF99)8.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, LNCS 3959: 684-693, 2006. (SCI:BEM07)7.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, LNCS 3959: 365-374, 2006. (SCI:BEM07)6.William N.N. Hung, Xiaoyu Song,Guowu Yang, Jin Yang, Marek Perkowski, “Optimal Synthesis of Multiple Output Boolean Functions using a Set of Quantum Gates by Symbolic Reachability Analysis,”IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (9): 1652-1663, SEP. 2006. (SCI:078CG).5.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:986QW).4.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:922XT).3. 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:893WN).2.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:942RB)1.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:BCY51)